: q or i?
q
Suppose 5*z + i + 0*i = -134, -5*z = 3*i + 132. Let m = z - -23. Let d be 1/(2 - (-364)/(-184)) - m. Is d equal to 49?
False
Let t(m) = 2*m**2 + 6*m - 5. Let o be t(-5). Let b(x) = 3*x**2 + 2*x + 1. Let i be b(2). Suppose o - i = -p. Is -1.2 at most as big as p?
True
Let z(r) = r**3 + 10*r**2 + 9*r + 8. Let l be z(-9). Let j be 140/(-34) + l/20*10. Suppose -4*u = 3*s + 30, 2*s + 6 = -s. Which is smaller: u or j?
u
Let d be -2*3 + -1*(36 + -1761). Which is bigger: d or 1722?
1722
Let v = -5277 - -5250. Which is smaller: v or -223/8?
-223/8
Suppose 0 = 4*k - 4*i + 8*i, -4*k + 3*i + 7 = 0. Let a = -1225339/351 + 3491. Is k bigger than a?
True
Let h(o) = 64*o**2 + o - 2. Let b(l) = -6*l + 1. Let z be b(0). Let k be h(z). Are k and 64 equal?
False
Let s = -0.389 + 0.637. Let q = 0.178 - s. Does -1/24 = q?
False
Let h be 1115/4*(-2)/5. Suppose -386 + 1838 = -16*u - 356. Which is bigger: u or h?
h
Let a = -1.1694 - -0.1694. Which is smaller: 1756/5 or a?
a
Let p = 52.83 - 52. Let u = p - -99.17. Let t = 105 - u. Which is bigger: -2 or t?
t
Let y = -19704.92 - -19706. Are y and 67 equal?
False
Let j(g) = -10*g**3 - 63*g**2 - 15*g - 3. Let q be j(-6). Let w be 60/2*20/(-30). Does q = w?
False
Let k be ((-333)/(-6))/((-2)/(-12)). Let o = k - 3666/11. Let a = 1.5606 - 0.5606. Is o at most a?
True
Suppose 4 = 4*h - 5*g, 3*g = 4*h + 2*g - 20. Suppose -i - 37 = -h. Let d(t) = 261*t - 1076. Let u be d(4). Which is greater: i or u?
i
Let p(x) be the second derivative of -x**4/4 + 2*x**3/3 + 3*x**2/2 - 22*x. Let z be p(2). Let g be z/(-2) + 2/(-4). Do g and -2/3 have the same value?
False
Let r be (102/(-9) + 8)*228/10. Let u be 8 + -8 - 38*2. Is u less than or equal to r?
True
Let r = -16404 + 13254. Which is greater: r or 2/5?
2/5
Suppose 7*y = 6*y. Suppose -5*a - 26 + 6 = y. Let n(k) = 2*k**2 - k - 3. Let i be n(0). Are i and a nonequal?
True
Suppose 487 = 20*p + 167. Let q(f) = -5*f + 1. Let o be q(-3). Are p and o unequal?
False
Let q = -774/1925 - -4/1925. Which is bigger: q or -730/9?
q
Let c be 38/114 - (-8)/3. Suppose -4*j + 1000 = -c*h, h + 350 = j + 18. Which is smaller: -327 or h?
h
Let n = 7/317 + 941/29164. Let v = n + 1237/92. Is 15 less than v?
False
Let q = -7.49 - -1.49. Which is greater: 1206 or q?
1206
Suppose 5*z - 2*j = 61, -4*z + 38 = j + j. Suppose 5*y - z*y = 6. Let c be (-3*5/90)/(y/(-4)). Are -1 and c unequal?
True
Let d = 0.515 - 0.7441. Let z = -0.0291 - d. Is z equal to -1.09?
False
Let p be 0 + 6 + -3*(7 + -2 - 3). Which is bigger: p or 1/12434?
1/12434
Suppose 7149 - 10341 = 24*w. Which is smaller: w or -3/5?
w
Let j(b) = -1272*b - 5075. Let s be j(-4). Is 7.22 smaller than s?
True
Let q be (-6)/(-24) + (-380)/(-16). Suppose -4*m - 5 - 3 = 0, 2*o - q = -2*m. Which is smaller: o or 13?
13
Let x = -217 + 188. Let f be 57/(-2 - -21) - (25 + 1). Which is smaller: f or x?
x
Let m = 918 + -924. Let x be (-50)/m + ((-70)/21 - -4). Which is smaller: x or 121/12?
x
Let t = 232 - 469. Let r = t + 158. Let x = 79.2 + r. Is -0.08 < x?
True
Let r be (-45905)/(-25) - (-344)/430. Which is bigger: 1841 or r?
1841
Suppose 0 = -j + 3 + 7. Suppose j = 4*a - 2*a, 3 = -3*n + 3*a. Suppose 9*x - 13 - 14 = 0. Which is bigger: x or n?
n
Let b be (-93)/7 + 12/42 - 2. Let h be 5/(b/(-6))*-16. Let j be 2/(h/(-4))*(-5 - -2). Is j equal to -2?
False
Suppose -2*z + 319 = -5*n, 11*z + 2*n = 9*z + 312. Suppose 709 - z = -8*j. Is -69 < j?
False
Let n be ((-4)/14 + 90/168)/(33/(-132)). Which is bigger: n or 14/45?
14/45
Let v = 16749.948 + -16808. Let t = 0.052 + v. Let n = t + 55. Which is smaller: 1/3 or n?
n
Let o = -74 - 41. Let b = o - -79. Let d = -1223/34 - b. Do -1 and d have different values?
True
Let a = -1004 + 1004.3. Is a at most as big as -1/303?
False
Suppose 16*n + 2149 = 53*n - 626. Which is smaller: n or 74?
74
Let z(w) = -w**3 - 7*w**2 + w + 4. Let v be z(-6). Let t = -1314 + 3826/3. Is t at least as big as v?
False
Let h = 127027/9 - 14115. Let v = 0 + 1. Is v less than or equal to h?
False
Let j = 15259 - 15258.8. Is 7541/5 < j?
False
Suppose 6*c - 43*c = -15*c + 22. Let w be 2/9 + (-6)/27. Suppose -20 = -w*k + 4*k. Do c and k have different values?
True
Let f = 88 + -417. Let c = f - -345. Is -1/3 <= c?
True
Let i be ((-2)/(-17))/(-2)*-1. Let r = 1757 + -1753. Let j be (-5)/1 + (27 - 18 - r). Is i equal to j?
False
Suppose 25*f = 30*f - 50. Suppose -18*q - f = 8. Is 5/52 at least q?
True
Let c(b) = b**2 + 4*b - 1047. Let n be c(29). Let u be (-2)/(-6) + (-1939)/21. Let p = u + 1. Is p <= n?
True
Let g = -0.104 + -202.896. Let z = -73 + 74. Which is smaller: g or z?
g
Let w = -10198/61707 - -11/67. Let y = w - -9227/15657. Let q be 0*3/(1 - -2). Is y > q?
True
Suppose 0 = 5*j + 3*x - 1 + 8, -9 = 5*j + x. Let z be (-20)/(0 - j/11). Let g = z - -4512/41. Which is smaller: 0 or g?
0
Let r be ((-630)/36 - -18)/((-3)/(-46)) + 6. Are 73 and r equal?
False
Let a(t) = t. Let l be a(-8). Suppose 0 = 4*j + 17 - 1. Let i = l - j. Which is bigger: -9/2 or i?
i
Suppose -2*l - 49 = 7. Let w = l - -38. Suppose 0 + 10 = c. Is w not equal to c?
False
Let b be 3/((-126)/(-8))*(-108)/1344. Let t = -1601/2156 - b. Which is bigger: -2 or t?
t
Suppose 5*m = u + 4*m - 5, 3*u + m - 3 = 0. Let b be (212/273)/4 + u/(-14). Is b smaller than 1/2?
True
Let a be (-2 - -4) + -2 + 2/1. Suppose 0 = -4*w + 3*b, -a = -b + 2. Suppose w*f = 2*f + 37. Which is greater: 35 or f?
f
Let p = 0.3355 + -0.2455. Is p equal to -105?
False
Let v = 320 - 319.688. Let d = v + -0.312. Are -90 and d unequal?
True
Suppose -6*f + 0*f = -48. Suppose 4*h = 2*q + 26, -3*h - 5*q = f + 5. Suppose -3*l + 3*c = 15, 2*c + 5 = h*l + 15. Which is greater: l or -33?
l
Suppose 3*q = 2*q - v + 4, 4 = 2*v. Let c be (8/(-6))/(q/(-3)). Is 20/9 greater than c?
True
Suppose -1 = -4*j + 7, -2*g + 2*j = 6. Let l = -2105 - -94727/45. Is l less than or equal to g?
False
Let g be 19165/(-25) + (-9)/(-15). Let b = -794 - g. Which is bigger: b or -27?
-27
Let q = -0.374 + 0.085. Let m = q + 1.169. Which is greater: m or -1?
m
Suppose -608 = -9*q + 1174. Let n = q - 199. Does -1/185 = n?
False
Suppose 3*s = 4*s - 2. Suppose 3*b + s - 14 = 0. Suppose -k = -2*t + 6, b*t = -t + 5*k + 25. Which is bigger: -2/13 or t?
t
Suppose 5*d = -6*d + 66. Let s be (2/(-5))/(d - 35/7). Does -0.14 = s?
False
Let i = -2135 + 2370. Which is bigger: 236 or i?
236
Let b = -51/2 + 28. Let p = 8.6 - 0.6. Which is smaller: b or p?
b
Suppose -45*x = 4 - 5 + 1. Is 1/243 greater than x?
True
Suppose -a - a - 4*h + 590 = 0, 918 = 3*a - 5*h. Suppose 4*g - 171 = a. Suppose -5*v - 144*l = -136*l - 446, 2*v + 2*l = 200. Is g not equal to v?
False
Let n be ((-14)/56 - 0)*4. Is 12/137 not equal to n?
True
Suppose -2*w - 2*l = -74, l + 113 = 4*w - 2*l. Let h(m) = 19*m + 89. Let o be h(-3). Suppose 10*s - o = 9*s. Is s >= w?
True
Suppose -4*f + 26 = -2*m, 15*f = 5*m + 17*f - 7. Do m and -3/545 have different values?
True
Let t be (-1)/1 + (-15)/5 - 21. Let y = 30 + t. Suppose -y*z = o + 1, 0 = -2*o - 3*o + 3*z + 135. Which is greater: 1/3 or o?
o
Let g be (28 - 29)*0*2/(-4). Suppose 5*y = -0*m + 3*m + 108, g = 2*y + 2*m - 40. Suppose 2*s - 3*a - 50 = 0, -4*s + 27 = -4*a - 69. Is s less than y?
False
Let z = -24 + 64. Let v be (176/22)/(4/21). Is z at most as big as v?
True
Suppose 3*t - 295 = -259. Let m be 40/t*51/(-34). Which is smaller: 0 or m?
m
Let b = 26128 - 1123520/43. Suppose 0 = 5*j + 10, 6*a = 5*a - 5*j - 11. Which is greater: a or b?
b
Let i be (-3)/(9*-14)*(-32)/(-8). Is 9 > i?
True
Let c = -5235 - -5233. Is 61 not equal to c?
True
Suppose 0 = 3*x - 2*f + 3, 6*x - 14 = 10*x - f. Let c(b) be the second derivative of -b**3/3 - 9*b**2/2 - b. Let h be c(x). Which is smaller: h or 0?
0
Let x be ((-32)/(-10) - 2)/((-88)/(-35420)). Suppose 0 = 5*g + p - x - 490, 3*p = 4*g - 767. Which is bigger: 197 or g?
197
Let o(j) = -j**2 + 5*j - 2. Let s be o(3). Let b(l) = l - 4. Let y be b(s). Let t = 1/408 - -1219/2040. Are y and t equal?
False
Let x = 80/63 + -10/63. Suppose -4*n - k = k - 156, -k = 2. Let l be (-4)/14 - n/(-42). Is l at most as big as x?
True
Suppose -7*q + 10*q = 3. Let k be (-8)/4*(1 + q). Let u be 4 + (-12 - k) + -12 - -4. Is u > -3?
False
Let g be (16/12)/(24/54). Suppose g*a - 4 + 124 = 0. Are -41 and a non-equal?
True