873 or q?
-2873
Let c = -5694 - -5693.8. Let f(w) = w - 10. Let u be f(6). Let n = u + 7. Is c at least n?
False
Suppose -122*p + 129*p = 14. Let f be ((-6)/(-3) - (p + 2)) + 2. Is -1/2 > f?
False
Let u = 14.5 + -14.7. Let o = -11 + 10.6. Let i = -0.6 + o. Which is bigger: i or u?
u
Let x be 5/5150*-5288 + (-3)/((-90)/(-12)). Which is greater: x or -6?
x
Let c(x) = 14*x + 770. Let d be c(-11). Is d less than or equal to 619?
True
Let g = -1137 - -998. Which is greater: g or -146?
g
Let j = -184 - -207. Suppose -90 = 12*l - 342. Which is greater: l or j?
j
Let w = 89.7 + -104.5. Which is bigger: -5 or w?
-5
Let b = -329 - -89. Is -0.04 greater than or equal to b?
True
Suppose 4*k + 270 = 7*k. Suppose -7*r + k = 2*r. Is r < 11?
True
Let p(m) = 38*m + 75. Let c be p(-6). Let n = -156 - c. Is n at least -32/17?
False
Let u be (-24)/60 + 125858716/(-180010). Let j = 1003/383 + u. Let g = 697 + j. Is 1 greater than g?
True
Let j(l) = -2*l**2 - 14*l + 4. Let u be j(-7). Suppose -y - u*y = 10. Let h be 5/(-5) + y + 20. Do 18 and h have different values?
True
Let c = -95 + 111. Suppose -69 = -c*d + 27. Suppose 0 = 5*x + 25, -3*f = -5*f + 4*x + 30. Does d = f?
False
Let k = 18880 + -358902/19. Is k at least 1?
False
Suppose -m + 5*l + 30 = m, -3*m = -2*l - 67. Suppose -m*x = -19*x + 60. Is x < -10?
False
Suppose -11*q - 22 = -18*q + 6. Are 57 and q equal?
False
Let z = 34 - 28. Let l be (-1050)/(-180) - (-3)/(-6). Is z != l?
True
Let u = -0.3 + 2.14. Let m = u - 0.54. Let j = -173/7 - -25. Which is greater: m or j?
m
Let l = 170 + -166. Suppose 4*q - r - l*r = 115, -q - 5*r + 35 = 0. Let v be -62*(6/(-4) - -1). Which is smaller: q or v?
q
Suppose 2*n - 3*n - 5*s = 96, -509 = 5*n - 4*s. Which is smaller: n or -100?
n
Let m(x) = 26*x**3 + x**2 + 4*x + 12. Let g be m(-2). Which is greater: -198 or g?
-198
Let v = 1/1511 - -1507/6044. Let c = -1.99 - 0.21. Which is smaller: c or v?
c
Let y be ((-4)/1365)/(1 + 667/(-669)). Let q = -2/8009 + -63942/520585. Let w = y - q. Which is bigger: -2 or w?
w
Let a be 5016 - (-10 + (-6 - -8)). Is 5027 less than or equal to a?
False
Let j be (2 - -5) + (-13 - -18). Let n be 8/(-10)*15/(-6). Let z be n/10*575/10. Is j greater than z?
True
Let y = 30.57 + 5.85. Let z = -2.42 + y. Which is smaller: z or 2?
2
Suppose 5*x - 54 = 2*k + x, 2*x = 4*k + 90. Let g be 2 - (-7)/6 - 2/12. Suppose -4*p + 14 = -v - 5*p, -g*p = 4*v + 60. Are k and v equal?
False
Suppose -3*n + 6*n = 15. Suppose n*w - 3*d - 146 = 0, 0*w - 5*d = w - 18. Let o = 28 - w. Is o at most -2/3?
False
Let q be 2928/(-732)*(0 + (-2)/(-44)). Is q < 0.379?
True
Let t = 3395.24 - 3395. Are -0.69 and t non-equal?
True
Let f = 18.4 - 18.337. Let r = 1.037 + f. Which is bigger: 0.2 or r?
r
Let z = 3514/3 + -1156. Let x(l) = -15*l - 14. Let f be x(-2). Is f bigger than z?
True
Let y = -4220 - -4578. Is 358 at least y?
True
Let z be 1 - -212 - ((-16)/152 - 2037/(-399)). Let t(l) = 9*l**2 - 4*l + 1. Let i be t(5). Is i != z?
True
Suppose 34 + 92 = 18*t. Let a(f) = -f**2 - 12*f - 10. Let j be a(t). Is j less than or equal to -142?
True
Let n be 6/(-8) - 75195/(-180). Suppose 5*s + 12*v = 8*v + n, 4*s = -v + 338. Which is smaller: 86 or s?
s
Let l be (-40)/(-44) + 5256/(-4015). Which is smaller: l or 10.56?
l
Let n(q) = -934*q + 22. Let d be n(3). Is -2780 at most as big as d?
True
Let c(n) = 17*n - 1284. Let m be c(74). Do m and 23 have different values?
True
Let b = 1344 + -2687/2. Let r = -6 - -12. Let s be r/4 + (-2)/(-4). Which is smaller: s or b?
b
Let q = 121 - 115.7. Let m = -0.7 - q. Let x = 96049/3 - 32017. Is m less than x?
True
Let g = 3819 + -3817. Which is greater: g or -2/61?
g
Suppose 2*u - 2*h = -44 - 32, -2*u - 2*h - 64 = 0. Let l be 4 + u/10 - 289/2. Is -145 > l?
False
Suppose 27 = -l + f, -f - 93 = 4*l - 2*f. Let v(j) = 4*j**2 + 35*j + 28. Let y be v(-7). Let k = y - l. Which is smaller: 7 or k?
k
Let b = -116211/4 + 28299. Which is smaller: b or -755?
-755
Suppose 2*i = 5*n + 141, -96 = 3*n - 0*n - 5*i. Let w be ((-16)/(-6))/(9/n). Let o be 4 + -1 - (0 - (w + 5)). Which is smaller: o or 2/11?
o
Let a = 0.77 - 6.47. Let q = a - -5.657. Let g = 0.443 + q. Which is greater: -8 or g?
g
Let v = 4524167/101747411514 - -1/2284354. Is v <= 1?
True
Let o = -33.572 - 9203.428. Which is smaller: 1 or o?
o
Let d = -14 + 5. Let l = -11059 - -11042. Is l less than or equal to d?
True
Let a be ((-270)/36)/(20/(-2)). Let t = 2.61 + 0.09. Which is greater: t or a?
t
Let f = 960756/53 + -18127. Do f and 1 have different values?
True
Let v = 14149/276 - 1181/23. Let b = 2035/21 + -480/7. Let g = b - 29. Is g at least v?
False
Let q be (-56 + 52)*(45/12 + -2). Let z(g) = -1 + 5*g + 0 + 9*g**2 - 4*g + g**3. Let b be z(-9). Is b less than or equal to q?
True
Let l be ((-4)/6)/(8/(-84)). Let d be l + 1 - (6 + -3). Let r = -4361 + 4365. Which is greater: d or r?
d
Suppose 0*r - 352 = 4*p - 3*r, -5*r + 435 = -5*p. Let w be (3 - (-96)/(-18))*2/p. Is w equal to -3?
False
Let t = -27872 + 27871. Which is smaller: t or 22/1227?
t
Suppose -2*j + 4959 = -5*f, 3*f + 1800 = -3*j - 1167. Which is smaller: -989 or f?
f
Let v = 151 - 78. Let a = -149.3 + 232.3. Let o = v - a. Is o != -1?
True
Suppose 5 - 1 = -2*m - 2*m. Is m at least as big as 112/289?
False
Suppose -868 = -16*w + 2*w. Let j = w - 63. Which is bigger: -8/11 or j?
-8/11
Let f = 1562601/10802 + -111/982. Let r = 97023/671 - f. Are r and 0 nonequal?
True
Let x(j) = j**3 + 12*j**2 - j - 15. Let l(r) = -5*r + 23. Let w be l(7). Let b be x(w). Let f be b/6 - 13/(-18). Which is smaller: f or -1?
-1
Let o(v) = v**3 + 24*v**2 + 107*v + 8. Let k be o(-6). Suppose 4*g - 12 + 0 = 4*s, -3*s + 4*g = k. Which is smaller: 9 or s?
s
Let j(i) = -i**3 + 18*i**2 - 61*i + 44. Let o be j(13). Suppose -92*g - 4*n = -o*g + 432, -4*g - n + 457 = 0. Is 113 at least as big as g?
True
Let g = 265 + -298. Let c be (9/3)/(g/(-352)). Suppose -k + o = -33, 4*k - 183 + 63 = -2*o. Which is bigger: k or c?
c
Let k = 1175 + -151579/129. Which is smaller: k or -1?
-1
Suppose 2*h - 129*b + 124*b + 216 = 0, 4 = -b. Let y = 123 - 240. Which is smaller: h or y?
h
Let i(t) = t**2 + 37. Let g be i(0). Suppose 0*c + 2*c - 21494 = 4*x, 4*c - 26860 = 5*x. Let f be x/(-126) - (2 + 4 + -1). Is f <= g?
False
Let i(x) = -2*x**2 - x + 84. Let g be i(-7). Which is bigger: g or -257?
g
Let u = 138589/9 - 46153/3. Suppose -4*z + 4*d + 72 = 0, -d = d + 6. Is z greater than or equal to u?
True
Let y(z) = 2*z + 12. Let p be y(-10). Let j = 73 - 62. Let k(o) = -3*o + 24. Let b be k(j). Is b >= p?
False
Let u(l) = 54*l - 190. Let y be u(2). Do -62 and y have the same value?
False
Let l(o) = -o**3 + 26*o**2 - 26*o + 23. Let h be l(25). Let y be (h + 1)*(-28 + (1 - -6)). Does y = 19?
False
Let y = -1.0162 + -1.9838. Which is smaller: 100.8 or y?
y
Let y = 459 - 404. Let b be (-220)/y + (834/167 - 1). Does b = 0?
False
Let s = -1095576/29 - -37755. Is -22 bigger than s?
True
Let o = 41590724496/61469 + -676613. Do 0 and o have different values?
True
Let z = -60179906 + 51393645939/854. Let q = z - -1/122. Let p be (-6)/(-111) - ((-186984)/1961)/12. Which is smaller: q or p?
q
Let w(u) = -93*u - 463. Let v be w(-5). Let i = 8544/3029 + -12/233. Which is greater: v or i?
i
Let i = 31.4 + -13. Let t = 213.4 - i. Is 2/7 less than t?
True
Suppose -4*i = -4*j, -j - 4*i = -14 - 6. Let c be 3 + 2/(j/10) + -3. Let n be c/((-80)/(-84)) - (-1)/(-4). Is 3 < n?
True
Let a = -9037 - -10121. Which is smaller: a or -2?
-2
Let g = -1490.92 - -1549. Let b = 33648 + -33706. Let k = b + g. Which is smaller: k or 1/3?
k
Let g = -7.38 + -0.72. Let x = -8.1 - g. Suppose 3*l = h + 82, 0 = -2*h - 3*l - 216 + 43. Are h and x nonequal?
True
Let a(g) = -2*g**2 - 63*g + 33. Let z be a(-32). Let d = 26005/66 + -394. Which is smaller: z or d?
d
Let x(c) = -2*c**2 - 17*c - 19. Let j = 206 - 212. Let h be x(j). Is 11 <= h?
True
Let t = 9957 + -9955.6. Which is smaller: -57 or t?
-57
Let y = -2221 - -2225. Which is greater: -12 or y?
y
Let c be -7*((-12)/14)/3. Let t = -130433/6 + 21676. Let v = t - -64. Which is smaller: v or c?
v
Suppose 16*d + 10 = 6*d. Let t = -601847/11 - -54749. Let h = 53682/1507 - t. Are h and d non-equal?
True
Let b = -235 + 243. Let n be 4208/(1 - -7) - b. Is 518 greater than n?
False
