
False
Let d = -4 - 2. Let a be d/(-16) - (1 + -1). Let l = 82/3 - 27. Which is bigger: a or l?
a
Let n = -181 - -1676/9. Are 5 and n equal?
False
Let b = -2.47 - -2.57. Which is smaller: -153 or b?
-153
Let d(h) = -h + 14. Let i be d(8). Suppose u - 11 = 3*k - i*k, 3*u = 2*k. Suppose -5 - 1 = 4*s + k*q, -10 = -s + 5*q. Is 1 bigger than s?
True
Let l be (1 - 0)*(1 - -46). Suppose -22*g + 62 = -950. Does g = l?
False
Suppose -59 = -3*x + 5*c, -2*c - 89 = -4*x - 29. Let p = -20 + x. Let k = -5 - p. Which is greater: k or 3?
3
Let l = -47.7 + 44.7. Is 52 at least as big as l?
True
Let j be 1218/(-98)*2/3. Let z = -225/28 - j. Is z at least as big as -13?
True
Let g(m) = -m**2 + 17*m + 23. Let y be g(16). Suppose 8*s = -5*s - y. Which is smaller: s or -2?
s
Let a be (-1 - (3 - 4)) + 12 - 3. Let k be (3 + -4)/a*12/(-8). Is k less than or equal to 0?
False
Suppose -51 = -14*d + 11*d. Let v be d/(-4) + 3/12. Is v at most as big as -4?
True
Let y be (-2 + -1)*(-37)/3. Let w = y + -19. Let v be 1*-3 + w/12. Which is smaller: v or -1?
v
Let w be -2 - 474/18 - -3. Is w greater than or equal to -24?
False
Let k be 5249/30450 - ((-7)/(-6) - 1). Is 0 at least as big as k?
False
Suppose -5*m - 52 = -3*n - 44, -5*m - 3*n - 2 = 0. Suppose 0*g - 12 = -c - g, g = 2. Let i be 4/c + 392/(-1080). Which is greater: m or i?
i
Let s = -3277 - -258876/79. Is -1 not equal to s?
True
Let t be (0 + 12/18)/(4/30). Suppose 0 = 2*n + o - 46, -o = 5*n + 2*o - 113. Suppose 0 = 5*j - 4*s - n, j = -2*s - 1 + 6. Is j bigger than t?
False
Suppose -10*d = -14*d - 8. Let f be (-9)/d - 3 - (-87)/6. Are -0.2 and f unequal?
True
Let n be (-25)/(-8 - -3) - 4. Let u be n/(-26)*-4 - 560/1950. Is 1 != u?
True
Let p(f) be the third derivative of -7*f**6/60 - f**5/30 + f**3/6 + 32*f**2. Let b be p(-1). Which is bigger: b or 11?
b
Let u = 0.03 + 4.97. Let v = u + 3. Let m = 8.6 - v. Do -0.1 and m have different values?
True
Let z(o) = o**3 - o**2. Let v be z(0). Suppose 0 = -0*p + 3*p - 3*s + 18, -2*s - 16 = 5*p. Let b(q) = -q - 4. Let j be b(p). Are j and v equal?
True
Let y(i) = 2*i**2 + 29*i + 17. Let x be y(-14). Suppose -2*v = -4*a - 2, 2 = x*v - 5*a - 1. Which is smaller: -1/46 or v?
-1/46
Let d = 0 + -1. Let q = 0 - d. Let s be ((-1)/4*2)/((-31)/62). Is s at most q?
True
Let c(k) = k**2 + 2*k - 7. Let z be c(-5). Let v be (14/z - 1)*(-2)/6. Which is smaller: v or 4?
v
Suppose 0 = 4*j - 8. Let w be j/1*30/12. Suppose -3 + 8 = -w*d. Is d > 1?
False
Let y(g) = -g**2 + 2*g + 4. Let c be y(4). Let r be 385/(-165)*(-3)/(-2). Does c = r?
False
Let h be 732/192 - (5 - (4 - 3)). Is 51 at least as big as h?
True
Let r(m) = m**3 + 4*m**2 + 15*m + 20. Let p be r(-8). Which is greater: -355 or p?
-355
Let a be 11/(-44) - 22/8. Let s be (-188)/12 + (-2)/a. Which is smaller: -1 or s?
s
Let f = 50 + -51. Let g be ((-2)/(-25))/(4/(f*20)). Let b be (-6)/4 + (-2)/(-4). Which is bigger: b or g?
g
Let w(m) = -2*m - 5. Let f be w(-5). Let y(g) = -7 - 7 + f + g. Let d be y(5). Is -4 not equal to d?
False
Let k = -127574527/1472544 - -2/46017. Let b = k + 260/3. Which is bigger: 0 or b?
b
Suppose 4*z + 90 = 5*t, -2*z = -4*t - 0*t + 42. Are -76/3 and z equal?
False
Let t = 22/9 + -53/18. Is 138 at most t?
False
Let c = -3.8 + 3.6. Let p = -25.2 + 25. Is p >= c?
True
Suppose -8*d + 20*d = 1944. Is 162 at most d?
True
Let h = 14 + -24. Let k be (-39)/(-5) - (-8)/h. Suppose 0 = 2*l - 3*i + 12, 0 = -2*l - 4*i + 9 + k. Which is bigger: 8 or l?
8
Let l(k) = -11*k. Let w(v) = 10*v + 1. Let c(g) = -5*l(g) - 6*w(g). Let d be c(7). Is d less than -41?
False
Let c be 6/(-4)*120/(-9). Suppose -6*p + 2*p = -12. Suppose w - 5*o - 20 = 0, 8*w - p*w - 2*o = 100. Is c not equal to w?
False
Let h = -24 - -14. Let f = h + -4. Let y = 13.9 + f. Which is bigger: 3/5 or y?
3/5
Let i be -74 - (-2 + 5)*(-19)/38. Is i at most -73?
False
Let l = 9/382 + 11397/2674. Are 5 and l non-equal?
True
Let t = -792 - -793. Which is smaller: -546 or t?
-546
Let k = -269 + 1071/4. Suppose -5*h - 39 = -9. Let q(a) = a**2 + 5*a - 6. Let y be q(h). Which is smaller: y or k?
k
Let p be (5/(-25))/((-5)/(-25)). Let t = 1 + -1. Let c be (-1 + t)/(4/(-8)). Which is bigger: c or p?
c
Let g = 30 - 65. Let z = g - -25. Let m = z + 9. Is m != 0.3?
True
Let s(z) = -3*z**2 + 9*z - 7. Let t be s(4). Let u = -15 - t. Let b = -4 - -11. Is b < u?
False
Let h = 732 + -750. Is h < -24?
False
Let f be 4 - 1 - 6025/2015. Is f greater than or equal to -1?
True
Let d = -242 + 376. Suppose -234 = 5*b + q, -3*b - 3*q - d = -4*q. Which is smaller: -47 or b?
-47
Let n(o) = -10*o**2 + 71*o - 20. Let p be n(7). Is p at least -23?
True
Let f be 2 + -4 - (1 - -3). Let c = f + 8. Let w be (2/(-20))/((-5)/40). Which is smaller: w or c?
w
Let p(y) = -y**3 - 12*y**2 + 28*y + 174. Let i be p(-12). Is i at most -162?
True
Suppose 18*b = 31*b - 195. Let v be (-4)/(-26) + 2509/169. Is b > v?
False
Suppose -15 = -6*h + h. Let w(p) = -p + 2. Let x be w(h). Let y be (x - -4) + (-9 - -5). Is 0 not equal to y?
True
Suppose -8*g = -22 + 30. Which is greater: g or 1/1482?
1/1482
Let a = -9 - -8. Let y be -2 + (a - (1 + 1)). Let i = y + 6. Which is greater: 2/17 or i?
i
Let c be -1 + 7 + (-18)/(-3). Which is smaller: c or 10?
10
Suppose 92 = 6*f - 9*f - 4*s, s + 29 = -f. Which is smaller: 10 or f?
f
Let b(c) = 3*c. Let d be b(1). Let r be ((-14)/(-49))/(d/(-6)). Which is smaller: r or -2?
-2
Let x = -1 + 46/47. Which is smaller: -0.1 or x?
-0.1
Let m = 0.3584 + -0.1284. Let u = 0 + -0.15. Let l = m + u. Are l and 0.1 nonequal?
True
Let c be (-5)/(10/12) + -4. Is c bigger than -10?
False
Let g be 2 + (20621/(-255) - (-1)/(-3)). Let k = g + 2607/35. Is k >= -4?
False
Let a be (24/(-9))/((-10)/(-6)). Let b = 397 - 398. Is a greater than b?
False
Let u be (4/(-6))/(1/3). Let l = -102 - -139. Let t be (l/111)/((-4)/18). Which is smaller: t or u?
u
Let f be (-3 - 0)/((-372)/3844). Which is greater: 12 or f?
f
Let m(d) = -83*d + 194. Let f be m(2). Which is bigger: f or 190/7?
f
Let i = 9.72 - 15.72. Let n = -1 + 0. Is n less than or equal to i?
False
Suppose 14*u - 306 = -4*u. Suppose 4*v = -l - 25, -2*v - 3*l - u = -2. Are v and 1 nonequal?
True
Let i = 7 + -4. Suppose -2*q + 16 + 5 = 3*o, o = q + 2. Let m = i + q. Are 4 and m unequal?
True
Let b = 573 + -1175/2. Which is greater: -16 or b?
b
Let k be 1*3 + (-1261)/485. Which is bigger: k or 3/232?
k
Let w = -1770 + 1770. Which is bigger: -3/226 or w?
w
Let x be (-1)/(2/(-6)*1). Let y = 124/5 + -743/35. Which is greater: y or x?
y
Let z = -227 + 227. Let k = 143 + -2575/18. Which is bigger: k or z?
z
Let k be (-194)/(-12) + (-16)/96. Let q be 8/k + 74/(-124). Which is bigger: -1 or q?
q
Let d be 24/471*(5 - 4). Is -1 != d?
True
Let i = -0.118 - 58.982. Let d = 59 + i. Which is greater: d or 30?
30
Let a be (-402)/(-20) - (-8)/20. Let p = a - 20. Let o = 41 + -42. Which is bigger: o or p?
p
Suppose -3*r = 3*a - 9, -5*a = 2*r - 5*r - 31. Let h = 322 - 329. Let p be a/10 + h/2. Is p less than or equal to 3?
True
Let j = -9 + 8. Let g = -11.9 + -3.1. Let u = -17 - g. Is j greater than or equal to u?
True
Let h(n) = -n**2 - 12*n - 15. Let j be h(-10). Suppose c - 5*m + 2 - 12 = 0, 3*c - j*m - 20 = 0. Let y(i) = i**2 - 4*i - 6. Let v be y(c). Are v and -1 equal?
True
Let r(o) = -o**3 - o - 2. Let i be r(-2). Let w be i + (3 + -2 - 1). Let p = w - -2. Which is smaller: 11 or p?
p
Suppose i = -0*i - 11. Let z(p) = p**3 + 11*p**2 - p - 8. Let m be z(i). Let s be 1/m*3/2. Which is smaller: s or 2?
s
Let b = 445 - 431. Is 0 bigger than b?
False
Suppose 0 = -a - 4*q, 4*a + 56*q - 52*q = 0. Is a smaller than -1/1428?
False
Let v be (-10156)/(-22)*8/16. Let n = v - 231. Let q be (-18)/(-84) - (-6)/21. Is q at least as big as n?
True
Let u = 174 - 172. Do u and 2/3 have different values?
True
Let m(d) = 2*d**2 - 7*d - 4. Let c be m(-6). Let u be (28/c)/(48/(-60)). Let f = u - -1/2. Are f and 1/5 equal?
False
Let o(h) = 23*h + 216. Let a be o(-27). Which is greater: a or -407?
a
Let d be (-24)/(-4)*(25/10 - 2). Suppose -2*r = -0*r + m - 18, 3*r + m - 29 = 0. Suppose -r = -k - 3*g, -4*g + 22 = -2*k + g. Which is smaller: k or d?
k
Let p = -5 - -5. Suppose 7*r + 92 = 3*r - b, 5*b = p. Does r = -23?
True
Suppose 45*f - 41*f = -196. Let z be (-2)/((-56)/f)*(-3)/(-