 t or p?
p
Let a be ((-116)/348)/(3*(-1)/(-3258)). Which is smaller: a or -367?
-367
Let z = 1 - 1. Suppose -2*d - 11 + 5 = z, 3*q = 2*d - 9. Let c(p) = -7*p - 1. Let u be c(1). Is q less than u?
False
Let y = -27 + 12. Let x = 0.02804 + 14.93196. Let q = y + x. Is 2 less than q?
False
Suppose 1185 = -41*o + 1144. Is o at most as big as -14/953?
True
Suppose -h + 4*f - 25 = -30, 80 = -4*h - 4*f. Is -0.077 smaller than h?
False
Let c = -6830047.039 + 6826987. Let j = 3062 + c. Let o = j - -0.039. Is -6/7 bigger than o?
False
Let g be (-22)/4*-2 - (-3 - -5). Suppose -4*u + 7 = -g. Let l be -3 - (-5 + u/(4/3)). Is 2/95 greater than or equal to l?
True
Let f = -2299991/400 - -5750. Let s = f - 1/16. Is s smaller than 3?
True
Let a = -2976566/57 - -52218. Let t = a - -28591/11571. Do t and 0 have the same value?
False
Suppose -169*u = 25*u + 1650358. Is u at least as big as -8505?
False
Let n = -4773 - -4772. Is 9/203 at most n?
False
Let c(l) = 3*l**3 + 32*l**2 + 26*l + 34. Let s be c(-10). Is s greater than or equal to -2?
False
Suppose -w + 5*o + 51 = 0, -o - 26 + 15 = -w. Let i(y) = -y**3 - y**2 - y + 314. Let l be i(0). Which is greater: l or w?
l
Suppose -7*w + 64 = -3*w. Suppose 9*h - 4*h = -3*m + 12, 2*h + w = 4*m. Let i(b) = 967*b - 15472. Let l be i(16). Is l != h?
False
Suppose -2*f + 6 = -2*u, -9 = -f + 15*u - 11*u. Is f greater than or equal to -565?
True
Let n = 8 - 1. Let d = -36 - -40. Suppose -7 = -5*k + d*k. Is n <= k?
True
Let o be 0 + (4/(-18) - 492/(-270)). Suppose -29 = 6*t - 41. Which is greater: t or o?
t
Let u be 171/9 - 7154/365. Let t = -12 - -6. Let s be 58/(-4) + t/12. Which is smaller: s or u?
s
Suppose 0 = 4*r - 12 - 36. Let s = -24 + -13. Let p = s + r. Is -24 at most as big as p?
False
Suppose 160 = 4*y + y. Let b = y - 12. Let a = b + -19. Is 2/167 smaller than a?
True
Let x = -931 + 1552. Let m be x/(-243) - (0 + -1). Suppose -4*w + 4 = 8. Which is greater: w or m?
w
Suppose 0 = 3*b - 55 + 49. Suppose b*w + 10 = 0, -20 = -q - 0*w + 4*w. Does -3/260 = q?
False
Let a be (-5)/(-2)*88/10. Suppose 29*j - 7 = a*j. Is 11 equal to j?
False
Let f = 108492610 + -15297570667/141. Let h = f + 799. Suppose -5*k = -0 + 5. Does k = h?
False
Let f = 74 - 214. Let o be 38/2 + f/35. Which is bigger: -1 or o?
o
Let r be (-1 - -13)/(675/270). Suppose -7*t + 12*t = -5, t = c - 7. Which is bigger: r or c?
c
Let w(n) = -n**3 + 9*n**2 - 16*n + 19. Let t be w(7). Suppose t*z - 75 = -2*j + 7*j, 5*z - 2*j = 90. Do 18 and z have the same value?
False
Let t(p) = -p - 1. Let i(n) be the third derivative of -n**4/12 + 8*n**3 - 28*n**2. Let q(w) = -i(w) + 3*t(w). Let j be q(-24). Is j less than or equal to -26?
True
Let r be 2315/(-10)*2 + 2 + -6. Let p = 1869/4 + r. Is p < -2/105?
False
Let w = 305.49 + -307. Let u = 0.49 - w. Is -0.49 not equal to u?
True
Let m = -0.2 - -0.2. Let c = -3828 + 3837. Let i = m + c. Which is greater: -3 or i?
i
Let q = -844 + 320. Let g = q - -295. Which is smaller: 1 or g?
g
Suppose d = 1 - 3. Let g = -3 - d. Let m(n) = 1180*n - 75505. Let s be m(64). Does g = s?
False
Let n be (-48)/80 - (-116)/10. Suppose -31*o = -n*o - 80. Which is bigger: o or 1?
o
Let f = -891994/2009 + 444. Is f at most 1?
True
Let v be 5/(-3)*(-10)/((-10)/(-3)). Let g(b) = -3*b + 10. Let m be g(-7). Suppose -5*y = -2*o - 2*o + m, o = -3*y - v. Is 4 greater than o?
False
Suppose 15*p = 11*p - 19*p + 46. Is 17/26 not equal to p?
True
Let y(g) = g**3 - 21*g**2 + 13*g + 64. Let n = -264 - -284. Let i be y(n). Which is smaller: i or -153/2?
-153/2
Let z be 92/(-40) - -2 - 41114/420. Is -97 equal to z?
False
Let h(i) be the third derivative of -i**4/8 + i**3/3 + 7*i**2. Let j be h(-2). Suppose g + 2 = 3*w, 4*g - 2*g + 2*w = 20. Which is smaller: j or g?
g
Let z = -1.4 + 1.1. Let u be ((-8)/(-182))/(636/1378). Is z greater than u?
False
Let a = -4816.3 - -4816. Are -47/2 and a equal?
False
Let l be (-13788)/3 - (-4)/1 - -1. Let c = 145 + l. Let r = -786944/177 - c. Do 0 and r have different values?
True
Let g(m) = -14*m**2 - m + 99*m**2 - 64*m**2 - 2. Suppose -2*x + 4*x - 13 = 5*t, -5*x + 25 = -5*t. Let l be g(t). Which is greater: l or -2?
l
Suppose 83*u = 75*u + 16. Let r(q) = 19*q**3 - q**2 + q - 2. Let d be r(u). Is 148 smaller than d?
False
Let s(u) = u**2 - u - 1. Let f be s(-2). Suppose 0 = 4*i - 2*w - 22, -w = -f*i - 2*w + 24. Suppose -4*b - 20 = 0, i*b + 8 = 2*h + 3*b. Is h less than 3/11?
True
Let y = 2799 + -19627/7. Suppose -x - 31 = 5*z, -3*z - 12 = 28*x - 34*x. Which is smaller: z or y?
z
Let i = -0.03 + -4.97. Let l = -154/659 + 5734/1977. Which is bigger: l or i?
l
Let u be 1 + -1 + 11 + 31 + -34. Suppose u*z = 334 - 222. Let q be 3/12 + 63/4. Is z > q?
False
Suppose 0*p = -15*p + 60. Let r(o) = -5*o + 9. Let x be r(p). Is -126/13 at most as big as x?
False
Let b be 3/(2*(-15)/20). Let f be (-15)/(-6) - (b - (-10)/4). Suppose 0 = 2*c + 3*y + 33, f*c + 4*y + 29 + 9 = 0. Which is bigger: -8 or c?
-8
Let v = -11721 + 11717. Which is smaller: -913 or v?
-913
Suppose 3 = -2*z - 3*o, z + 5*o - 16 + 21 = 0. Suppose -l + 3*x = -262, z = -27*x + 30*x + 3. Are l and 257 equal?
False
Let x be 6520/806 + 42/(-273). Let t = x + -5450/93. Is -52 less than or equal to t?
True
Let t(v) = 7*v - 15. Let x be t(5). Suppose x - 2 = 2*i. Let r = 64 + -63. Which is smaller: i or r?
r
Suppose 27*k = -20*k - 2*k + 147. Which is greater: k or 7/92?
k
Let j = -5 - -6. Let u = 39825/7 + -3265713/574. Which is bigger: u or j?
j
Let n be 76 - (-13 - (-37 + 14)). Which is smaller: 68 or n?
n
Suppose 0 = -5*n - 20*n - 166865 + 11940. Is -6197 >= n?
True
Let m = 520/21 - 15062/609. Let b = m + 12723/2233. Is 5 less than or equal to b?
True
Suppose 8*u + 216 = 9*u. Suppose 128 + u = -8*w. Which is smaller: -42 or w?
w
Suppose 6*o = -40*o - 11*o + 228. Let t = 174 + -1049/6. Which is bigger: t or o?
o
Let s = -6/11741 - -47138/340489. Suppose -g = -3*g - 2. Which is smaller: g or s?
g
Let m = 3/19 - 73/342. Let w be -3 + (20 - 3) + 1. Suppose w*x - 3 = 12*x. Is x >= m?
True
Suppose 8*x = x. Suppose x = 22*n - 34*n + 240. Which is bigger: 21 or n?
21
Let s be 27*(-3)/24*5. Let r = 30610509/56 - 546599. Let n = r + s. Which is smaller: n or 0?
0
Let p(h) = -h**2 + 4*h + 75. Let l be p(-6). Suppose 0 = -3*x + 4*f + l, 2*f + 7 + 14 = 3*x. Which is smaller: x or 46/5?
x
Suppose -161*n + 174*n - 142857 = 0. Suppose 56*g - n - 5755 = 0. Which is smaller: g or 298?
298
Let a = 2.9 + -50.9. Let d = 62 + a. Let m = 3.64 - 3.64. Is d < m?
False
Let j = 4040 + -4043. Is 349 less than j?
False
Suppose -b + 57 - 4 = -n, -4*n = 0. Suppose 3*s = -q + 3 + 46, -3*s + 104 = 2*q. Does q = b?
False
Let n be 866/(-8) - 14/(-56). Let x = 109 + n. Let m be ((28/8)/x)/(2/(-4)). Which is smaller: m or -8?
-8
Let m = 210 + -123. Let z = -35 + m. Suppose z + 68 = -3*p. Are -40 and p nonequal?
False
Let q be 120/(-59) + (3 - 1). Let i be (-1950)/14 + 4/28*2. Let c = -140 - i. Which is greater: c or q?
q
Let u = 1909 + -1885. Let d = -0.09 + -24.91. Let n = u + d. Which is smaller: n or -7?
-7
Suppose -781 = 5*n - 3*c, 27*n + 4*c - 304 = 29*n. Which is bigger: -7/5 or n?
-7/5
Suppose -6*w = -32*w. Suppose w = -19*n - 6*n - 2500. Let k be 0*((-5)/2 - -2). Which is smaller: k or n?
n
Suppose 0*m + 3*m - 2*a + 5204 = 0, -10*a = m + 1692. Which is smaller: 1 or m?
m
Let j be (3/(-6))/(3/162) - -9. Is j >= -220/13?
False
Let b = -0.063 + -1.737. Let v = -101.8 + 93. Let i = v - b. Is -1 smaller than i?
False
Suppose 0*b + 36 = 5*g - 4*b, 0 = -4*g - 3*b + 4. Let n be (4 - (2 + 20/(-3))) + g. Let z be 12/5*(0 + 5). Which is bigger: n or z?
n
Let b = 728 + -727.808. Let w = -0.192 + b. Is w bigger than 2/85?
False
Suppose 2*x - 5 - 13 = 0. Let s = -552 + 561. Let m = s - x. Which is greater: 3/31 or m?
3/31
Let q be -10 - (14 - (9 + 25 + -11)). Let z(u) = -1 - 3 + 0 + 2*u. Let j be z(-3). Which is bigger: j or q?
q
Let k be (-120)/50*(-37200)/(-315). Which is bigger: -284 or k?
k
Let s = -2.41 + 0.01. Let z = s - -1.9. Is z less than or equal to -1?
False
Suppose -5*a + 3 = -2*a. Suppose 0 = 3*h + 5*n - 9, 3*n - a + 10 = 3*h. Suppose 0 = h*w + 8 + 13. Which is greater: -9 or w?
w
Suppose -69*l = -66*l - 24. Suppose l*m - 48 = 24*m. Which is bigger: m or 5?
5
Let w be (-6)/3 - (14024/(-2804) + 3).