1598 + 11639. Is 593/14 >= o?
True
Suppose x - 2*g = -3473, 0*x + 5*g = -6*x - 20855. Which is bigger: -1 or x?
-1
Suppose -4186 = 3*o - 3*v - 433, 3739 = -3*o - 4*v. Which is bigger: o or 2/11?
2/11
Let j = -110 - -138. Let l = j - 30. Which is greater: -24/19 or l?
-24/19
Let u = -1590 + 665. Let g = 927 + u. Which is smaller: 0.054 or g?
0.054
Let k = -2650 + 2649.9286. Which is greater: 0.2 or k?
0.2
Let h = -19.46 + 18.36. Is h bigger than 0.087?
False
Let z be (-242)/12 + 165/(-180)*4/(-22). Suppose -3*d = 4*k - 3*k + 8, 0 = -4*k + 3*d + 28. Let v be (-2)/k*-1 - (-150)/z. Is v greater than -10?
True
Suppose 2*l + 0*l = -4*f + 36, -2*f = -2*l - 12. Suppose f*g = 3*g. Suppose -a + 3*r = -17, 0 = 3*a - g*r + r - 71. Are 23 and a unequal?
False
Suppose 5*f + 38 = 3. Let a = -118519/8 - -14808. Is f != a?
True
Suppose -3*v = -14*b + 1612 - 524, 3*v = 4*b - 1018. Which is bigger: -334 or v?
v
Let z = -3.552 - -2.252. Let j = 1.3 - -3.7. Let y = -4 + j. Is y < z?
False
Suppose -3*z = -15, 1464*w - 6765 = 1460*w - z. Is 1695 at most w?
False
Let s(i) = -7*i + 1. Let h be s(6). Let w = h - -45. Suppose -3*f = -w*m + 27 + 2, 0 = -2*f - 2*m + 4. Is -8/5 less than f?
False
Let g be 1/4 - 154/8. Let p(c) = 20*c + 86. Let w be p(-5). Let r = w + g. Which is smaller: r or -34?
-34
Let q = 264 + -268. Let g(x) = 8*x + 31. Let k be g(q). Are 1/157 and k non-equal?
True
Let f(o) = 2*o**2 + 41*o + 11. Let j be f(-20). Let s be 16 + -18 - (j - -2). Does 8 = s?
False
Let v(p) = -p**3 + 7*p**2 - 5*p - 5. Let z be v(6). Let y be (12/4 + -2 - 15) + 5. Is z greater than or equal to y?
True
Suppose -66*m = 186*m - 304416. Does m = 1205?
False
Let x = 0.259 + 28.741. Let p = 28.92 - x. Is p at most as big as 2?
True
Let p(a) = 16 + 2*a - 17 + 25. Let m be p(-17). Let r be m/14*2/(-5). Which is smaller: r or -1?
-1
Let n be (-1 - -1)/(20 - (-513)/(-27)). Which is bigger: n or 1/9889?
1/9889
Suppose w - 83 = 3*k, 4*k - 3*w = -2*w - 109. Let q = k - -48. Let a be q/3*(-15)/(-10). Which is smaller: a or 10?
10
Let k(x) = 35 - 14 + 17*x - 6. Let d be k(19). Let a = 7433/22 - d. Which is smaller: a or -1?
-1
Suppose 9798 = 219*x - 222*x - 27. Which is bigger: -3273 or x?
-3273
Let k(u) = 18*u**3 + 5*u**2 - 62*u - 69. Let q be k(-1). Which is greater: q or -1/1131?
-1/1131
Let u = -2774 - -2832.91. Let m = 59 - u. Let x = 2 + 2. Are x and m non-equal?
True
Suppose f + 9 = 5, -2*f - 316 = 4*a. Let q = 104 + a. Which is smaller: q or 26?
26
Let k(r) = r**2 + 12*r - 19. Let w be k(14). Let c be (w/25)/(1/(-10)*2). Let q = -53 - c. Which is smaller: 2 or q?
2
Let u be 12*6/126*7. Suppose u*g + f = -8, 5*g - 15*f + 20*f + 25 = 0. Let b = 1879 + -295005/157. Which is bigger: b or g?
b
Let k = -10/7 + 18/7. Let r = 28 - 24. Suppose z = 5 - r. Which is bigger: k or z?
k
Let k(f) = f**3 + 5*f**2 + 6*f + 6. Let d be k(-4). Let a = -828 + 728. Which is smaller: a or d?
a
Let r(y) = 24*y**2 + 253*y + 253. Let s be r(-1). Let i = 38 + -17. Is i at most as big as s?
True
Let w = -149/30 + 25/6. Suppose 0 = -39*t + 40*t + 11. Is w equal to t?
False
Let m be ((-3)/(-6) - 2)/((-3)/8). Suppose 2*q - m*q - 5*h + 116 = 0, 0 = -2*q - 3*h + 112. Let u = q + -211/4. Is u greater than or equal to -2/7?
True
Let l(s) = -12*s**2 + 369*s + 59. Let d be l(31). Are d and 16 unequal?
True
Let t be (2*1)/(12/(-9666)*-9). Let q = 174 - t. Which is smaller: q or -36/7?
-36/7
Let r be (2 + -133)*(34 - 9) + 4. Let q = r + 219163/67. Which is smaller: q or 0?
0
Let c = -9585 - -10758. Are 1174 and c equal?
False
Let m(j) = -j**2 + 12*j - 33. Let k be m(4). Which is greater: -1/648 or k?
-1/648
Let z = 2356 + -2104. Which is smaller: 2007/8 or z?
2007/8
Let k(w) = w**2 + 2*w + 1. Let t be k(-5). Let l be 1/((792/(-567))/(-22)). Is t equal to l?
False
Let q be -2*(-1)/2 + 9990/18. Let l = q - 516. Which is smaller: 39 or l?
39
Let s be 0/(-2) + (9 - 8 - 33). Is s at most as big as 2/7?
True
Let s = 31.91 - -1.09. Let m = 166 - s. Let k = 134 - m. Which is greater: 0.62 or k?
k
Let l = -3/36296 - -78721/74152728. Is l >= 0.3?
False
Let u = -7818/23 - -355927/1035. Let r = u - 16/9. Let c = -16 - -19. Which is greater: r or c?
c
Let h = -339 + 338. Let l be 2*h/(60/906). Is -30 != l?
True
Let v = 8.686 + 21.414. Is v not equal to 13?
True
Let x(s) = 2*s + 43. Let b be x(-20). Suppose 3*a = b + 6, -4*a = m + 9. Let l be (2 + -4 + -18)/1. Is m >= l?
False
Let q(k) = k**2 + k. Let h(x) = -x**3 - 9. Let w(y) = -h(y) + 5*q(y). Let o be w(-4). Suppose c + 2 = i, -o*i - 8 = -0*c + c. Which is smaller: i or 6?
i
Suppose 2 = -z + 3*f, 5*f = 8 - 3. Let h be 7/(28/4) - z. Which is smaller: 6/37 or h?
h
Let j = 48.75 + -68.75. Which is smaller: j or 30?
j
Suppose o = 7 + 2. Suppose 5*a = -5*t - 15, -2*t + t + 5*a = o. Let i = 87 - 90. Is i at most as big as t?
False
Let p = 65 + -23. Let n = 140806/3 + -46893. Which is greater: p or n?
n
Suppose -3*d + 82*i - 80*i - 64 = 0, -5*d = -3*i + 108. Do d and -838/33 have different values?
True
Suppose 4*z - 195 = 809. Suppose -4*a + 5*q = 559, -4*a - 4*q - z = 281. Is a <= -135?
True
Suppose -18 = t + 4*x + 59, 4*t + 329 = -9*x. Which is smaller: t or -632/7?
-632/7
Let u = -142 - -407. Let b = -174 + u. Which is smaller: -1/6 or b?
-1/6
Let o = 1023.9838 - 1024. Which is greater: o or -3?
o
Let g be -3 - (249980/(-60) + (5 - 56/12)). Which is smaller: 1 or g?
1
Let o = -132 - -187. Suppose -54*q + o*q = -1. Are 6/65 and q nonequal?
True
Let r be 5 + (3 - 6) + 3. Suppose 57*m = 54*m + 9. Suppose -r*f = -4*f + m*v, 2*v = -f - 4. Which is greater: f or -13?
f
Let y be 20/(-5)*(0 - 1). Let v = y - 5. Let p be (9 + 100/(-12))/(76/(-6)). Which is greater: v or p?
p
Let o = 0.02345 - 2.03445. Is o <= -3/2?
True
Let p be -1 + 2/3*(24 + -15) + 8370. Which is bigger: 8376 or p?
8376
Suppose -3*s = -4*k + 71, 5*s = s - k - 101. Let v = s + 41. Suppose v*x = 21*x + 55. Does -5 = x?
False
Let p = 38986 + -36006. Is 2974 bigger than p?
False
Let z = 4/8371 - -8359/25113. Which is greater: z or -1.567?
z
Let s(l) = 2*l - 36 - l + 54. Let a be s(-15). Suppose -2*q = 4*f - 28, -2*q = -3*f + q + a. Are f and 5 equal?
True
Let z be 5/((-2 + 1)*-1). Suppose a = 3*o - 12, 4*o - 2*a + 4*a = 16. Suppose -4*w - 19 = v, -o*v + z*w = 2*w. Which is bigger: -1 or v?
-1
Let z = -71 + 67. Let o be ((-222)/48 - z)*-8. Let w be (5*2)/(1 + 0). Which is bigger: o or w?
w
Let r(v) = 2*v + 68. Let q be r(-36). Let p(z) = -6*z - 10. Let g(n) = -2*n - 3. Let j(y) = -17*g(y) + 6*p(y). Let t be j(q). Is 0.2 > t?
True
Let c be (-17680)/(-715) - (-5 + 4). Which is smaller: c or 27?
c
Let m be 1/1*0/1. Suppose 0 = -23*x + 22*x. Are x and m equal?
True
Let s = 880 - 1646. Let f = 637 + s. Which is greater: f or -130?
f
Let m be 14 - -26*1/(-2). Which is bigger: m or 144/65?
144/65
Suppose -5*a = -m + 20434, 22*m + 12 = 20*m. Is a >= -4090?
True
Suppose 8*g + 6*g = 6636. Let z = g + -454. Which is smaller: z or 8?
8
Let x(f) = f**3 + 29*f**2 - 38*f - 116. Let r(h) = -h**3 - 30*h**2 + 38*h + 116. Let l(y) = -4*r(y) - 3*x(y). Let t be l(-34). Which is smaller: 94/5 or t?
94/5
Let u be 11/(44/(-72))*2/(-6). Let y be 0*(u/10)/(42/35). Which is smaller: 1/4 or y?
y
Let m = 3710 - 3699. Let c be (-1 - 1)/(-7 - -5). Suppose -3 = -4*l + c. Do l and m have different values?
True
Let h = -13 - -19. Let c(p) = p**3 + 11*p**2 + 19*p + 1. Let a be c(-9). Let y be (-34)/a + 1/4. Is h equal to y?
False
Let p be (-21)/6*20/(-7). Suppose 2*m + p*m + 1308 = 0. Which is bigger: m or -108?
-108
Let y be ((-56)/480 - (-1)/5) + (-13855)/168420. Are y and 1 equal?
False
Let b(v) = -v**2 - 6*v + 49. Let q be b(5). Let y be 1/3*(3 - q)*1. Do y and -0.03 have different values?
True
Suppose 4*s - 3*l - 135 = 0, -2*l + 6*l - 84 = -2*s. Let u be (-5781)/s*1 + (-1)/6. Which is smaller: u or -160?
u
Let r = -2/8163 - 106025/383661. Let s be ((-3)/(-12))/((-2)/(-8)). Which is bigger: r or s?
s
Let z = -5537 - -5475. Which is bigger: z or -2?
-2
Let j = -20 - -2. Let f = -25 - j. Suppose -2*n + 25 = -3*h - 3*n, 13 = h - 5*n. Are f and h equal?
True
Let v = -5542/354255 + 2/1243. Let i = v + -1297/95. Which is bigger: i or -13?
-13
Let p = 12048 + -12049. Is 2/2043 < p?
False
Let i(k) = 3*k - 15. Let v be i(7). Let m be (3 + (-15)/6)*v. Let x be m*1 