t n = -32 - -37. Suppose 2*i + n*m + 12 + 10 = 0, -2*m - 7 = -i. Which is bigger: j or i?
j
Suppose 5*b + 2*w + 107132 = 0, 4*b + 72528 = 5*w - 13171. Does -21426 = b?
True
Let i be (-4)/20*-1 - (-72)/90. Let t = -236 + 7320/31. Which is smaller: t or i?
t
Let t be ((-11)/(-21))/(15/15*(-2)/48). Is -13 at most t?
True
Suppose 13*s = -996 + 4792. Suppose -3*x = -5*t + s, -6*x = -3*t - 2*x + 184. Which is greater: t or 111/2?
t
Let x = -0.2229 + 0.3429. Which is greater: x or -61/5?
x
Let g = 532 - 816. Let z = g + 302.5. Are z and 0.1 nonequal?
True
Let z = -3668461/2631 + -10/877. Is z less than -1394?
True
Let j(g) = g**3 - 8*g**2 + 9*g - 10. Let r be j(7). Let o be (r/8)/((-20)/6). Let q = -103 - -102. Is q greater than or equal to o?
False
Let j = -12302/9 + 56633/36. Let p = j - 207. Let b be (-1 - 2/(-2))*-1. Is b < p?
False
Suppose m + 4*t - 23 = -4*m, 3*t + 9 = 5*m. Let v be 1/(2 - ((-2 - -4) + m)). Is v > 46?
False
Let m be 4/6 + (-98)/(-5)*(-480)/(-1008). Which is smaller: m or 78?
m
Let j(x) = 2*x**2 + 38*x + 140. Let c be j(-14). Which is bigger: 1/834 or c?
1/834
Let y(k) = 1 + 1272*k - 7 - 1281*k - 4. Let f be y(-2). Let l be f/(-6) - 16/24. Which is bigger: -36/11 or l?
l
Let r be (-150)/(-44)*2 + 2/11. Let k be (-7)/(r/(-6)) - (-12 - -10). Suppose k*i + 6 = 14*i. Which is greater: -3/26 or i?
i
Suppose 5*v + c + 930044 = -0*v, -3*c + 372021 = -2*v. Let x = v + 113651366/611. Let n = x + 3/47. Is n != 0.2?
True
Let y = 1214 - 1206. Let r be 9/6 - 21/(-2). Do r and y have different values?
True
Let w be (-13)/((-26)/(-4)) - 2/(-1). Let m = -34 - -42. Suppose -o - m + 8 = w. Which is smaller: o or -19?
-19
Let w be (-481880)/(-165) - 4 - 1*-5. Let m = -2921 + w. Which is greater: 1 or m?
1
Suppose -2*a = -5*p - 9, 0*a - 2*a + 2 = 2*p. Let j = 53638/4932179 + -2/13223. Is p equal to j?
False
Suppose 0 = -11*f + 18*f - 441. Let o be (-108)/f - ((-48)/(-21) - 2). Which is greater: 0.307 or o?
0.307
Let g be ((-1)/(-39))/(1/36*(-4380)/(-40)). Are g and -1 unequal?
True
Let g(l) = 3*l - 10. Let h be g(10). Suppose -25 - h = 5*n. Suppose 5*z - 5*q + 1 + 49 = 0, 2*z + q + 5 = 0. Is n != z?
True
Let x be (-8)/8898*(255/180 - (-1)/12). Are x and -1 nonequal?
True
Let u = -4396 - -1419. Let h = 20787/7 + u. Which is smaller: -6 or h?
h
Let d = -325 - -182. Let z = 143.07 + d. Let q = -3.8 + 5. Is z less than q?
True
Let z(p) = -9*p**2 - 69*p + 1513. Let b be z(17). Which is smaller: -2255 or b?
b
Suppose -35*n = -40*n + 465. Let c = -23 + 117. Which is smaller: n or c?
n
Let g = 58.3 - 58. Let n = 12.87 - -0.13. Let d = -12.7 + n. Are g and d equal?
True
Suppose -28*h - 14 - 187 = 23459. Which is bigger: h or 2?
2
Let r(k) be the first derivative of -8/3*k**3 - 30 - 7/2*k**2 - 18*k + 1/4*k**4. Let p be r(9). Is 1/147 <= p?
False
Suppose 22*m + 3 = 23*m, 3*g - 45 = -2*m. Suppose -3*t - 1059 = g*o - 14*o, -3*t = -2*o + 1056. Is t less than -354?
False
Suppose 0 = 18*o - 14*o - 8. Suppose -o*x + 10 = -7*x. Let a be 0/(-2*(x - -3)). Are a and 29 nonequal?
True
Let m be 3 + (45187/(-3358))/(0 - (-27)/6). Which is bigger: m or -4?
m
Let y = -85 + 87. Let s(n) = 2*n**3 - 5*n**2 + 4*n. Let x be s(y). Is x >= 4/7?
True
Suppose 0 = -b + g - 567, 9*b - 1122 = 11*b + 2*g. Which is greater: -565 or b?
b
Let f(n) = 36*n + 108. Let s be f(-3). Which is greater: 1/2224 or s?
1/2224
Suppose 3*j - 5*i = 1373, -2*j = -i - 794 - 119. Let u = j - 469. Which is smaller: -14 or u?
-14
Let r be 3/6*(23 - 9). Let g(t) = 3*t - 9. Let h be g(5). Which is smaller: h or r?
h
Let v = -4 + 4. Let u = -1298603/79 - -16438. Which is greater: u or v?
v
Suppose 0 = -38*b + 33*b - 140. Let k = 263 - 166. Let w = 68 - k. Is w > b?
False
Suppose 0 = 11*h - 14*h - 18. Let g be (-21)/h*(-12 - -4). Is -27 at most as big as g?
False
Let b = -3600161/47 + 76579. Which is smaller: b or -21?
-21
Let w = 1605 + -1606. Which is smaller: -5/519 or w?
w
Let i be (186/(-312) + (-6)/(-8))/(-1). Let a = 963 - 962.98. Which is greater: a or i?
a
Let f(t) = t**3 - 3*t**2 + 3*t - 21. Let k be f(3). Let v be ((-6)/k)/(-2*(-111)/36). Which is bigger: 0 or v?
v
Let v be ((-4)/(-18))/1 - (-34)/9. Suppose 6*u - v = -4. Let h = -306279/79 - -3877. Which is smaller: u or h?
u
Let a = -140 - -213. Let g = 73.148 + -0.148. Let r = a - g. Which is bigger: r or -2/21?
r
Let b(p) = p + 8. Let i be b(-6). Let h be -1*i*1026/36. Suppose -5*a = -4*r - 218, -a - 107 - 66 = 3*r. Is h < r?
False
Suppose 0*m - 6 = -2*m, 4*f - 3*m = -9. Let a(s) = 2*s**3 - s + 3. Let b be a(f). Suppose 5*t = -5*h - 5, -3*t + 3*h - b = -0. Is 2/75 smaller than t?
False
Let b = -147/25 + 179/175. Suppose 4*o + 6*v - 10*v - 28 = 0, 3*o = v + 11. Suppose 0 = j + o*j - a + 16, 0 = -3*j - 4*a - 11. Which is smaller: b or j?
j
Let a = -249 + 269. Let v be 9/(-540)*(0 + a/16). Which is smaller: v or -1?
-1
Suppose v + 4*g = -0*g - 13, 0 = 2*v - 4*g + 14. Let r be 2/v + (-8720)/(-37620). Are 2/11 and r equal?
False
Suppose 146 = -12*j + 4*y + 94, -33 = -j - 5*y. Let c = 94 - 174. Which is greater: c or j?
j
Suppose -4*b - 516 + 596 = -4*s, 0 = -5*b - 3*s + 60. Is 279 less than or equal to b?
False
Let t be (-6)/18 + (-1200)/72. Which is smaller: t or 0.6?
t
Suppose 31*o = 26*o + 15. Suppose 2*l = 5*n + 35, o*l = 2*l - 3*n - 10. Let b(f) = -2*f + 12. Let y be b(l). Which is smaller: y or 9/7?
9/7
Let h = 70.3 + -174.2. Let y = 102 + h. Which is smaller: y or 10?
y
Let w be 3/(-1 - (-13)/10). Let l(j) = j**2 - 36*j + 200. Let t be l(7). Let f be (t/w)/((-15)/12 - -2). Which is bigger: -2/9 or f?
-2/9
Let d be 1 + 2/(-5)*(9 - -1). Let v be 1 + d - 60/(-42). Let m = 5 + -5. Which is smaller: m or v?
v
Let g(k) be the third derivative of -k**6/60 + 19*k**5/60 + 13*k**4/24 - 5*k**3 + 4*k**2 + 5*k. Let l be g(10). Are 2/871 and l equal?
False
Let u be 3 + (-2 + -1 - -5). Let x be (u - (-8)/4)*-21. Which is smaller: x or -148?
-148
Let k(d) = -d + 31. Let c be k(13). Suppose -303 + 31 = -16*w. Which is greater: w or c?
c
Let a = -18840 + 18851. Which is smaller: a or -3?
-3
Suppose 4*x - 91 = -v, 0*v = -x - 4*v + 34. Suppose 4*p - x + 6 = 0. Suppose -p*y - 148 = 2*r + r, -5*y - r = 185. Is y <= -39?
False
Suppose -3*u + 0*u = -3. Suppose u + 11 = -3*s. Let n be 4 - (s + (11 - 3)). Are n and -5/9 nonequal?
True
Let p = -5 + -9. Let w be (1 - p) + 12/3. Which is bigger: w or -2?
w
Suppose 3*x + 63 = 66. Let d(y) = -12*y**2 + 10*y - 10. Let f be d(x). Suppose 6 + 12 = -2*t. Is f greater than or equal to t?
False
Let p = 4546 + -4833. Is p smaller than -860/3?
True
Let l = -51 - 3. Let z = 3652 - 3740. Let h = l - z. Is h at least as big as 34?
True
Let b be (6 - (11 - 6))/(2/4718). Let p be b/(-3465) + (-3)/(-5). Which is bigger: -1 or p?
p
Let y = -4.498 + 4.5. Let n = -1.398 - y. Let q = n - 4.3. Which is smaller: q or 1/2?
q
Let f = -561 + 577. Let o(p) = p**3 - 11*p**2 + p + 6. Let s(x) = -x**3 + 6*x**2 - 2*x - 4. Let k be s(5). Let u be o(k). Is u at most f?
False
Let w be 48/(-33) + -2 + 4. Suppose 2*f - 4 = b, 4*f = -4*b - 51 + 35. Is f smaller than w?
True
Let c = 3899.29 - 3879. Let u = c + 2.71. Is 0.3 at most u?
True
Suppose 0 = -5*u - 19 - 1, 0 = -3*o - u - 4. Let s = 11206/15 - 747. Which is smaller: o or s?
o
Let g be (1266/10)/((23 + -5)/(-90)). Which is smaller: -635 or g?
-635
Suppose -y = -11*y + 5660. Let k = y + -566. Does 2/239 = k?
False
Let j be (-8)/(-12) - (12782/(-1995) + 7). Let o = -9/19 + j. Is o < -50?
False
Suppose 4*i = -3*a + 5*a - 392, 0 = 5*a - 10. Let r = -84 - i. Is 15 <= r?
False
Suppose -110*h + 376 = 266*h. Suppose 905 = -5*z - 0*q - 4*q, q = 3*z + 543. Let r = z - -5246/29. Which is smaller: r or h?
r
Let t(x) = 9*x**2 + 24*x - 9. Let n be t(-3). Are -11/353 and n non-equal?
True
Let k = -39.1 - -40. Are k and 161 equal?
False
Let y = -255642/7 - -36520. Which is greater: y or -7523?
y
Suppose y = 6*y + 5, 2*z - 45 = -5*y. Let n(x) = x**2 - 21*x - 27. Let s be n(z). Suppose 0 = 72*o - s*o - 16. Which is greater: 2 or o?
2
Suppose 0 = -3*m - 21 + 24. Suppose -m = -8*q + 431. Let p be ((-14)/21)/(4/q). Is p greater than or equal to -8?
False
Suppose 0 = 3*o - 4*s + 746, 5*o + 3*s + 163 = -1148. Is o greater than -248?
False
Suppose -274 = -3*z + 5*u, 5*z - 5*u - 362 = z. Suppose h + 88 = z. Which is greater: