424 = -14*k - 2*k. Which is smaller: -90 or k?
-90
Let j = 149.68 + -0.68. Which is bigger: -2/7 or j?
j
Suppose 0*j = 3*j - 12. Let u be -1 + 0 + j/5. Suppose -31 = 2*q - 0*q - 31. Which is bigger: u or q?
q
Let j = -22 - -20. Let k be j*(-3)/(-2) + 18. Let g be (-408)/870 - (-6)/k. Are g and -1 equal?
False
Let c(a) = a**2 + 8*a - 11. Suppose -4*o - 17 = 5*l, 33 = -0*l - 5*l + 4*o. Let k be c(l). Which is smaller: k or -28?
-28
Let s = -7 - -17. Let d be 2/(-5)*(s - 15). Are -9 and d unequal?
True
Let q = -10 + 12. Suppose -5*n = 0, -5*o - 3*n + 30 = -2*o. Suppose -2*p + o + 7 = 5*w, -3*w = 2*p - 11. Is q greater than p?
True
Let n = 31 + -27. Let u = 5 - n. Is u greater than or equal to 21?
False
Suppose v - 4 = -v. Suppose 64 = 4*p + v*f, 5*p - 2*f = -5*f + 80. Suppose -2*l + p = 2*l + 4*b, -3*l = -3*b - 18. Which is greater: 4 or l?
l
Let c be (32/(-10))/(4260/(-1350)). Which is bigger: c or 1?
c
Let f = 0.49 + -0.5. Let z = -45.06 - -45. Let b = f + z. Which is greater: b or -1?
b
Let k = 0.0603 + -0.2103. Is k less than -5?
False
Let y = 1042221/78325 - -8/6025. Is y != 12?
True
Let k = -117/145 + 6/29. Let r = -9 - -9.09. Let o = 0.91 + r. Is o at most k?
False
Let m = 1050597217/918625335 + -1/2587677. Let z = 4/71 + m. Which is greater: z or 4/3?
4/3
Let y(x) = 31*x + 931. Let r be y(-30). Which is greater: r or -5/358?
r
Let q = 0 - -3. Let m(t) = -t**3 + 3*t**2 - t + 3. Let f be m(q). Let a = 1/5 - 19/20. Is f < a?
False
Let o be 483/(-92) - 5/(-1). Which is bigger: o or 5.5?
5.5
Let z be 112/(-120)*47 - 4/30. Is -44 at most z?
True
Let y(g) = -2*g + 26. Let d be y(15). Let l be (9 + -1 + d)/(6/(-4)). Which is bigger: -2 or l?
-2
Let j = 767 + -60591/79. Let n be ((-166)/(-4) + 0)/79. Let g = n - j. Which is bigger: g or -1/10?
g
Let y(k) = 3*k**2 + 160*k - 106. Let n be y(-54). Which is smaller: -247 or n?
-247
Suppose h + 2*v = 49, v - 96 = -3*h + 26. Let s be (h/78)/((-1)/4 - 0). Is -1 at least as big as s?
True
Suppose 0 = -2*j + j + 5*q + 9, 3*q = -2*j - 8. Suppose -2*z + 4*l = -l + 28, z - 5*l = -9. Let d = -115/6 - z. Which is smaller: j or d?
j
Let j = -16.21 - -2.31. Let k = 14 + j. Which is greater: k or 3.6?
3.6
Suppose 10 = 4*h - o, -3*o - o = 3*h - 17. Suppose 117 = h*k + 4*z - 10, 95 = 3*k - 4*z. Which is smaller: k or 38?
k
Let r = -2627 + 357275/136. Do r and -3/7 have the same value?
False
Suppose 2*h = 5*t - 10, 5 = -h - 3*t + 11. Suppose 7*w = 3*w + 8, -5*v - w + 42 = h. Suppose 0 = 2*m - 4 - v. Which is smaller: 8 or m?
m
Let z(y) = -y**2 - 11*y - 25. Let m be z(-8). Do -3/28 and m have different values?
True
Let h(q) = -q + 1. Let r be h(-11). Let w be r/(-20) + (-21)/15. Which is smaller: -4 or w?
-4
Let l(b) = 18*b - 3. Let w = 24 + -23. Let u be l(w). Let d be 4 + 2 + u/(-3). Which is greater: -2 or d?
d
Let x = 136.2 - 106. Let o = 30 - x. Which is greater: -0.4 or o?
o
Suppose 6*h - 2 = 7*h. Suppose -3*i - 100 = 2*v, -i + 4*v - 43 = 9. Let c = 32 + i. Which is smaller: c or h?
c
Let t = -22 + 725/33. Suppose b + 8 = -3*p, 2*p - 5*p + 2*b + 16 = 0. Which is smaller: p or t?
t
Let w be (77 + -77)/(6/(-1)). Is w >= -21/58?
True
Let v(j) = j**2 - 11*j + 33. Let h be v(7). Which is bigger: 7 or h?
7
Suppose -4*h + 10 = -6. Suppose h*t = 2*f + 50, -2*t - 2*t + 41 = f. Let x be -3 + 5 + -2 - -12. Which is bigger: t or x?
x
Let a = 0.4 - 0.4. Which is bigger: a or -2/31?
a
Let i be (8/36)/(-1*7/3). Do i and -1 have the same value?
False
Let x = -0.194 - -0.14. Is x greater than -2/11?
True
Let t = 821/770 + -11/70. Let f be 20/54*(-2142)/1155. Let y = t + f. Which is bigger: 0 or y?
y
Suppose 0 = 17*p + 67*p. Let u be ((-3)/(-24))/((-3)/(-124)). Are p and u unequal?
True
Suppose -6*t = 177 + 339. Is -85 greater than t?
True
Let u be 4 - (-1 + 2 + -2). Let h(j) = -j**3 + 5*j**2 - j + 4. Let l be h(u). Suppose 0*g + 19 = 4*m + 3*g, g = -4*m + 9. Is l at least m?
False
Let b = -0.376 + 4.376. Which is greater: b or 67?
67
Let z = 553/10 - 279/5. Is z > -2.5?
True
Let x(s) = s - 14. Let b be x(26). Let y be ((-1)/(-1))/(-2*(-6)/b). Which is greater: 22/9 or y?
22/9
Let z = 34 + -18. Let p = 18 - z. Let h be (-22 + 2)/p + 3. Is -7 greater than h?
False
Let w be 217/(-56) + (-2)/16. Suppose 4*i - 5*z = -13, -4 = 4*i - 3*z + 7. Which is greater: w or i?
i
Let d be (-1650*2)/3 + 1. Let w = d + 28579/26. Is 0 bigger than w?
False
Suppose 14*k - 18*k + 3*i = -7, 3*i = 5*k - 5. Which is bigger: -28/9 or k?
k
Let g(w) = -w**3 + 3*w**2 + w + 2. Let x be g(3). Let z be 6/24 - x/4. Let f be -2 + 2 + z/4. Are f and 0 equal?
False
Let g = 28157 + -141987/5. Which is smaller: -241 or g?
-241
Let z = 0.4 + 27.6. Let c = 28 - z. Do c and 0.04 have the same value?
False
Let r = -389/3 + 156. Which is greater: 27 or r?
27
Let c = -550 + 479. Which is smaller: -73 or c?
-73
Suppose h - 135 + 139 = 0. Let u be (-35 - -2)*2/14. Do u and h have different values?
True
Suppose -3*q = k + 4 + 8, -2*q = -8. Let j = k - -12. Is -18 > j?
False
Let h = 140/227 - 108273/175925. Which is smaller: h or 1?
h
Suppose 12*k - 20*k = -120. Let t = 141 + -83. Suppose -2*z - u + 30 = 0, 0 = 4*z + u + 2*u - t. Which is smaller: z or k?
k
Let d = 37 + -7. Suppose -2*l - 3*l - d = 0. Is l greater than -4?
False
Let w(f) = -f**3 - 6*f**2. Let d be w(0). Which is smaller: -2/139 or d?
-2/139
Suppose 0 = 2*i + 10, -4*s + 45 = s + 4*i. Let g be s/(-5) + -3 + 5. Which is smaller: g or -0.1?
g
Let t = -59/6 + 28/3. Suppose 3*c - 28 - 4 = -4*l, 0 = -5*l + 4*c + 9. Suppose -3*d - 24 = -l*w + 7, 0 = w - 5. Which is smaller: t or d?
d
Suppose -4*b - 4*j + 84 = 0, 2*b + 3*j = 57 - 11. Which is bigger: 15 or b?
b
Let c = -526 + 485. Are -1.8 and c equal?
False
Let i = 733.1 - 668. Let s = -65 + i. Let y = -3013/13 + 232. Are y and s equal?
False
Let h = 196 + -183. Which is bigger: 10 or h?
h
Let f = -28 + 28. Suppose 2 = -3*q + d - 7, f = -5*q + 2*d - 16. Which is smaller: -21 or q?
-21
Let i = 29 + -45. Is i <= 0.1?
True
Suppose 2*p = p - 5. Let d(v) = v**2 - 5*v - 11. Let i be d(7). Let s = -2 - i. Is s less than or equal to p?
True
Let d = -49 + 39. Let t be (-52)/(-10) - (0 + (-2)/d). Which is smaller: t or 6?
t
Let o = -51 - -55. Let v = 10 - 6. Suppose 2*s - 3*s + 5 = -v*i, -o*i = 2*s - 10. Which is greater: 29/5 or s?
29/5
Let g = 0 - 1. Suppose -45*l - 83 = 97. Let k be g + (-4 - (l + 4)). Which is bigger: -1 or k?
-1
Let k be (-24)/18*27/(-6). Let j be (2 + (-14)/k)*-36. Let g(b) = -b + 14. Let q be g(j). Is q less than or equal to 0?
False
Let w = -539 - -550. Is 12 at least as big as w?
True
Let c = -103201/29 + 3558. Is -2 equal to c?
False
Let q(n) = -n**2 - 8*n + 16. Let k be q(-10). Which is smaller: k or -7?
-7
Let x(a) = -a**2 + 39*a - 50. Let o be x(38). Is o at least -15?
True
Let x be (-3)/(-2)*9/(-27)*-2. Which is bigger: 177 or x?
177
Suppose -207*v + 209*v = 5*u - 70, -74 = 2*v - 4*u. Suppose 2*h + 229 = -3*h - 3*g, 0 = -4*h - g - 179. Which is smaller: v or h?
v
Let l = -3.527 - -8.527. Let n = -3.6 - -4. Let z = 0.7 - n. Which is greater: z or l?
l
Let u = 44.95 + -45. Let s = -0.03 + u. Does -0.1 = s?
False
Let l = 147323/53 + -2780. Which is bigger: 0 or l?
0
Let g = 10.59 + -10.6. Let j = g + 0.1. Is 2/9 not equal to j?
True
Let d = 7891 + -7890.71. Let g be 2/4*-1*0. Which is smaller: d or g?
g
Suppose -1384 = 14*t + 324. Is -122 bigger than t?
False
Let j(g) = -g**2 + 7*g + 5. Let p be j(8). Let u = 3113 + -18689/6. Are u and p nonequal?
True
Let i = -74 - -113/2. Let f = 648 - 665. Which is greater: i or f?
f
Let b = 215.093 - 215. Let g = b + -0.093. Which is greater: g or 3/4?
3/4
Let w be 2 + ((-4)/(-6))/((-16)/24). Let q be 13 - 17 - -4*w. Let z(d) = -2*d**2 - 2*d. Let k be z(-2). Which is smaller: q or k?
k
Suppose 0 = -w - 0*r - 3*r + 16, -4*w - 11 = -3*r. Suppose 8*d = 18*d + 10. Which is smaller: w or d?
d
Let w(p) = 3*p + 27*p**2 - 5 + 8 - 5 - 10*p**2. Let u(h) = h**3 + 4*h**2 + 4*h + 4. Let l be u(-3). Let t be w(l). Is 18 greater than or equal to t?
True
Let a be 4/(-10) + 2 + 6/(-10). Which is smaller: a or 2/99?
2/99
Suppose 0 = 3031*d - 3021*d + 3240. Is d bigger than -324?
False
Let g(s) = -s**2 + 5*s - 4. Let i be g(7). Let y be 10 + (4/6)/(4/i). Let z be (16/10)/((-1)/(-5)). Which is greater: z or y?
z
Suppose 12*c - 