 50 = -12*i. Do i and -267/11 have the same value?
False
Let w = -24.21 - -0.21. Let b = w - -21. Which is greater: b or 1/2?
1/2
Let i be ((-8)/20)/(2/10). Let u(w) be the first derivative of -w**2/2 + 5*w - 5. Let j be u(5). Which is smaller: j or i?
i
Let o = -77 - -25. Let x = -28 - o. Is -1 greater than or equal to x?
False
Suppose -y - 2 = 2. Let f = 45 + -38. Let k(q) = q**2 - 9*q + 12. Let a be k(f). Which is smaller: a or y?
y
Let s be ((-12)/1050)/(128/(-30)). Which is smaller: s or 1?
s
Suppose -3*h = -10 - 2. Let l(k) = -6*k + 26. Let q be l(h). Is q bigger than 1?
True
Let b be ((-32)/(-20))/((-4)/(-10)). Let p be (-2)/(-8) + 11/b. Suppose 0 = -p*a + 7 - 4. Which is greater: a or 7/3?
7/3
Let y = 370 - 943. Let c be 579/y - (2 - 3). Is c greater than 0?
False
Let h = -2209/7 - -315. Let y be 0/(4 + (0 - -1)). Let w be (6 - (y + 4))*-1. Is h < w?
False
Suppose -15*g + 12*g = 762. Which is greater: g or -253?
-253
Suppose -4*o + 78 = -2*n, -2*n - 46 = -3*o + 2*n. Let x be 5/(0 + -5) - o. Which is bigger: x or -25?
x
Let b = 5.2 - -0.8. Let f = 6.727 - -0.273. Let q = f - b. Which is bigger: q or 5?
5
Suppose 14501 = -49*a + 36845. Is 456 >= a?
True
Suppose 2*j = -4*x + 501 + 259, -3*x - 781 = -2*j. Which is smaller: 388 or j?
j
Let i = -0.179 + 0.079. Is 2/179 greater than or equal to i?
True
Let y be (5/4)/((-13)/(-52)). Suppose 2*i + 48 = y*j, 0 = -4*j + 4 + 4. Let x = i + 18. Is 1 greater than or equal to x?
True
Let s = -5 + 6. Suppose 0 = k + s, 63 = -3*t + 3*k - 177. Do t and -80 have different values?
True
Suppose -123 = 3*p + 3*y, 5*y = 3*y - 10. Is p equal to -35?
False
Suppose -10*b + 28 = -3*b. Let y be ((-14)/4)/(b/(-8)). Let k(s) = -s**3 - 4*s**2 + 5. Let j be k(-4). Is y bigger than j?
True
Let n = -387 + 194. Is -193 bigger than n?
False
Let f be 2/3*5*21. Suppose -2*h - 115 = 5*b, 4*h - 3*h + f = -3*b. Is -24 >= b?
True
Suppose 3*m - 12 = p, -p - 3*p - 38 = -2*m. Let a = -11 + 21. Let v = p + a. Is v smaller than 1?
False
Let h be -1 - 3/12*(-27320)/6810. Is h at least as big as -1?
True
Let t be ((-532)/(-40) - (-9)/3)/(-6). Let a = t - -29/12. Which is smaller: a or -1?
-1
Suppose 2*t - 2 = -2*l, 88 - 90 = 4*t - 2*l. Let i be 4 + -2 + 16/(-7). Is t equal to i?
False
Let i = 0.058 - -1.732. Let m = i + -0.19. Is 1/4 less than or equal to m?
True
Suppose 876 = -27*x - 231. Which is smaller: -39 or x?
x
Let x be ((-48)/(-36))/(1/21). Suppose 4*q = i + x, 4*q = -0*q + 4*i + 40. Is 11 not equal to q?
True
Let f = 5221/950 + 2/475. Let y be 1/1*(2 - -1)/1. Suppose 6 = d - k, 5*d + y*k - 4 = 26. Which is smaller: f or d?
f
Let z = -3/8237 - 494091/354191. Is z equal to 0?
False
Suppose -15 = -2*w - h + 4*h, h - 6 = -3*w. Suppose -2*f - 63 = 4*q - 3*f, 51 = -3*q - w*f. Is q greater than -16?
False
Let b = 6 - 4. Let a be ((-8)/770)/(b/(-5)). Suppose -29*m + 26*m = -2*j - 4, 2*m + 4*j = -8. Is a less than m?
False
Suppose 3*f + 3*x = 75, -2*x - 71 - 4 = -3*f. Which is smaller: f or 20?
20
Suppose -4 = -2*i + 6. Suppose 0*g - o = -g - 2, 4*g - i*o = -11. Let x = 14/3 + -148/33. Is x > g?
False
Let r = -576 + 566. Which is smaller: 2/3 or r?
r
Let s = 3479 + -3478. Let j = 15.03 - 0.03. Let k = 21 - j. Which is smaller: k or s?
s
Suppose -867 - 465 = -18*h. Which is smaller: h or 73?
73
Let r = -482/3 - -2512/15. Which is smaller: r or 1?
1
Let v = 48.1 + -48. Let a = -12091/154 + 745/11. Let h = 21/2 + a. Which is smaller: v or h?
h
Suppose 0 = 4*f + 3 - 43. Suppose -28*a + 23*a - 4*y + 67 = 0, -3*a - 3*y + 42 = 0. Is a < f?
False
Let m(u) = u**2 + 2*u - 3. Let d be m(-4). Suppose 0*v + 5*s + 200 = -v, 1120 = -5*v + d*s. Let n be (-2)/(-14) - v/(-70). Is n greater than 4?
False
Let b(r) be the first derivative of -r**3/3 - 7*r**2/2 + r + 2. Let o be b(-7). Let p = -3/110 + 47/110. Is o < p?
False
Let s(c) = 3*c**2 + c. Let v be s(-2). Suppose 2 = -2*f - v. Let j = -5 - f. Which is greater: 3/10 or j?
j
Let r = -548 + 586. Which is bigger: -0.03 or r?
r
Let a be 5 + -2 + (-3)/(21/112). Is -41/3 greater than a?
False
Let w be -791*1*16/(-56). Suppose 4*i - 2*s - w = 0, -2*i = -4*s - 25 - 97. Let n be -4 + ((-1260)/i)/(-6). Which is greater: n or -4?
n
Let a = -80 - -80.063. Let y = a - 0.163. Is -27 != y?
True
Let r(d) = 2 + d - 12 + 0 - d**2. Let w be r(5). Is w at least as big as -29?
False
Let l = 6 + -8. Let q = l + 8. Suppose 0 = 2*s + 48 - 56. Which is smaller: q or s?
s
Suppose 7*s - 26 - 30 = 0. Let z = -10 + s. Let t be -2*(4/3 - 1). Is z less than t?
True
Let h = -0.006 + 2.706. Let a = -2.69 + h. Which is smaller: a or 1?
a
Let v be (6/(-1))/(630/(-330)). Which is greater: 3 or v?
v
Let q(w) = -3*w**2 - 3*w - 1. Let b be q(-3). Let m = -15 - b. Suppose 7*y = m*y. Is 3/13 bigger than y?
True
Let l = -15 - -44. Suppose 2*c = y + 2, 4*c - 7*c + l = 5*y. Suppose -4 = 2*j - x - 3*x, y*j - 4*x = 12. Is 8 != j?
False
Let j(d) = d**2 - 6*d - 4. Let f be j(7). Let b = -14 + 21. Suppose -k - f*t = 4, k - b - 7 = 3*t. Is 3 at most k?
True
Let o = 523/20 - 103/4. Let l = 0.03 - -0.77. Let b = l - -2.2. Which is greater: o or b?
b
Suppose -4*p - 4*n = 320, 4*n + 195 = -3*p - 48. Which is smaller: -538/7 or p?
p
Suppose 11*j - 215 = 6*j. Suppose 4*b - j - 21 = 0. Which is bigger: b or 17?
17
Let b(n) = -2*n + 9. Let x be b(7). Suppose 17 = 3*d + 2. Suppose 5*m + 0*m = -4*w - 9, -3*m = -d*w - 39. Is w > x?
False
Let z = -207 - -209.01. Let k = 5.99 + -6. Let u = z + k. Which is bigger: 4 or u?
4
Let f = -22 - -20. Let y be ((-3)/9)/(f/(-6)). Which is greater: y or 8?
8
Let j be ((-84)/(-1498))/((-3)/(-1) - 1). Which is smaller: j or 0?
0
Let v(u) = 4*u**2 - 42*u + 126. Let y be v(5). Is 69/4 equal to y?
False
Suppose -5*r - 116 = -r. Let q be -1 - ((-107)/4 - 3). Let n = q + r. Is n != 6?
True
Let a be 4 + ((-51)/(-15))/(3/(-5)). Do a and 8 have different values?
True
Suppose -9*a = -8 - 19. Suppose 0 = -5*b + 16 + 14. Suppose 6*p - b = a*p. Is p at most 2?
True
Suppose 10*j - 17 - 43 = 0. Suppose 5*q + 3*v = 7, j + 12 = -2*q + 4*v. Is -1/81 smaller than q?
False
Let y = -1093 + 1178. Is y greater than 83?
True
Let b = -0.0551 + 0.0851. Which is smaller: -87 or b?
-87
Suppose -2*m - 618 = -5*f, m - 493 = -4*f + 4*m. Suppose 9*r + f = 5*r. Let b = -31 - r. Is -12 smaller than b?
True
Let u = 664/9 - 80338/1089. Is 1 bigger than u?
True
Suppose 3*j = 4*r + 12, -4 = -0*r - 2*r - j. Let k be (r + -2)*(-19)/2. Let d = -381 - -400. Is d at most as big as k?
True
Let y(h) = -5*h - 125. Let k be y(-27). Which is smaller: 5 or k?
5
Let a = 650 - 4552/7. Which is smaller: -1/228 or a?
a
Suppose 0 = -3*y + 5*b - 0*b + 79, 3*y + b = 49. Let f be (-2)/(-7) + y/(-14). Are -2 and f unequal?
True
Suppose -r - 3*r = 0. Let u be 14*(-4)/((-80)/42). Let c = u + -29. Are r and c nonequal?
True
Let s(w) = -w**3 - 22*w**2 - 41*w - 27. Let p be s(-20). Let g = 4 + 0. Suppose 4*y + 18 = 2*y + g*j, -5*y = -5*j + 40. Is y at least p?
True
Let f = 591 - 122. Is 469 less than f?
False
Suppose -4*p + 8 = -7*p - 2*u, 4*p - u = 4. Suppose 0 = 5*o + i - 145, 5*o + 5*i - 137 = o. Let c be (2/(-6))/(21/o). Is c greater than p?
False
Let n = -17 - -17. Suppose 9*k - 4*k = -40. Let u be 8/12*6/k. Is u not equal to n?
True
Let y be -22*-2*7/28. Is 91/8 < y?
False
Suppose p - 4 = -0*p. Suppose -h - h + 7 = 3*w, -8 = -p*h. Let r be (7 - 6)*(w + -2). Which is smaller: -4/17 or r?
r
Let o = -1134 - -1074.3. Let d = o - -60. Do d and 3 have different values?
True
Let i(a) = 4*a - 20. Let x(s) = -s - 1. Let b(g) = i(g) + 2*x(g). Let p be b(11). Let o = 28/15 + -278/165. Which is smaller: o or p?
p
Let i = 42 + -39. Let y be i/(30/(-4)) - (-108)/135. Which is greater: y or -6?
y
Suppose 47*n - 8028 = 11*n. Is n less than 224?
True
Suppose r + 38 = 4*r - 5*a, 2*a = 5*r - 76. Let o be (-2)/(-4) + (-89)/(-2). Let y be (-6)/r*(-30)/o. Which is bigger: y or 1?
1
Suppose -5*o + o = 12. Suppose 4*m + m - 4*a = 28, 5*m - 16 = -2*a. Is o not equal to m?
True
Let d = -1749 - -54218/31. Let p = -1 - -1. Is p <= d?
False
Let j = -0.704 + 0.454. Let z = -3 + 4. Which is greater: j or z?
z
Let z be (-10)/45 + 3 - 3. Suppose 6 - 1 = -5*d. Is z at least d?
True
Let l = -17 + 16. Let c be (-9)/(-6)*(l - 1). Are -6 and c nonequal?
True
Let o be 1 + (-26 - -29)/((-1)/(-2)). Is o bigger t