*z = -39. Do q and v have the same value?
False
Suppose -63*f - 1236961 = 151*f - 410279. Which is smaller: -3865 or f?
-3865
Suppose -24*m = m - 1275. Is m != 92?
True
Suppose -13*w = 16*w - 145. Suppose b + 0*b = w*h + 24, -4*b + 5*h = -21. Let c be (-5)/(-16)*(1 - 2). Which is greater: c or b?
c
Let b be 26/2 + (-6 - (1 + -7)). Suppose 17*j - b*j = 56. Which is bigger: j or 11?
j
Let r be (2 - (-13)/(-7)) + (37664/(-77) - -28). Is -469 at least as big as r?
False
Let t(z) = 2*z**2 + 33*z - 32. Suppose 11*k + 526 = 537. Let y be t(k). Which is smaller: 58 or y?
y
Let c be 4/1*(-1)/(-4). Let y = 2628.1 + -2628.51. Which is bigger: c or y?
c
Suppose 4*a - 23 = -8*i - 7, 3*a - 5*i - 34 = 0. Let m(n) = -n**3 + 9*n**2 - 12*n + 23. Let z be m(a). Is z at least -2?
False
Suppose 0 = 4*t + 16. Let z = t - -1. Let d be (195/468*207/(-15) - -5)/((-4)/(-32)). Are z and d unequal?
True
Let j be (-1041)/(-2961) + (2/4)/(48/(-32)). Is j at least -1?
True
Suppose 2*m = -j + 5, 3*m - 5 = 435*j - 434*j. Which is bigger: 30/43 or m?
m
Let b be (716478/441)/((1/9)/(2/12)). Is b >= 2436?
True
Suppose -40 = -10*a + 6*a. Suppose 8*m - a*m = -50. Let n(c) = 2*c**2 + 13*c + 31. Let q be n(-6). Does m = q?
True
Let s(z) = z**3 - z**2 - 2*z + 1. Let w be s(2). Let u(a) = -6*a + 3. Let r be u(w). Let l be ((-20)/(-975)*r)/((-2)/(-5)). Which is greater: l or -1?
l
Let o(n) = 106*n + 6. Let b(x) = -x + 2. Let v(r) = -2*b(r) - o(r). Let m be v(-2). Is m bigger than 198?
False
Let u = 52.9656 - -0.0344. Let z = u + -53.2. Which is smaller: z or 31?
z
Let r = -47/203 - -193/261. Let c = r + 545/126. Which is smaller: c or 6?
c
Let m be (-63)/4 + 3 + 2. Let u(i) = i**3 - 35*i**2 - 117*i + 104. Let y be u(38). Is m > y?
False
Let r be 0 - (-2 + 1 + -1). Let g = -0.039 + 0.064. Let l = g + -0.225. Is l equal to r?
False
Let c(l) = l**3 - 5*l**2 - 6*l + 6. Let v be c(6). Let y(u) = u**2 - 37*u + 66. Let t be y(35). Let r be v/(-2)*(-1)/t. Is -1 less than r?
True
Let m be (2/672*-4)/((-18)/(-7)). Let o = m + -17/2160. Is 1 smaller than o?
False
Let s = -334638/11 + 30453. Which is bigger: 31 or s?
s
Let p = 76 + -72. Suppose -p*h + 12 = -2*h. Suppose -5*d + 4*s + 19 + 7 = 0, -4*d - 3*s = -27. Is d greater than h?
False
Suppose -3*a = 2*w + 54, -4*a + 56 = -3*w - 8. Is -25 < w?
True
Let j = 54 + -55. Let f = -86902608/127 - -10488015334906/15327249. Let c = 4/821 - f. Is c at least as big as j?
True
Suppose -4*d = 3*d - 28. Suppose 0 = 2*y - 3*o + 79, -d*y - 155 = 10*o - 15*o. Let m be y/7 - (-26)/9. Is -1 <= m?
False
Suppose 1042 + 38 = 24*v. Do v and 44 have different values?
True
Let v be 3 + -5 + 2 + 1. Let w be 18 + 3 - 32/4. Is v smaller than w?
True
Let a = -85 + 61. Let j = a - -22. Which is smaller: j or -13/4?
-13/4
Let y = 87/1675 - -6441463/43550. Let a(i) = -17*i + 5. Let f be a(9). Let n = y + f. Which is smaller: n or 1?
n
Let y = 52 + -49. Suppose 0 = y*m - 59 + 92. Let g = 32 + m. Which is smaller: 20 or g?
20
Suppose 4*f - 4*h = 2*f + 40, 3*f = -2*h + 36. Suppose 0 = 4*g + 2*n - f, 4*g + 4*n - 24 = 0. Which is greater: -2 or g?
g
Suppose 5*h + 0 - 15 = 5*f, -2*h - 10 = 0. Let b be ((-2)/170)/(f/(-20)). Let t = 24 + -25. Do t and b have the same value?
False
Suppose y + 205 = -3680. Let r be (y/(-552))/(-7) + -1 + 2. Which is smaller: -1 or r?
-1
Let a = -210 - -208.9. Let o = 1.9 - a. Are -1.7 and o non-equal?
True
Suppose 7 - 39 = -j - 5*x, 3*j + 5*x - 46 = 0. Suppose 0 = 4*o - 2*w - 114, -j = -5*w + 8. Suppose 0 = -3*v, 4*g = -g + 2*v - o. Which is greater: -16/3 or g?
-16/3
Let k = 1.3761 + -0.3761. Which is smaller: -525 or k?
-525
Let m = -324 - -318. Let x be ((-9)/(-99))/((-3)/195). Which is greater: x or m?
x
Let m = 122 - 152. Let u be ((1 - -7) + -11)/(m/4). Which is smaller: -6/7 or u?
-6/7
Let r = -798/29 - 2187/145. Is -0.1 bigger than r?
True
Let z(r) = r**2 + 2*r + 1. Let c be z(-3). Suppose -2*m + c*t - 16 = -0*m, -2*m + 4 = t. Which is smaller: m or -2?
-2
Let o = -39 - -127. Let n = o - 66. Suppose -4*g = -3*g + n. Are -22 and g equal?
True
Let x(k) = 312. Let d(f) = f + 156. Let g(c) = -11*d(c) + 6*x(c). Let b be g(33). Is b < -206?
True
Suppose 0 = 12*i + 2*i - 56. Suppose -2*r - 24 = -i*t, 5*r + 67 + 33 = 2*t. Is r less than -17?
True
Let n be -70*((-3)/(-4))/((-5)/4). Let o be (2/n)/(58/(-928)). Which is smaller: o or -1?
-1
Suppose 4*a + 3*p + 331 = 0, a + 0*a - 3*p + 79 = 0. Let b = -74 - a. Suppose 2*l - 2*t = -8, -2*l + 2*t - b = -4*l. Is -7/5 > l?
False
Let i = 59 + -57. Suppose 5*z + f - 3*f = -135, 4*f = -2*z - 54. Let u be z*(4 + (-6)/i). Which is smaller: -28 or u?
-28
Let k be 10/40 + 105/12. Suppose 34*h - 35*h + k = 4*l, -5 = -h. Which is greater: l or -2/177?
l
Suppose p = 3*j - 1703, -2*j + 1150 = -p + 4*p. Suppose -j*b + 574*b = -300. Is -60 >= b?
True
Let s be (1200/6)/((-14)/154). Which is greater: -2199 or s?
-2199
Let p be 1 - (37*1)/1. Suppose a = 5*i + 10, -15*a + 13*a - 52 = -2*i. Are a and p non-equal?
True
Let c = 9.3 - 18. Let b = -9.1 - -0.1. Let y = b - c. Which is smaller: y or 4?
y
Let m = -12325 - -12324. Which is bigger: 2/47211 or m?
2/47211
Let g = -2893 - -2892. Which is smaller: g or 5/1067?
g
Suppose y - 2*v - 2973 = 1537, 9014 = 2*y - v. Is y greater than 13517/3?
True
Let l(b) = b**2 + 6*b. Let s be l(-6). Suppose 7*n + 7 - 28 = s. Let t be -41*n/30 - -4. Which is smaller: t or -0.2?
-0.2
Let v = -5/247 + 977/36062. Which is bigger: v or -2/27?
v
Let v = -17.2 - 67.8. Let j = 131 + v. Are j and -0.1 equal?
False
Let h = -2666.84 - -2667. Do h and 12/59 have the same value?
False
Let q(d) be the first derivative of -d**3/3 - 3*d**2/2 - 2*d - 1. Let l be q(-2). Let h = -57921/35 + 1655. Which is smaller: h or l?
l
Let a be -3*39/(-1938510)*-208. Let z = a + 1/1267. Suppose -6 = -61*m + 67*m. Are m and z nonequal?
True
Let v be (105/120)/(-1 - 3/(-4)). Suppose 0 = 64*r - 7*r + 684. Which is smaller: v or r?
r
Suppose -13 - 67 = 2*x - 2*m, 4*x + 5*m = -205. Suppose -3*z - 124 = 2*n, -2*z = -0*z + n + 82. Let h = z - x. Does h = 6?
False
Let r be (-9)/((-99)/(-20)) + (-3 - -1). Suppose 0 = -0*k + 5*k - 20. Suppose -5*j = -4*l + k, -4*l + j + 24 = -9*l. Is l less than r?
True
Suppose -3*k + 646 = 637. Suppose -k*d - 50 = -5*a + 117, 3*a = d + 49. Which is smaller: d or -63?
d
Let l(p) = -40*p + 1074. Let m be l(13). Is m at most as big as 554?
True
Let q = -327 - -321.87. Let c = q - -0.73. Let w = 4.3 + c. Is -0.16 less than w?
True
Let w = -13 + 26. Suppose -101*o + 50 = -96*o. Which is smaller: o or w?
o
Let k = -12.05 + 12. Let o = k - -0.35. Is 5/2 <= o?
False
Suppose -2*t - 2*p = -6, -4 = t - p - 11. Suppose -4*g + t*j - 239 = -46, -4*g - 143 = 5*j. Which is smaller: -38 or g?
g
Let s = 2346/8309 - -4/1187. Is s bigger than 2742?
False
Suppose -3*l = 15, -333*m - 50373 = -329*m - 3*l. Is -12596 smaller than m?
False
Let b = 118 + -175. Suppose 290 = 5*c + 5*a, -3*c - 12*a + 190 = -13*a. Let l = b + c. Is l > -2/13?
True
Suppose 4*d + j - 2 = 2*d, 5*d - 5 = -3*j. Let h = -1526 - -62600/41. Is h bigger than d?
False
Let w = 626.153159 - 0.083159. Let a = 627 - w. Is 0.2 greater than a?
False
Let y = 2164 - 2154. Do y and 13 have the same value?
False
Suppose 0*m + 5*m = -145. Let g = m + -17. Let y = 388 - 435. Is g equal to y?
False
Let l = -3205 + 3256. Which is greater: -42 or l?
l
Let a(y) = 14*y**3 - y**2 + y - 2*y + 2*y**3. Suppose -185 + 186 = -j. Let o be a(j). Is -16 at most o?
True
Let g be 30/((-30)/5) + 4. Let n be (2*(-23)/(-16))/(g/6). Which is greater: 0 or n?
0
Let r = 6 - 6. Let i = 1768/31339 + -2/847. Which is bigger: i or r?
i
Let l be 3*(-5)/((-315)/(-6)). Let n = 326.05 + -327.4. Which is smaller: l or n?
n
Let x be 8 - (-7)/((-14)/6). Suppose 0 = 4*k - x*k. Let w(v) = -5*v - 2. Let i be w(k). Which is bigger: 0 or i?
0
Let p(s) = -42*s + 39. Let h be p(1). Let b be 21/(-63)*h/(-28). Which is bigger: -1 or b?
b
Suppose -2*o - o = -78. Let t(l) = 4*l**3 + l**2 - l + 1. Let b be t(1). Suppose -b*d - 20 = 0, -4*s + 0*s + 4*d + 124 = 0. Which is smaller: o or s?
o
Let a(q) = -4*q + 4. Let h be a(4). Let s be (-80)/h*(-9)/6. Which is bigger: s or 12?
12
Suppose -191*v - 28 = -198*v. Suppose 4*p - p - 2*t = 8, t + v = 2*p. Is p at most 2/321?
True
Let d be (-4)/14 + 24/84. Suppose d 