Let j be 1 + 16 + 0 + -1. Suppose 116 = 4*m + j. Let r = -14874 + 14898. Is r > m?
False
Let i = -921 - -230. Is i equal to -0.1?
False
Let r be (-4)/5052*(-60)/(-13 + 7). Is 0 <= r?
False
Let n = 494 + -490.1. Let w = -2.3 - -1.4. Let t = w + n. Which is smaller: t or 15?
t
Let j(b) = -461*b - 971. Let a be j(-3). Is 416 bigger than a?
True
Let c be (4 + 0 + -5)/2238. Is c less than 1?
True
Let q = -1.6 + 2. Suppose 0 = -4*b - 2*s - 6, -11*b + 3*s + 9 = -7*b. Suppose 6*c + 83 - 65 = b. Do c and q have the same value?
False
Suppose 4*i - 476*k = -474*k + 2064, 4*k + 544 = i. Is i > 485?
True
Let k be -1*((-44)/(-20) - 2) + (-1919)/(-13395). Is k < 0?
True
Let x(a) be the first derivative of -a**4/4 + a**3 + a - 20. Let f be x(3). Let m be 112/108 + 2/(-2). Which is smaller: f or m?
m
Suppose -102*l + 4*v - 15 = -103*l, -4*v - 20 = -4*l. Which is smaller: l or 76/11?
76/11
Let s = 85.54 - 88.54. Is s < -1/479?
True
Let t be (-3)/18*140/5. Suppose -4*b + 2*w - 26 = 0, 4*b + 5*w - w = 4. Which is smaller: t or b?
t
Suppose 20101*t = 19997*t - 6864. Let x = -2.2 + 2. Is t at most x?
True
Suppose 44*a - 60 = 5*q + 42*a, -32 = 3*q - 2*a. Let t(b) = -2*b**3 + 2*b. Let u be t(2). Is u less than or equal to q?
False
Suppose -2*p = 548*k - 553*k - 15014, 5*k + p + 15023 = 0. Is k at least -6005/2?
False
Let i = 12.85 - 12.95. Is i smaller than 1263?
True
Suppose 0 = n, 2*n = 5*p + 23 - 73. Suppose 84 = -4*a + p*a. Suppose 48 = 5*c - 2*f, 3*c + 0*f - 4*f - 26 = 0. Which is greater: a or c?
a
Let q(d) = d**3 + 3*d**2 + 2*d + 1. Let t be q(2). Suppose z - t = -35. Which is smaller: -21 or z?
-21
Let f = -477 - -479. Suppose -t = 3*u + 344, 336 = -t + u - f*u. Is t at most as big as -333?
False
Let z(m) = 38*m + 3. Let v be z(5). Suppose 35*y - 1725 - 3691 = 1374. Is v < y?
True
Suppose 4*q - 10 = 3*l + 8, 3*q - 15 = 3*l. Let o = 53 - 53. Suppose f + o = a + 3, -2*a = f - 9. Are q and a non-equal?
True
Let s = -363 - -359. Let j be (s/12)/(12/24). Is j <= 20/7?
True
Let h = 443 - 445.178. Let j = h - -0.178. Which is smaller: j or 0.78?
j
Suppose 0*w - 14 = 4*w - 5*o, 3 = 5*w + 4*o. Let h be (-68)/(-442) - (-1152)/(-7995). Which is smaller: h or w?
w
Suppose -3*t - 5*k = -3*k + 76, -2*k = -2*t - 54. Which is smaller: t or -25?
t
Let s(t) = 1175*t**2 - t. Let b be s(7). Let a = -632814/11 + b. Let j = a - 2172/55. Which is smaller: j or 0?
j
Suppose 56*f - 31*f + 137700 = 0. Is f at least -5507?
False
Let k be 75 + (2 - -4 - 3). Let j = -135472721/1737570 + 6/57919. Let t = k + j. Is t less than or equal to 1?
True
Suppose 12*w + 115 = 127. Which is smaller: 4/489 or w?
4/489
Suppose -60*u + 719 + 187 = 126. Let o be (-2)/(-3) + 172/(-6). Let p = o + 41. Is p greater than u?
False
Let q(n) = n**3 - 11*n**2 + 17*n + 11. Let y be q(9). Suppose 144 = y*g - 5*g. Let o = g + 49. Is -1/5 <= o?
True
Let m be 2/132*(-3 + (-561)/(-176)). Let i = -210 - -210. Do m and i have the same value?
False
Let h = 25989.8 + -25990. Is -18 bigger than h?
False
Let o = 2657993/1965 - 4058/3. Which is smaller: o or -1?
-1
Let t = 693.5 + -694. Which is greater: t or -13/7?
t
Suppose -20 = -x - 4*l, 0 = -4*x + 2*l - 0*l + 8. Suppose -x*g = 4*z - 24, 5*z + 6 = -0*g + g. Suppose 44 + g = 5*q. Which is smaller: 9 or q?
9
Suppose 11*i = 2*n + 6*i - 486, -n = 5*i - 258. Which is greater: 244 or n?
n
Let z(h) = 15*h - 163. Let n be (-1)/3 + ((-320)/(-6))/4. Let a be z(n). Which is bigger: 6 or a?
a
Let y = 18.01 + -17.96. Is y at most 197?
True
Suppose 9*r = -172*r + 181. Do 4/2313 and r have the same value?
False
Let j be (12/27)/((-22)/(-3) + -31 + 25). Which is greater: j or -2.05?
j
Let m = -48483/9280 + 307/64. Let i = m - -4/145. Is -19 not equal to i?
True
Suppose -10*w + 14*w + 131 = t, 605 = 5*t + 5*w. Let l = 618/5 - t. Is l not equal to 1.5?
True
Let u = 7 + -6.97. Let s = 27.5 - 27.57. Let m = u + s. Is m >= -0.08?
True
Let m = -29536106 + 13711690. Let g = m + 8434419986/533. Let y = g - 152/13. Which is greater: y or 1?
1
Let l = 2481 - 2379. Which is smaller: l or 108?
l
Let i be ((-36)/(-14))/(2 + 13/(-7)). Suppose 0 + i = 6*q. Suppose 11 = -4*l - q*m, -4*m + 1 = 21. Are l and -14/29 non-equal?
True
Suppose -14*f = -10*f - r + 4, f = 2*r - 1. Let s = -2.49 + 5.49. Which is bigger: s or f?
s
Suppose 3*y - 3 = 2*v, -1423 + 1450 = 5*y + 4*v. Which is bigger: 190/91 or y?
y
Let d = 0.309 + 12.991. Let a = -13.7 + d. Which is bigger: -2/33 or a?
-2/33
Let m = -387.1 + 379.1. Which is greater: 15.2 or m?
15.2
Let v(s) = s**3 + 3*s**2 - 52*s - 95. Let h be v(-8). Which is greater: -1/19982 or h?
h
Let s(z) be the second derivative of -13*z**3/6 + 103*z**2/2 + 38*z. Let y be s(9). Which is smaller: y or 0?
y
Let q be 2/32*((-3926)/78 + 30/9). Is -3 at least q?
False
Suppose 3*j = 5*u - 20, 0*u = -2*u + 3*j + 8. Suppose -8*h = -u*h - z - 5, 3*z + 3 = 0. Which is smaller: 0.0157 or h?
0.0157
Suppose 16*t - 19*t + 18 = 0. Suppose -3*l + t*l = 72. Suppose -4*z - 4 = -2*d + 6, -4*d + 4*z = -l. Is d at least as big as 8?
False
Suppose 3*c + 27806 = -2*f, -8*f - 53*c - 111104 = -56*c. Is f >= -13892?
True
Let y = -795 + 1208. Suppose -y*u = -407*u. Which is greater: u or 1/24?
1/24
Let u = -265 + 679. Let p = u + -361. Which is smaller: p or -0.1?
-0.1
Let f be (1255 - 25)/((-4)/(-3)*(-9)/(-32)). Is f not equal to 3282?
True
Let r be 588/42*-1*5. Let s be (-12)/15*r/4. Which is bigger: s or 2?
s
Let h(q) = -q**3 - 6*q**2 - 10*q. Let w be h(-4). Suppose -4*x + 2*x + w = 0. Suppose -3*y + 5*y = b - 37, 0 = -x*b - 12. Is -22 greater than y?
False
Let c(k) = k**3 + 4*k**2 - 5*k. Let p be c(-5). Let b be 2 + 54/8 - (-12)/48. Suppose 0*q - 18 = b*q. Which is greater: q or p?
p
Suppose 24*w + 83 = -35*w - 566. Is -99/10 at least as big as w?
True
Let j be -1*5 - (131229/(-210) - (-1)/(-10)). Which is smaller: 616 or j?
616
Let m be (12/(-24))/((-2)/20). Suppose -26 = -m*d - 11. Suppose d*z - 3*y - 6 = -4*y, -10 = -5*z + 4*y. Is z at least as big as 6/5?
True
Let n = 6309117/620 - 10176. Which is bigger: -1 or n?
n
Suppose -2*s + k + 1491 = 0, 5*s + 9*k - 7*k = 3750. Suppose 632 = 20*d - s. Which is bigger: d or 71?
71
Let p = -19892 - -21049. Is 1153 equal to p?
False
Let l(s) = -3*s**3 - 32*s**2 - 3*s + 16. Let o be l(-10). Let r = o + 218. Is r > 64?
False
Let x be ((-8)/(-32))/(1157/468). Let t = 5908/923 + 3975957/164294. Let h = x - t. Which is smaller: -31 or h?
-31
Suppose -2 = 3*b + 2*o + 1, 0 = -2*b + 5*o + 17. Let r be ((-7)/(-5))/(b/5). Let n = -412 - -411. Which is smaller: n or r?
n
Let n be (-9)/(-66)*22*(-2)/12*2. Which is greater: 20/331 or n?
20/331
Suppose 3*h - 4*c + 39 - 47 = 0, 0 = 4*h - 5*c - 10. Suppose -t = t - 792. Let p be t/(-200) + 0 - -2. Is p < h?
False
Let y = -2004 - -1945.992. Let u = y - -0.008. Let f = -29 - u. Which is bigger: f or 0.1?
f
Let m be 6/(-2) - (-20 + 627). Is -613 at most m?
True
Let s = 5 + 13. Let x = -18 + s. Suppose -360*j + 161 = -353*j. Is j not equal to x?
True
Let z = -62 + 62.42. Let i = -0.42 + z. Is -2/31 equal to i?
False
Let o be -5 + ((-15)/4)/(-5)*412. Let k = o - 321. Which is smaller: k or -65/4?
k
Let k be ((-6)/(-5))/3 - 10592/26680. Let d = k + 3251/28014. Which is bigger: d or -1?
d
Let h(m) = -2*m**3 + 17*m**2 + 26*m - 6. Let q be h(11). Which is smaller: -318 or q?
q
Let p be (-46)/(48/22 - ((-272)/(-44) - 6)). Which is smaller: p or 0.56?
p
Let o be 3/2 + 30/20. Suppose -3*d - o*y + 12 = 0, -4*d - 2*y + 9 = -1. Is 5 less than d?
False
Let d(t) = t**3 + 4*t**2 - 7*t - 6. Let k be d(-4). Let f(c) = -2*c - 1. Let b be f(-1). Let i be 22 + (b - 2) - -2. Which is smaller: k or i?
k
Let d = -181 - -229. Suppose -7*n + 5*n + 5*o - 96 = 0, n = -o - d. Which is bigger: n or -50?
n
Suppose 3*b = 12 + 3. Suppose -19 = 6*l - 37. Let h be (b - l) + ((-68)/(-28))/(-1). Is h at most 0?
True
Let f = -21373 - -5963060/279. Which is greater: f or 0?
0
Suppose 0*u - 2151 = -9*u. Let h(j) = -3*j**3 + 2*j**2 + 4*j + 31. Let p be h(-4). Does p = u?
True
Suppose 4*b - 38*g + 116 = -39*g, -2*g = -8. Is b at least -31?
True
Let f be -2 + (-36)/(-19) - (-536248)/646. Suppose f = -c + 834. Do c and -11 have the same value?
False
Suppose -12*o + 16 = -10*o. Suppose 0 = o*n + 337 - 1097. Let k = n + -101. Which is bigger: -2 or k?
-2
Suppose -4*