
Let z be (-21)/3 + (-24572755)/(-7050). Let n = -6957/2 + z. Are n and 0 equal?
False
Suppose 3*q + 432 = 6*q. Suppose 13*i + 2031 = 393. Let c = q + i. Is c at least 20?
False
Suppose 0 = -2*i + 2, 3*o = 4*o + 5*i - 26. Let t be (o/(-238))/(2/(-48)). Which is smaller: 3 or t?
t
Let a = -5911 + 5911.1. Let z = -2.05 - -2. Let j = z - -1.25. Which is greater: j or a?
j
Let z = 272.618 + -0.618. Let k = z - 271. Which is greater: k or 54?
54
Let x = 9 - 14. Let o = x + 4. Let s be ((10 - 15) + 11)/(-13). Are s and o equal?
False
Let f(q) = -3*q - 13. Let n(c) = -16*c - 66. Let y(z) = 22*f(z) - 4*n(z). Let m(w) = -w**2 + w + 19. Let x be m(6). Let j be y(x). Are j and 2/107 non-equal?
True
Let y = 79.03 + -9.33. Let d = 133.6 - y. Let g = 67 - d. Which is smaller: -0.1 or g?
-0.1
Let b(f) = -f - 1. Let a(p) = p**2 + 6*p + 5. Let g(d) = -5*a(d) - 30*b(d). Let n be g(-4). Let m = -62 - n. Which is smaller: 12 or m?
12
Suppose -2*n - 46 = -2*j - 16, 2*n = -j + 24. Let r be j/((-111)/54 + 2). Let b be r/693 + 4/22. Which is smaller: 3 or b?
b
Suppose -r - i + 582 = 0, 2*r + 41*i - 1162 = 40*i. Which is greater: r or 4064/7?
4064/7
Let y(j) = 13*j**2 - 92*j + 299. Let p(l) = 3*l**2 - 23*l + 75. Let i(s) = -9*p(s) + 2*y(s). Let x be i(4). Which is smaller: x or 9/20?
x
Suppose 0 = 3*z - 4*n + 81252, 5*n = -115 + 70. Which is bigger: -27097 or z?
z
Let d = -8221 - -8232.6. Is d at least as big as 0.01?
True
Let z = 9/2573 + -19789/4186271. Suppose -12 + 7 = -5*v. Which is bigger: v or z?
v
Let g(j) = j**2 - 8*j + 16. Let f be g(6). Suppose -4*o - 3 = -21*s + 16*s, -11 = 3*s + f*o. Is -2/151 <= s?
False
Let y be 3/((1 - -4)/105). Suppose -5*p = -3*q + 20 + y, -q + 17 = p. Suppose 0 = 4*f + 3*f - q. Is 20/9 equal to f?
False
Let b be (-6)/(-15) + (-261)/915. Let w be 5 + -9 + -4 - -8. Is w equal to b?
False
Let s = -0.10088 - -0.08688. Which is smaller: 58 or s?
s
Let r = -215.52 + -4.48. Let z = -220.06 - r. Does 0.02 = z?
False
Let s be 1622/((-400 - -1)*1/11). Let c = 314/7 + s. Are c and 0 nonequal?
True
Suppose 214*m + 4428 + 4649 - 3513 = 0. Which is greater: 2 or m?
2
Let w = -2 - -6. Suppose 0 = a + 4*k - 3, 0 = -9*a + 12*a - w*k - 9. Suppose 13 = a*b - b - 3*g, 4*b + 29 = -5*g. Which is smaller: -14/9 or b?
-14/9
Let w = -15417 + 15419. Is w smaller than 198/139?
False
Let n = -0.99 + -0.01. Let r = -9230 - -9174. Is r greater than or equal to n?
False
Let q = -11414 - -11541. Do 11 and q have different values?
True
Suppose 40 = -4*l + 4*z, -l - 2*z = -0*l + 10. Let j(i) = i**2 + 25*i - 235. Let p be j(7). Which is smaller: p or l?
p
Let t = -115.713 + -0.287. Let l = t + 116.05. Let n(i) = i**2 - i - 1. Let x be n(0). Which is smaller: l or x?
x
Let v(l) = 2*l - 14. Let i be v(10). Let m(y) = -3*y - 7. Let f be m(i). Are f and -2/7 nonequal?
True
Let k = -7220 + 7222. Is k > 1583?
False
Suppose 0 = -4*p - 5*p - 18. Let d be (76/57)/((8/(-6))/p). Let w be (-5)/(d + 4/8 + -2). Which is bigger: -12 or w?
w
Let w = 1 - 2. Let l = w - -0.6. Let c = 11663/5 - 2333. Is c less than or equal to l?
True
Let q be ((-4)/(-29))/(16/8). Let h = 344 - 343. Is q >= h?
False
Let x(s) = 44*s**2 + 2*s + 2. Let v be x(-5). Let c be 15/((-1080)/v) - 1/(-3). Is -15 smaller than c?
True
Let c be (-4 + -11)*(-2)/5. Suppose -c*g - 5 = -23. Suppose g*b + 5*n + 41 - 114 = 0, b - n = 19. Are 21 and b non-equal?
False
Let s be -1523*(-6 + 25)/19. Which is smaller: s or -1527?
-1527
Let w = 3129 + -3129. Which is smaller: w or -2319?
-2319
Let j = -0.101 - -31.601. Let c = j + -31.91. Is c at most 3/2?
True
Let v be (-4 + 7)*(-12)/(-12). Let y be (84/(-176))/(3/19). Let q = y + v. Do q and 0 have the same value?
False
Let t = 9 + -16. Suppose -496 = 51*u - 47*u. Let l be 8/(-6)*(-558)/u. Which is smaller: t or l?
t
Let k be 1 - 5 - -51*2/27. Let j = -9.754 + 9.8. Let a = 8.954 + j. Do k and a have the same value?
False
Let a = 92 + -86. Let q(n) = -n**3 + 3*n**2 + 11*n + 1. Let l be q(a). Is l > -41?
False
Suppose -11*c = -25*c - 57*c. Let s = -2 + -4. Let p be s/4*(-8)/138. Does p = c?
False
Let z = 138116 - 138113. Let s be (5 + -1)/((-2)/22). Which is smaller: s or z?
s
Let m = 62.56 - 61. Let x = -82.56 + m. Let j = 80 + x. Is 40 less than or equal to j?
False
Let r be -5 + (-104)/(-13) + 505. Does 509 = r?
False
Let q = -34856 + 34858.3. Which is greater: q or -455?
q
Suppose -50*t - 2*d = -51*t - 810, -2*t = 5*d + 1647. Is t at most as big as -818?
False
Let v(c) = -2*c**2 - 25*c - 8. Suppose 10*y + 5 + 115 = 0. Let a be v(y). Let d be a - (836/280 - -1). Is d at least 0?
True
Let b = 0.15 - -120.25. Let x = 121 - b. Is -5/9 at least as big as x?
False
Let z = 45 - 11. Let h(s) = s**3 + 13*s**2 - 41*s - 132. Let i be h(-15). Which is greater: z or i?
z
Let u be ((-3196)/(-12) - -7 - (-20)/(-4))*3. Which is smaller: 802 or u?
802
Let f = 1639094/13 - 128746. Let l = -2648 - f. Which is bigger: l or 15?
15
Suppose -3*f = -5*b - 29, 8*b - 10*b = 5*f - 7. Suppose c - 5*a = -123, -2*c - 300 = -f*a - 89. Let h = c - -91. Which is bigger: -9 or h?
h
Let t be ((-925)/(-75))/(-37) - -8*1856/(-6). Do -2474 and t have different values?
True
Suppose 365*s + 352 = 373*s. Let n = -37 + 83. Which is bigger: s or n?
n
Suppose 5 = -3*u + 35. Suppose 18*m = 14*m + 4*t + 4, 5*t + u = 0. Is -2/277 bigger than m?
True
Suppose 4*f + 5*r = -2*f - 2519, 3*f + 1249 = -r. Do f and -1655/4 have different values?
True
Let h be 972/(-72)*(-8)/95058. Which is smaller: 0 or h?
0
Let u be (4 - 116476/29118)/(377/39 - 10). Do u and 0 have the same value?
False
Let h be 99/12 - 1/4. Let f(k) = k**3 - 11*k**2 + 20*k + 32. Let d be f(h). Is d smaller than 4/109?
True
Suppose 947 = -5*v + 4*h, 0 = 4*v - 9*v - h - 932. Let a = v + 86. Let g = 104 + a. Do g and -5 have different values?
True
Let z = 35/368 - 219/368. Which is smaller: z or 0.0926?
z
Let f = -944 - -1336. Suppose -f = -3*w + 17*w. Suppose -135 = -2*k + 7*k. Which is smaller: w or k?
w
Let z = -13.984 - 0.116. Let f = -15 - -29. Let h = z + f. Which is smaller: 7 or h?
h
Let c be (231/308)/(-3 + 97/32). Is c greater than 122?
False
Let l = -121 + 109.8. Let g = -10.4 - l. Let u = g - 0.9. Is u greater than or equal to 1/25?
False
Suppose 9*u = 8*u + 9*i - 362, 4*u = -6*i - 986. Suppose 4*f + s + 1044 = 0, 0*s + s = 4. Which is greater: u or f?
f
Let c = -185.6 + 3.6. Let a = c + 182. Let r = 4/99 - -2/11. Which is greater: a or r?
r
Let c be 3/(15/25) - 3. Suppose 0 = u + c*u - 12. Suppose 0*h = u*h + 8. Is h less than or equal to 8?
True
Suppose 5*x - 3 = -3*g, 6 = x - g + 7. Let r be (1 - x)/((-1)/(-28)). Which is smaller: 32 or r?
r
Let s = -42 + 44. Let o = 952408/11 - 86645. Let y = -63 - o. Is s at most y?
False
Suppose 0 = -9*s + 36237 - 8859. Let p = s - 337660/111. Which is smaller: -1 or p?
-1
Let z = -268 + 303. Suppose -6 = 2*j, 2*f = 2*j - z + 3. Is f less than -17?
True
Let l be -2 + 3261/18 - (-3)/(-18). Let x = -201 + l. Is -25 at most x?
True
Suppose 5*h + 4*j = -590, 108 + 10 = -h + 4*j. Let y be (3352/2618 - 1) + h/413. Is y less than or equal to -1?
False
Let a be ((-160)/10)/(-2 + -4 + 1144/187). Which is greater: -99 or a?
-99
Suppose 4*u - 79 = 4*z - 9*z, 2*u = -8. Suppose -5*d + 50 = 5*r, -r = -d + 1 - 11. Let o be 15/1 + -8 + r. Which is smaller: o or z?
o
Let p(y) = -y**2 + 274*y - 1. Let q be p(0). Let k = 5849 + -1292623/221. Which is smaller: k or q?
q
Let f be (-28)/2 + 0/(-1). Let k be 2/(-7) - 424/f. Suppose -g - 63 = -2*v, -341 + 337 = 4*g. Is k equal to v?
False
Suppose -6*p + 15 = -3*p. Let s be (-10806)/1274 + 6*p/15. Let r = 84/13 + s. Are r and -1 non-equal?
True
Let s = 142 + -79. Let x = s - 42. Let u = 22 - 0. Is x > u?
False
Let b = -144 - -132. Let z be 0 + (b/(-4665))/((-14)/(-665)). Let v = z + -7168/63755. Which is bigger: v or 1?
1
Let f be (44/(-8) + 2)/((-2)/(-4)). Let b(t) = -t**3 - 8*t**2 - 9*t - 14. Let m be b(f). Which is smaller: m or -1/95?
-1/95
Suppose 4*l = -g + 578, 3*l + 4*g + 4 = 444. Suppose -l = 7*d + 9*d. Which is greater: -108/13 or d?
-108/13
Let g = 83 + -80. Suppose -4 = g*d + 5, f = -2*d. Which is smaller: f or 0.2?
0.2
Let h = -63 - -69. Suppose h*d = -5*d - 374. Let a be (-4)/(-8)*(2 + d/16). Which is bigger: a or 0?
0
Let m(t) = -t**2 + 10*t - 5. Let p be m(4). Let 