: -1431 or q?
q
Suppose -4*i - 4*l = -i - 106, 67 = i - 5*l. Suppose 3*a + 0*f - 134 = -5*f, -4*f = -4. Let k = a - i. Which is smaller: k or -2?
-2
Let s be (-1 - (13 - 1)) + -4. Let y = 4 - -1. Suppose y*r + 0*r + 75 = 0. Is s at most as big as r?
True
Let w(j) = 8*j**2 - 4*j - 2. Let f be w(1). Let h be f/11 - 80/(-44) - 2. Which is greater: h or -81?
h
Let w = 30 + -10. Let y be 3 + (-35)/w + 2/(-8). Which is greater: 3/22 or y?
y
Suppose -11*f + 4*u + 20 = -15*f, 3*f = 2*u - 15. Let m(h) = h**3 + 5*h**2 + 2*h + 10. Let i be m(f). Which is bigger: 3/404 or i?
3/404
Let x(k) = 2*k**2 - 64*k + 350. Let l be x(7). Which is bigger: -26 or l?
l
Suppose -27229 = 220*w + 12151. Is -1.5 greater than w?
True
Let z = -73 - -122. Let m = 122 - z. Let y = -56 + 130. Do m and y have the same value?
False
Let l be 3*-1 + 21 + 244. Let z = l - 440. Are z and 1 non-equal?
True
Suppose 5*j + 2213 = v - 3*v, -3*j - 1332 = -3*v. Let g = -443 - j. Is g > -19?
True
Let w be (-194 - 1)/(5 + -9 + 5). Does -188 = w?
False
Suppose 5*x - 1601*j + 1600*j = -1289, 4*j = -3*x - 801. Which is bigger: -170 or x?
-170
Let o be (-16275)/140*(-10)/2313. Let f = o - 2/771. Is f less than 123?
True
Let p(j) = j**2 + 7*j + 6. Let l be p(-4). Let m be (-562)/84*(-104)/l. Let n = m + 116. Is n != 1?
True
Let l be -19 - (-12 + 8) - -1029. Is 1013 bigger than l?
False
Suppose -10*h + 6*h + 12 = 0. Suppose -3*w = -5*l - 260, -3*l - 64 = h*w + 68. Let b be l/(-16) + -1 + 0 + -2. Is 1 bigger than b?
True
Let d = 540 - 536. Suppose -20*l + 15*l + 8 = 4*r, 0 = -3*l - 2*r + d. Let z = 14 - 10. Which is smaller: l or z?
l
Let j(h) = -399*h + 1996. Let d be j(5). Let g = 0.08 + -0.056. Let z = 38.976 + g. Which is bigger: d or z?
z
Let a(g) = -g**3 + g**2 - 8*g - 208. Let j(x) = -11*x - 121. Let p be j(-11). Let o be a(p). Do o and -209 have the same value?
False
Suppose -69 = -2*s + 69. Let j be (6/s)/(6/(-8 + 5)). Let z = -79/299 + j. Is -1 bigger than z?
False
Let y be (16/(-438))/((-242)/(-3630)). Which is bigger: y or -2/5?
-2/5
Let b(o) = 4*o - 5. Let r be b(2). Let f = 7 - -7. Let y = 15 - f. Which is greater: r or y?
r
Suppose -10*c = -1241 - 1719. Let g = c - 328. Is g equal to -95/3?
False
Let f = 16877 + -16866. Is f < 19?
True
Let f = 0.061 + 0.095. Let h = f + 71.844. Let y = h - 40. Which is smaller: -2 or y?
-2
Let l = 252 - 374. Let q be (-14)/21 + l/(-3). Is q at most as big as 41?
True
Let f = -7728 - -9220. Is 1491 less than f?
True
Let t = -22 - -21.9. Let m be 26892/(-234) + (-3 - 76/(-26)). Are m and t non-equal?
True
Let z(q) = 65*q + 201. Let p be z(-3). Are 151/23 and p unequal?
True
Let l be ((-4)/((-96)/(-44)) - 2/(-4))*48. Which is greater: -78 or l?
l
Let x = -211 + 520. Let o = x + -309.3. Let m = 1 - -14. Is m equal to o?
False
Let v(k) = k**3 - 2*k + 2. Let d(l) = 2*l**2 - 25*l + 18. Let u be d(12). Suppose -c - 5 = -u*c. Let o be v(c). Is o less than -2/69?
False
Suppose -2*o = o - 6. Let v = -1336 + 4111/3. Let t = 113/3 - v. Which is greater: t or o?
t
Let g = -50 - 536. Let s = -35745/61 - g. Is 0 < s?
True
Let k be 0 - (-2)/(-5) - (-197129)/2015. Let v be (0 - -491)*(-1)/5. Let t = k + v. Is -2 at most as big as t?
True
Let i be 2 + -3 + 10/((-770)/(-276633)). Let j = -3596 + i. Which is greater: j or -3?
-3
Suppose 14*l + 147 = 17*l. Suppose y - 4*j - 1 = 0, 0 = -3*y - 3*j - l - 8. Which is smaller: -11 or y?
y
Let b(o) = 6*o**2 - 4*o. Let z be b(3). Suppose -6 = 4*n + z. Is n at least as big as -90/7?
True
Let z be (-7735)/(-92532) + (-110)/1320. Is z not equal to 1?
True
Let n = -7947.97 - -7995. Let y = -1.03 + n. Let l = y - 48. Are l and 5/2 equal?
False
Let k = 1870.5 - 2023.5. Do k and -0.48 have different values?
True
Suppose -3 = 3*s - 2*s. Let c(v) = 2*v**2 + 9*v - 11. Suppose l - 4*b = -0*l - 9, 5*l - 4*b + 29 = 0. Let q be c(l). Which is smaller: q or s?
q
Suppose -3*g - 15 = 0, -2*d + 22*g = 23*g + 99. Let r = 0 + 2. Suppose 4*h + 192 = -z, 2*h - r*z = -4*z - 96. Which is smaller: h or d?
h
Let z(b) = -b + 4. Let h be z(2). Suppose -h*q = -4 + 2. Suppose 5*d + 9 = -q. Is -2 equal to d?
True
Let u(r) = r**3 + r**2 - 2*r - 3. Let z be u(2). Suppose 20 = -z*p, -4*y + 5*y + 3*p = 10. Which is smaller: 19 or y?
19
Suppose -32*m = -56*m + 47904. Which is greater: m or 1997?
1997
Let z = -0.012 + -0.478. Let s = z - 0.31. Let m = s - -0.94. Which is greater: m or -2/9?
m
Suppose 4*r + 8 = 4*z + r, -2*z = 5*r + 22. Let l be (4/4 + 2)*20/(-3). Let k = 16 + l. Is k greater than z?
False
Let b(x) = 5*x + 21. Let r be b(15). Let l = r - 95. Let d be l + (1/3)/(16/(-39)). Is -1 != d?
True
Let i = 1 + -1. Let q = -2401/12120 + -23/12120. Is q > i?
False
Let k = -156.684 + -0.316. Let i = k + 146. Let t = 11.4 - 11. Is t greater than i?
True
Let j = 329/3 + -3617/33. Let h(g) = -g**2 - 28*g + 94. Let k = -77 - -46. Let q be h(k). Which is smaller: q or j?
j
Suppose 10*j - 5*j - 18 = -t, -4*j - 3*t = -21. Suppose 3*z - 3*o + 19 + 23 = 0, -z = j*o + 30. Let m(l) = -l**2 - 20*l - 31. Let d be m(z). Is d at most 6?
True
Let g be -12*12/(-126)*-7. Let j(h) = -h**3 - 7*h**2 + 7*h - 5. Let y be j(g). Let i = -11 - -15. Which is smaller: i or y?
y
Let j = -1/299 - -231/299. Suppose -598 + 595 = -3*a. Is j less than a?
True
Let f = 2104 - 2131. Suppose -9*c = 6*c + 495. Is c at least as big as f?
False
Let l = -4.298 - -4.08. Let s = l - -0.448. Which is greater: s or 0.01?
s
Let y(u) = 2*u**3 + 3*u**2 - 4*u + 2. Let a be y(1). Suppose t = a*g - 5 + 10, 5 = 2*t - g. Is -3/2 at least as big as t?
False
Let h be 200279/1494 - 3/54. Which is smaller: h or 124?
124
Let k = 20414567/555 + -36783. Is -44 greater than or equal to k?
False
Suppose 691 = 3*i - 2*m, -6*m + 8*m = 2*i - 460. Let v = -242 + i. Let d(x) = x**3 - 6*x**2 + 4*x + 4. Let c be d(4). Which is smaller: v or c?
c
Let y be 10/6*2/5. Let q = -226 - 53. Let n = q - -279.29. Which is greater: y or n?
y
Suppose -3*c + 18 = -5*u, 3*u + 4*c - 24 = -3*u. Does 1/524 = u?
False
Let l = 211863/4 + -2701041363/50996. Which is bigger: l or 0?
l
Let w be ((-16)/4 + 4)/2. Suppose w*o = 5*y + 2*o - 50, -o + 29 = 3*y. Suppose 1 + 15 = -y*g. Are g and -15/13 nonequal?
True
Let z be 3584/148 + (129 - 129). Which is smaller: z or 23?
23
Suppose 43*o - 18 = 46*o - 5*m, 0 = 4*o - 3*m + 13. Do 8/1233 and o have the same value?
False
Let t = -11655 + 11654. Is -2/6929 <= t?
False
Suppose x + 5*q + 130 = 0, q = 2 - 5. Let n = -132 - x. Which is smaller: -69/4 or n?
-69/4
Suppose -24 = -4*d - 4. Let a(w) be the third derivative of -w**4/24 - 7*w**3/6 - 17*w**2. Let f be a(-11). Which is greater: d or f?
d
Let c = -26 + 51/2. Let n(x) = -57*x - 4. Let q be n(1). Let l be (58 + q)/((-3)/2). Does c = l?
False
Let h(t) = -t**2 + 19*t - 57. Let w(c) = c**2 - 19*c + 58. Let y(l) = -5*h(l) - 4*w(l). Let p be y(14). Are -11 and p equal?
False
Let c = 1288 + -1332.08. Let u = c - -44. Let o = 0.008 + 0.092. Is o smaller than u?
False
Suppose 5*t - 16*w + 15*w + 5 = 0, -4*t + 7 = -3*w. Let d be t/9 + (-421)/(-72). Let c = 9 + -2. Which is greater: d or c?
c
Let s(p) = p**2 + 5*p + 5. Let v be s(-4). Let b = 181 + -176. Let x be ((-44)/6545)/((-2)/b). Is v smaller than x?
False
Let w = -24622/1881 + 62/171. Let r = -83 + 70. Which is smaller: r or w?
r
Let z = -1438 + 1233. Which is greater: z or -206?
z
Let c = 0.27184 - -579.85916. Let a = 580 - c. Which is greater: 2/13 or a?
2/13
Suppose -9*w + 46 = -8*w. Suppose -36*y = -w*y + 10. Is y >= 3?
False
Suppose -2*i - 5*c - 42 + 29 = 0, -c - 3 = 0. Let j = 763/8 + -205255/2152. Which is greater: i or j?
i
Let n be 22/(-275) - 7281/(-75). Let g = -98 + n. Let d = -2/641 + -4469/5769. Which is smaller: d or g?
g
Let x = 164 + -163. Let a be (2/(-4)*12/6)/x. Let w be 2082/(-519) - (-1 + -3). Which is smaller: a or w?
a
Let v(o) = 9*o - 26. Suppose -2*z = -0*z, z + 15 = 5*u. Let d be v(u). Suppose -3*m + 0*m = 3*w + 3, -4*m = w + d. Is 2 not equal to w?
True
Let p = -427898 - -428222. Let l = 0.2 + -1.2. Which is greater: p or l?
p
Let m = -16 + 28. Suppose 0 = -4*a + 12, -5*b + 45*a - 166 = 48*a. Let x be 14/m - (1 + b/42). Which is greater: 1/55 or x?
x
Let d(v) = 24*v + 62. Let m be d(12). Let i = m + -380. Which is greater: -26 or i?
-26
Let y = 47 + -45. Suppose l + b + 3 = 3*l, 0