Let y = -1385 - -1383. Let g(q) = -q - 9. Let n be g(-12). Suppose -2 = 5*a + n. Which is smaller: a or y?
y
Let o(t) = -t**2 - 4*t - 10. Let w be o(5). Let u = w - -60. Suppose 5 + u = -10*y. Which is greater: y or 1/28?
1/28
Let i(c) = c**3 - c**2 - 17*c - 38. Let v be i(-7). Let p = 312 + v. Which is smaller: p or -20/41?
-20/41
Suppose 22*m - 21*m = 24. Let l(k) = k**2 - 22*k - 49. Let y be l(m). Let j be -1 - (2 - (-36)/(-38))/y. Is -1 < j?
True
Let c = -2.39 + 2.29. Let i be 225/165*(-2)/(-4) + -1. Is c at most as big as i?
False
Let s(r) = r**2 + 4*r + 3. Let z be s(-11). Suppose -3*l = x - 94, -5*x - 4*l = -4*x - 99. Which is smaller: z or x?
x
Let y = 580 - 5154. Which is greater: y or 0.2?
0.2
Let d(p) = -26 + 6*p + 28 + 86 + 33. Let s be d(-23). Is s equal to -17?
True
Let a = -540 - -543. Suppose -5*d + 7 = -4*q, -3*d + 4*q - a*q = 0. Is d >= -12/35?
False
Let i = 1287 - 909. Let y be (24/i)/(18/21). Which is bigger: y or 1?
1
Let y(r) = r**2 + 66*r - 122. Let a be y(-68). Suppose -4*l + 0 + 10 = -3*u, 12 = 4*l - 4*u. Let o be l*-1*(-26)/2. Is o less than a?
True
Let d = 92 - 249.5. Let j = d - -31.5. Let r = j + 125. Are r and 0.1 equal?
False
Let k be (-12)/(-22)*13/((-416)/(-22)). Which is bigger: k or 201/7?
201/7
Suppose c + y = -3, 4*c - 4*y + 18 - 46 = 0. Suppose 2*h + 3*j = c, -2*h + 3*h = 3*j + 1. Do 1/51 and h have the same value?
False
Let y be 11 - (-8 + 34412/1806). Do y and 1 have the same value?
False
Suppose -38*b + 36*b + 4 = 0. Suppose -3*i + 186 = 4*y, b*y + 7*i - 98 = 3*i. Does 1/2 = y?
False
Let z = -5780 + 5783. Is z equal to -1/20?
False
Let a = 121 - 282. Let r = -74 - a. Let g = -87.1 + r. Which is smaller: g or -3/13?
-3/13
Let h = 35 - 37. Let k be (-2)/(h*1/7). Let f be (1/(-7))/(28/(-980)). Is f not equal to k?
True
Let w = 11.37 + -9.14. Which is bigger: w or -5/3?
w
Let f = 4.596 - 3.5. Let k = 0.104 + f. Do 2 and k have different values?
True
Suppose 0*u + 8*u = -440. Let n be ((-99)/(-75))/((-22)/u). Which is smaller: 3 or n?
3
Let s = 37 - 24. Let k = -1222 - -8556/7. Which is bigger: k or s?
s
Let m(y) = y**2 - 4*y - 13. Let z be m(6). Suppose -1 = 2*o + 3*v - 0*v, -2*o = 5*v + 7. Let h be (44/10)/((-3)/(6/o)). Which is smaller: h or z?
h
Let d be 4/(-2) - (-22 - 29). Is d != 36?
True
Let s = 4184 + -4286. Which is smaller: -115 or s?
-115
Suppose 5*p - 3*p = -4*u - 22, -4*u - 4*p - 24 = 0. Let d be 1/u + 603/315. Suppose 2*m = -10, 2*v - 7*v = -m - 10. Which is bigger: v or d?
d
Let h = 597 + -597. Suppose h = 3*s + 7*s + 90. Is s >= -10?
True
Suppose -3*j + 5*i = 65, -12*j - 2*i - 52 = -8*j. Is -15 >= j?
True
Let t be (102/16 - 0/5)*(-1540)/(-105). Is 95 less than or equal to t?
False
Suppose -6*k + 20*k = -47*k - 55022. Do k and -1801/2 have the same value?
False
Let f be (-3)/(-4) - (-199)/(-4). Let u = f - -23. Let c = 0.08923 + -0.18923. Is u greater than c?
False
Let x(b) = -b + 1. Let p(u) = -u + 20. Let q(w) = 2*p(w) + 6*x(w). Let o be q(6). Let i be (-3*25/60)/o. Which is smaller: 2 or i?
i
Let y = 6 + -3. Suppose 3*t - 4*n = n + 357, y*t - 357 = -4*n. Let d be (0 - 4/3)*(-42)/t. Is d <= -1?
False
Let y = -5385 - -5392. Which is smaller: y or -1/127?
-1/127
Let c(z) = 140*z**3 + 2*z**2 + 51*z + 112. Let r be c(-3). Is -3805 >= r?
False
Let f = 8624 - 9251. Is f less than -624?
True
Let u = 1882266/7 + -269686. Does u = -791?
False
Let k = -894 + 1581. Suppose -5*b = -1703 - k. Is 478 != b?
False
Let p = -1233959/1663855 + 1/18695. Which is smaller: -1 or p?
-1
Let v = 452.2 - 79.2. Let r = -372.8 + v. Which is smaller: -64 or r?
-64
Let z = -94598263/139333704 - 1/284936. Let g = -2/163 - z. Is g at most -257?
False
Let w = -22.09 + 25.39. Are w and -4.6 equal?
False
Let s(j) = -2*j**3 - 30*j**2 - 32*j + 167. Let f be s(-13). Is 17 at least as big as f?
True
Suppose 74 = 7*w + 46. Suppose 4*b = 4*m + w, -3*b - 1 = 3*m - 5*b. Is m <= 2/751?
False
Suppose 0 = -4*l, 17 - 5 = 3*q + 2*l. Suppose -q*v + 100 = -4*a - 6*v, 5*v - 140 = 5*a. Let w = a - 45. Which is bigger: w or -70?
-70
Suppose 0 = -4*d + 4*o, -4*d - 9 = -5*d + 4*o. Suppose 7*k + 68 = -4*h + 4*k, 0 = -4*h - 4*k - 64. Let u be 10/h*d/((-3)/(-10)). Is u < 4?
False
Suppose -197*c = 41*c + 57*c + 214170. Is c smaller than -725?
True
Suppose -5*l = -30, 557 = -5*r + 3*l - 836. Which is greater: r or -2474/9?
-2474/9
Let j(f) = -2*f**2 + 12*f - 3. Let m(i) = 4*i**3 - i**2 - 2*i + 2. Let w be m(1). Let y be j(w). Do y and -7/2 have different values?
True
Let s be (-16)/3*(-2)/8. Let v = -0.0075 + -0.1795. Let f = v - 0.013. Which is smaller: f or s?
f
Let w = 11.4 + -11. Let k = -3 - 5. Let s be (-1)/((-15)/(-6))*(-12)/k. Is w bigger than s?
True
Let w(z) = -z**3 + z - 9. Let i be w(0). Let v(m) = -m - 13. Let a(j) = 2*j + 27. Let x(s) = 2*a(s) + 5*v(s). Let r be x(i). Which is bigger: r or 0.06?
0.06
Suppose -3*a - 19 = -1. Let q be a/10 - ((-4672)/20 - 2). Suppose -q + 28 = -9*p. Is p less than 24?
True
Let w = -28395 - -28220. Is w less than -176?
False
Suppose 0 = 6*z + 200 + 10. Let p be (4/6)/(z/105). Is 3.3 at most p?
False
Let h = -5302 + 4255. Which is greater: h or -1044?
-1044
Let o = -4 - -50. Let k = 41.2 - -0.8. Let s = k - o. Which is greater: 0 or s?
0
Let w = 49.61867 + 0.18133. Which is smaller: w or -7?
-7
Let g be (0/(-24))/(4/2). Which is greater: g or 6/7309?
6/7309
Let s = 13245 + -13256. Is -123 at least as big as s?
False
Suppose 12 = -3*i + 5*m + 45, 3*m = 5*i - 23. Which is greater: -7/687 or i?
i
Suppose 1344 - 2580 = 5*i + 1709. Is -589 bigger than i?
False
Let i = -16291 - -16294. Is 11.47 greater than i?
True
Suppose 0 = 10*n + 2993 - 123. Let k = -284 - n. Is 5 greater than k?
True
Let c(t) = -7*t + 30. Let y be c(4). Let z be 11 + 1*(-1 - y). Do z and 14 have the same value?
False
Let j be ((-52)/(-78)*6/(-8))/((-6)/(-996)). Which is smaller: -46 or j?
j
Let a be ((60/(-48))/5)/((-606)/(-888)). Which is bigger: -1 or a?
a
Let m(a) = 24*a**2 + 74*a + 95. Let v be m(-6). Do 513 and v have the same value?
False
Let i = 162990 + -10268738/63. Let d = -37/7 - i. Let y = -2 - -4. Which is smaller: d or y?
d
Let i = -0.2 - -0.6. Suppose 2*n - n - 2 = -9, -3*j + 2*n = 28. Which is smaller: i or j?
j
Let q = -0.194 - -0.058. Let b = q - -3.136. Is b at least 1?
True
Suppose 5*l - 990 - 1316 = 3*r, -4*l + 1834 = 3*r. Is 470 bigger than l?
True
Let h = 34042 + -34042. Which is smaller: h or 24/5321?
h
Let r(n) = -n**3 - 8*n**2 + 8*n - 10. Let v be r(-9). Let u be 1 + (-1 - 3) - (0 - 4). Let w be ((-7)/21*(u + v))/(-2). Which is greater: w or 8/15?
8/15
Let h be (-7)/(-9) + -1 + (-3774)/27. Let j = h + 72. Which is greater: -66 or j?
-66
Let g be -16 + (-22 - 16) + 2*2. Is g > -15?
False
Suppose 10196 + 4777 + 6699 = -84*r. Which is bigger: r or -257?
-257
Let d = 20.47 - 32.27. Which is bigger: 10 or d?
10
Suppose -f + 22 = 3. Let k be 1 - 1*38 - 0/(-48). Let m = k + 36. Which is smaller: f or m?
m
Let h = 12 + -24. Let i = 729 - 363. Let j = i + -376. Are h and j equal?
False
Let c = 16.2 - 19.56. Let n = 0.34 - c. Let l = n + -4.7. Is 1 greater than or equal to l?
True
Suppose -215792 = -186*d + 770938. Is d > 5306?
False
Let b = 11459134/15 - 763579. Let o = 363 - b. Is o <= -1?
False
Let s = 14.4 + 290.6. Let i = -374 + s. Which is smaller: -1 or i?
i
Let f(p) = 11*p**2 + 1. Let x be f(1). Suppose -9 = -3*s - 4*k, -50*s + 10 = -48*s + 2*k. Which is bigger: s or x?
x
Let k(a) = -5*a - 55. Let r be 1380/(-135) - (-2)/9. Let o be k(r). Which is smaller: o or -12?
-12
Suppose -4*i = -i + 32 + 16. Is -438/29 greater than i?
True
Suppose -2*c - 5*q - 40 = -q, 0 = 5*c - 5*q + 40. Let z be (-3)/c*-18*8/(-102). Suppose g = -4*h + 3 - 15, -3*g - h = 3. Which is smaller: g or z?
g
Suppose 0 = 110*q - 5441 - 2039. Which is smaller: 81 or q?
q
Let b be 4/18 + 52/9. Suppose -4*k = -5*l - 49, -2*l = -2*k - b*l + 18. Which is smaller: 18 or k?
k
Let k be ((-801)/(-178))/(3/939). Which is smaller: k or 1409?
k
Let x = 3848 + -50025/13. Which is bigger: x or 26?
26
Let b = 3/12377 + 18738757/86639. Is b not equal to 215?
True
Let g = 78 + -74. Suppose -4*n = -3*m - 15, g + 8 = 3*n - 3*m. Suppose -c - 3*w = -5*c + 9, -9 = -c + n*w. Is 2/83 < c?
False
Let p be (-4)/14 - (-18)/14. Let r be 15 - 3 - (p - 4). Suppose 2*s - 150 =