 -z. Let y(x) = x**3 + x. Let n be y(z). Suppose -6*i = -2*s - 3*i, -3*s + i = n. Which is bigger: 0.17 or s?
0.17
Let v = 6390 - 6206. Which is smaller: -0.1 or v?
-0.1
Let r be 18060/(-385)*66/12. Are r and -1800/7 nonequal?
True
Let m be ((-2)/(-6))/((-1)/(9/3)). Let y be (((-16)/(-4))/4)/m - -14. Suppose -y*q + 16*q = 39. Which is smaller: q or 10?
10
Let i be (-2)/(-13) - 1869/6370*7. Is i greater than or equal to -2?
True
Let m = -10.804 - 1091.196. Which is smaller: 3 or m?
m
Let g = -51442.05 + 54708. Let r = 3186 - g. Let a = r - -80. Which is bigger: a or 2?
2
Let t be 2/(-3)*(-89232)/(-352). Which is bigger: -168 or t?
-168
Let c(s) = -3*s**3 - 46*s**2 + 6*s + 23. Let g be c(-16). Which is greater: 1751/4 or g?
g
Let m = -11 - -13. Let b(t) = 15 - t**3 - 10*t + 0*t**m + 0*t**3 - 13*t**2. Let x be b(-12). Do x and -9 have the same value?
True
Let j = -4691 - -4668. Is j < 3?
True
Let w = -20.97 + -2519.03. Which is bigger: -2 or w?
-2
Let t be (1 - 2)*-2*(-28)/(-104). Let l = -1/26 + t. Let k be -6*((-9)/(-3))/(-99). Which is smaller: l or k?
k
Let v(h) = h**2 + 7*h + 2. Let f be v(-7). Let x(g) = -18*g**2 + 3*g**2 + 15*g - 7*g + 2 + f*g**3. Let y be x(7). Which is bigger: 8 or y?
y
Suppose -8*l = 8*l - 160. Let k be 1/(15/12) + 602/l. Is k greater than 61?
False
Suppose n + 1536 = m - 5*m, 4*n + 6102 = 5*m. Let u = -4538/3 - n. Which is smaller: 15 or u?
15
Let w = 6 + -6. Suppose -3*z = 5*r + 22, 3*z = -w*z + r - 28. Suppose -4 = -s - 15. Which is bigger: s or z?
z
Let h = 12 - 33. Let i = -21.277 + 0.077. Let k = i - h. Is 7 != k?
True
Let u = 1759 - 2750. Which is smaller: u or -992?
-992
Suppose -3*p + 4*p - 1 = 0. Let r = -19/2500 + 83/17500. Which is bigger: p or r?
p
Suppose -2*c = 24*q - 22*q + 10, 22 = -2*c - 5*q. Is c > -2/1869?
False
Let w = 2940 - 3340. Is w != -400?
False
Let j be 40/60 + (-1)/15 + (-4)/15. Which is smaller: -512 or j?
-512
Suppose -32 = -8*p - 0*p. Suppose -3*i + 79 = -2*n, -p*n - 187 = n + 3*i. Let y be n/24 - (-10)/40. Is 0.5 >= y?
True
Let w = -216/7 - -1171/35. Let x = 21/10 - w. Is 88 at least x?
True
Let j = -7205 + 7205. Which is smaller: j or 18/3257?
j
Suppose -52097 = -10*t + 110*t - 411497. Which is smaller: t or 3593?
3593
Suppose 28*n = 33*n + 15. Let q = -2123116/69 + 30768. Let p = 3/23 + q. Which is smaller: n or p?
n
Suppose -6 = 3*j - 4*m - 3, m = -2*j - 2. Which is smaller: j or -6/125?
j
Let z = 6690 - 6690.4714. Does z = 0?
False
Let t be (-3)/9*(-48 - -3). Let f be (-2)/7 - t/21. Let z = 71 - 73. Does z = f?
False
Let z = -3556 + 3557.773. Let h = z - -0.227. Is 0.097 < h?
True
Let a be 0/((-27)/54*(0 - 2)). Which is smaller: a or 59/111?
a
Let j be ((-3020)/140 + 18)*14/(-16). Does j = 3?
False
Let f = -22021 - -154158/7. Is f > 2?
False
Let l(a) = -2*a**2 + 25*a + 17. Let c be l(13). Let r = -45 + 47. Suppose c*p - r = 5*p. Is p less than or equal to -4?
False
Let o = -317 + 3127/10. Let b = o + 119/30. Are b and 2 equal?
False
Let x be (-54)/14 - 2*(-2)/(-28). Let d be 79*(x + 5 + 0). Is d greater than 79?
False
Let d = -7 - -75. Suppose 5*p + d = 23. Let k be -68*((-27)/(-12))/p. Is 18 at most k?
False
Suppose -9*l = 4*l + 3*l. Let p be l - -21*(-2)/(-225). Is p at most -1?
False
Suppose 6*l + 515 = l. Let v = 0.72726 + -0.52726. Which is greater: v or l?
v
Let d(a) = 4*a**2 + 144*a + 271. Let c be d(-34). Let f = 1 - -12. Which is bigger: c or f?
f
Let z be 44/2772*-21 - (31/6 - 0). Is 65/6 at most as big as z?
False
Let g = 0.178 + -0.398. Let u = g - -90.22. Which is greater: u or 0?
u
Let v be 93654/(-10) - ((-77)/(-70) + (-47)/94). Which is smaller: -9368 or v?
-9368
Suppose -8 = -3*n + 10. Let j be (-1)/5 - 77/(-35). Suppose -j*h + 10 = n. Which is smaller: 2/23 or h?
2/23
Let m = -23409 - -23408.77. Let n(f) = f**2 - f + 1. Let t be n(0). Which is smaller: m or t?
m
Let u = 3841 + -3841. Let a = -14 - 9. Let y = a - -36. Is u less than y?
True
Let u(z) = 27*z - 27. Let t be ((-1)/2)/(-6*(-6)/(-72)). Let s be u(t). Which is smaller: 2/265 or s?
s
Let n(z) = -z**2 - 5*z - 5. Let m be n(-2). Suppose -2*r + 6*r = -4, -r = -3*x + 7. Suppose 0 = 3*t - x*t + 3*t. Which is smaller: t or m?
t
Let p(x) = -x**3 - x**2 + 19*x - 5. Let y be p(-5). Let q be (2 - 0)*(6/12 - y). Does 3 = q?
False
Let g = 341 - 346.2. Let z = -5.3 - g. Which is smaller: z or -10?
-10
Let p = 87 - 57. Suppose n - p + 6 = 0. Suppose 15 = -3*o - n. Which is greater: o or 2?
2
Suppose 4 - 8 = 2*j, a + 39 = 4*j. Let y = a - -49. Do 42/23 and y have different values?
True
Let b = 9385.5659 + -9385. Does -2/11 = b?
False
Let t(f) = -f**2 - 10*f + 2. Let n(s) = -4*s + 9. Let g be n(4). Let x be t(g). Let r be x/25 - (-2 + 3). Is 0 greater than or equal to r?
True
Suppose 23 = 16*j + 71. Is 312 bigger than j?
True
Let g = -0.576 - -0.376. Which is smaller: g or 1050?
g
Let r(j) = j**3 - 9*j**2 - 2. Let b be r(5). Let o = 15646 - 15748. Is o at least as big as b?
True
Let d be 2354*1/(-7)*(-280)/160. Is d greater than or equal to 589?
False
Let a = -830.943 - -831. Let x = a - 0.137. Is -14 at least x?
False
Suppose -1095892 = -a + 4*i, 3*i = 3*a - 1000940 - 2286727. Let s = a + -104108417/95. Let z = s - 105/19. Which is smaller: z or 4?
4
Let o = -0.603 - 625.397. Let v = o - -626.01. Is v < 12?
True
Let y = 0.2 - 0.1. Let a = 16.9 + y. Let m = a - 28. Which is greater: m or 0?
0
Let f be (-2 + -10)/(5/(-20)). Let l be (33/(-12))/(1/18). Let a = l + f. Is a at most as big as -1?
True
Suppose 0 = 3*m + 4*h - 27, 4*m + 2*h + 5*h = 31. Suppose m = -43*k + 56*k. Which is smaller: k or 25?
k
Let n = 107.091 + -107.7. Let t = -47.391 + n. Which is greater: t or 0.1?
0.1
Let g be (-42)/30 + 2*1. Suppose -h + 3*w = -4, 88*h = 84*h + 2*w + 86. Is g >= h?
False
Suppose a = -6*a + 2541. Let y = a - 196. Suppose 0 = -9*i - y - 94. Is i smaller than -30?
False
Let n be (-2)/6 + (128/(-12) - -3). Let x be (-76610)/(-2934) + 20/(-18). Are n and x non-equal?
True
Suppose -64*p - 50057 - 81190 = 34833. Do -2592 and p have the same value?
False
Let m = -34 + 33. Let u be m + 1 + -6 + 8. Let r be -12*-2*u/56. Is 1 at most r?
False
Let o = -463.0179 + 0.0179. Let s = o + 463.954. Let v = s - -0.046. Is -14/13 equal to v?
False
Suppose -5*a - 18 = -3. Let y be 1552/3904*(-47)/a + -4. Let w = y - -4/183. Is 3 at most w?
False
Suppose -g = -5*o + 61, -46*g - 413 = -41*g - 7*o. Which is greater: g or -88?
-88
Let l(y) = 2*y**3 - 33*y**2 + 74. Let s be l(16). Is s at most as big as -173?
True
Let x be (297/(-55))/(34*(2 + 105/(-50))). Let d = -3 + 6. Is d != x?
True
Let u be (-1 - 8/(-2)) + 5 + -68 + 11. Which is smaller: u or -575/12?
u
Let j = 603 - 507. Let l = -89 + j. Is 69/11 at least l?
False
Let v = 14970 + -14836. Is v > 134?
False
Let f be (222/1110)/(3 + (-14)/5). Which is greater: 34/1261 or f?
f
Suppose 36*x + 216 = 12*x. Let j be (1/x)/(4/12). Is -15/7 greater than j?
False
Let a be 0*(8/3 - 3). Suppose a = -2*o - 2*o + 8. Let h be 43/9 - (35 + -32). Is h <= o?
True
Let m = -7655 - -7684. Let o = 60 - 33. Is o > m?
False
Let v = 29034 - 28910. Which is smaller: 3/26 or v?
3/26
Let m(b) = b**2 + 29*b - 1880. Let g be m(-60). Is -227 at least as big as g?
False
Let m = 12152 + -12147. Which is smaller: m or 1.68?
1.68
Let a = -11.71 - -11.81. Does 2558 = a?
False
Suppose -311*a + 629*a + 33 = 307*a. Is a > -1/6?
False
Let b(a) = a**3 - 12*a**2 - 11*a - 12. Let i be b(13). Let g = i + -12. Let y = -399/2 + 200. Is g <= y?
False
Let c = 97.261 - 97.23. Which is greater: c or -2/5?
c
Let a = 215.5 + -538.5. Is -6 >= a?
True
Let o = 145/16 + -403/48. Is 1 at least as big as o?
True
Let a = -30 - -39. Let u(n) = 0*n - n - a + 18. Let t be u(-9). Is t greater than 18?
False
Let y = -5189 - -13071090/2519. Which is greater: -1 or y?
y
Suppose -t = -y + 24, 3*y - t - 68 = -0*t. Suppose 4*h = y - 14. Suppose -8*g - h = -10. Which is bigger: 9 or g?
9
Let i be (-670)/(-1920) - (9 - 4)/15. Let h = 1 + 3. Let w be -3 + h + 6/(-3). Which is greater: i or w?
i
Let f be ((-2)/5 + (-24)/(-60))/2. Let y be (-2)/((-20)/(-70)) + -38. Is y less than or equal to f?
True
Let k(i) = 45*i**2 - 70*i + 837. Let c be k(21). Are c and 19213 unequal?
True
Let p = -49 - -165. Let y = 121 - p. Let r be ((15/(-68))/y)/(189/(-72)). Which is smaller: r