 Do t and b have different values?
True
Let f = -12 - -13. Let i be (-2)/(3 + -5)*f. Let n be (1*-1)/(i/9). Is n less than -9?
False
Let l be (-29 + 17)*305/(-45). Which is smaller: 80 or l?
80
Let d = 2 - 0. Suppose o - 30 = -d*o. Let u be (2/4)/(1/o). Is 6 > u?
True
Suppose -5*r - 144*i + 149*i + 5 = 0, -1 = -r + 2*i. Does r = 14?
False
Let m(g) = -g**3 - 2*g**2 + 2*g - 4. Let s be m(-4). Suppose -4*i = 2*t - 8, 2*i + 0 = -5*t + s. Let z = -313 - -1558/5. Are i and z equal?
False
Let v = 1187/984 + -10/123. Suppose 0 = 10*o - 6*o. Which is bigger: o or v?
v
Let u be 5 + -31 + 1 + 6. Is -10 > u?
True
Let b = -4/39 - -71/312. Suppose 0 = 74*p - 78*p. Is p less than or equal to b?
True
Let s = -21.63 - 0.37. Let h = s - -22. Let u be 1/(0 + -1) - -1. Is h >= u?
True
Let n(c) = 2*c**2 - 2*c - 1. Let b be n(4). Is 24 bigger than b?
True
Let c(q) = q + 7. Let p be c(-5). Suppose -4*l - p = 14. Let i be 1/(-14)*l*2. Is 0 less than or equal to i?
True
Let q = 751.8 - 754. Which is smaller: 13 or q?
q
Suppose -356*m = -361*m - 30. Is m bigger than -6?
False
Suppose 855*j - 867*j + 13680 = 0. Is 1140 at most j?
True
Let k be (-33)/(-77) - 4/(56/(-1842)). Which is greater: 134 or k?
134
Let k = 0.5 - 2.5. Let f = k + 2. Let r = 124 + -130. Is r <= f?
True
Suppose 4*j + 2 = 2*o, 4*o - 10 = -0*o + 5*j. Let x be -5 - ((-65 - -67) + (0 - -1)*-7). Is o smaller than x?
False
Let u be (-78)/30 + (-2)/5. Let t be (-1695)/75 - u/5. Which is bigger: t or -24?
t
Suppose -5*q + 8 = r - 2*q, 0 = 2*q. Suppose p + 0*j + 11 = -5*j, 0 = -3*j - 12. Is r >= p?
False
Suppose 3*p = p + 4. Suppose -m = p*m - 3. Is m > -6/13?
True
Let m = 10/19 + -125/57. Suppose -7*h + 2*h = 10. Which is greater: h or m?
m
Let d(p) = 3*p**2 - 29*p + 65. Let g be d(6). Which is greater: 18 or g?
18
Let s = -2.6 - -3. Let c = -0.7 + s. Let n = c + 0.2. Which is bigger: -8 or n?
n
Let y(i) = i**3 - 4*i**2 - 6*i - 6. Let x be y(5). Suppose 106 - 127 = 3*m. Which is greater: x or m?
m
Let a be 17/(-5) + 1 + 2. Let m be 2 + 2 + (-43)/3. Let i = 11 + m. Is i at least a?
True
Let a = -277 + 275. Which is bigger: 44/7 or a?
44/7
Let o(l) = -l**2 + 12*l - 4. Let j be o(3). Let f = 11 - j. Is f smaller than -14?
False
Let g = 51 + -51.04. Let i = g + -0.96. Which is bigger: i or -1.6?
i
Let q(g) = 60*g**2 - 50*g**2 - 18 + 3*g - g**3 - g. Let t be q(10). Let i = -40 + 290/7. Is i equal to t?
False
Suppose 2*r + 552 = 592. Let w = -76 - -152. Suppose w = 3*i + i. Is i bigger than r?
False
Let q = -248733/101360 - 85/2534. Let v = -11/16 - q. Which is smaller: v or 1?
1
Suppose -62*f - 1 = -67*f - 2*s, -5*s + 14 = f. Suppose -2*z = -0*z + 20. Let p = z - -7. Is f not equal to p?
True
Let b = 27.5 + -27.4. Is b at most as big as -30/7?
False
Suppose 12 = -2*n + 7*n + 3*s, 3*n = 5*s + 14. Suppose -2*v + 5*o = -16, -v - n*o = -2 + 5. Suppose v*k = 3*m + 9, 0*k - 4*k + 12 = 0. Is 3 smaller than m?
False
Let i(p) = p**3 - 12*p**2 + 28*p + 37. Let j be i(8). Let b = 37/14 + 43/42. Is j at least b?
True
Suppose 101 = -2*s - 5*z - 173, -4*s = 3*z + 576. Does -149 = s?
False
Suppose 11 = -u + 3*h - 3, -4*u - 46 = -2*h. Let b = -10 - u. Which is smaller: b or 14/17?
14/17
Suppose -3*r = 4*m - 2163, -28*m = -2*r - 27*m + 1442. Is 0 not equal to r?
True
Let b = 238.023 + -238. Which is greater: 3 or b?
3
Let v be 2619/54 + (2/4 - 0). Suppose b - 5*x = 30, b = 4*x + v - 16. Which is smaller: b or 46?
b
Let p = 2.2 + -33.2. Let q = 32.2 + p. Let a = 10.2 - q. Is 0.1 not equal to a?
True
Let t be 366989/412 + 5/4. Which is smaller: 891 or t?
891
Let c(b) = -b**3 + 4*b**2 + 2*b. Let o be c(4). Let g = o - 11. Let y(h) = h**3 - 10*h**2 + 8*h + 5. Let x be y(9). Which is smaller: x or g?
x
Let q be 3021/114 - (-6)/(-4). Suppose -3 - 1 = 4*k. Is q at most as big as k?
False
Suppose d + 4*d + 15 = 0. Let u be ((-24)/(-84)*91)/(-12). Are d and u equal?
False
Suppose 46*d = 29*d - 17. Is -35/24 not equal to d?
True
Let p = 818/3 + -437633/1605. Which is smaller: 0 or p?
p
Let j be ((-43)/10)/((-28)/(-168)). Which is smaller: -26 or j?
-26
Let a(c) = c**3 - c**2 - 3*c + 3. Let s be a(2). Let k(i) = -i + 3. Let z be k(9). Let x be (z/(-3) - 0) + (-4)/(-4). Are x and s nonequal?
True
Let k be (-8)/12*(-330)/4. Do k and 55 have the same value?
True
Suppose 350 = 4*b + 3*b. Suppose 0 = -3*l - 5*k + b, l + 4*k - 20 = -k. Is 0 bigger than l?
False
Let s = -372 - -562. Is 189 <= s?
True
Let a = -12.2 - -2.2. Let h = a + 9. Which is smaller: h or 1.1?
h
Let r = -112 - -183. Let h = r - 1209/17. Suppose -12 = 5*m - b - 2, -28 = 3*m - 5*b. Is h < m?
False
Let c = -29 + 30. Let o(g) = g**2 + 8*g - 2. Let n be o(-8). Let h be n/(-2) - (-1 + 2). Is c > h?
True
Suppose -3*g + 8*g = 25. Suppose 4*r - 3*h + 7 = 0, -6*r = -r - 2*h + 7. Let t be (g - 6)/(r - -2). Is 1/6 bigger than t?
True
Suppose 0 = v - 0*v - 4*h - 7, 4*v - h + 2 = 0. Suppose -t - 11 = 5*j, 1 = j - 1. Let y be (-9)/(-6)*4/t. Which is greater: y or v?
y
Suppose 13*s - 28 = -80. Which is bigger: s or -31/11?
-31/11
Let s = -87/4 + 1107/52. Let b be (1 + -4)*(-4)/(-12). Which is smaller: s or b?
b
Let n be 1 - 1 - (-15 - -18). Let j be (-7)/n*2/21. Which is bigger: 1 or j?
1
Let z be (15/410)/((-12)/8). Do -1 and z have the same value?
False
Let p = 119504 - 1074422/9. Let h = p + -124. Let w = -8 + 10. Which is smaller: h or w?
h
Suppose 0 = -3*g - 8 + 2. Let y = 1 + g. Let a = 59 + -59. Which is smaller: y or a?
y
Let j = -301/5 + 61. Let k(o) = o**2 + 4*o - 12. Let u be k(-6). Suppose 5*c - 25 = u, 0 = 4*h - 2*c + c + 1. Which is smaller: h or j?
j
Let w(h) = -2*h**3 + 31*h**2 + 28*h - 28. Let n be w(13). Which is smaller: n or 1182?
n
Let o = 3 + -5. Let u = -54 + -42. Let l = u - -96.09. Which is smaller: o or l?
o
Let m(b) = b**2 + 4*b - 5. Let u be m(-5). Let j(v) = 1 + v + 3 + v**2 + 4 + 0. Let r be j(u). Which is smaller: 7 or r?
7
Let p = 19.03 - 19. Let d = p - 1.03. Do -2/5 and d have the same value?
False
Let w = -69.848 - 0.152. Let n = w + 75. Which is smaller: -1/2 or n?
-1/2
Let o = -2854216/615 + 4641. Which is smaller: 1 or o?
o
Let i = -43.4 + 6.4. Let b be 2*8/6 - 3. Is i at most as big as b?
True
Suppose 234*o = 249*o + 15. Which is smaller: 5/24 or o?
o
Let b = -7898 - -47213/6. Let q = b - -88/3. Is 0.21 >= q?
True
Suppose -a = -2*a - b + 2, 0 = -3*a + 4*b - 15. Is 2/11 != a?
True
Let t(d) = -d**2 - 5*d + 3. Let x be t(-4). Let h be (48/(-10))/((-14)/175). Suppose -g = -x*g - h. Which is bigger: -0.2 or g?
-0.2
Suppose 0 = -3*p - 3*k + 15, 4*k - 11 = 4*p + 9. Suppose -u - 5*a = -a + 6, p = 4*u + 4*a + 36. Is -10 less than u?
False
Let z = 64/15 + -22/5. Suppose -6 = 4*t - 22. Suppose -3*j - q + 3*q = 0, -t*j = 2*q. Which is smaller: j or z?
z
Let o = 222 - 242. Let p = 4.2 + -4. Which is smaller: p or o?
o
Let l(y) = 50*y. Let w be l(-2). Let u be (-1 + -1)/(w/(-8)). Let x = -59/100 + u. Which is greater: -0.1 or x?
-0.1
Let a = 496 + -497. Do a and 4/9 have different values?
True
Let j = -3 + 6. Let a be -2 - (-4 + j + -1). Is 1 > a?
True
Suppose -2 = 9*b + 7. Let l = 19 + -134/7. Is b equal to l?
False
Let p(v) = 7 + 444*v**2 - 28*v + 9 - 442*v**2. Let s be p(14). Is s greater than or equal to 17?
False
Suppose 4*l + 35*h - 37*h + 372 = 0, l - 3*h = -103. Suppose g = -3, -2*a - 3*g = 2*g + 199. Is l smaller than a?
False
Let h(o) be the first derivative of -o**3/3 - 5*o**2/2 - 5*o - 3. Let c be h(-5). Let z = -3 - c. Is 3 at least as big as z?
True
Suppose -27 = -2*b - b. Suppose -2*k + b = k. Suppose -k*q = -0*q + 9. Is -3 not equal to q?
False
Suppose t = -2*t. Let n(m) = -m - 2. Let x be n(10). Let s be -3 - t*3/x. Which is greater: s or -5?
s
Let a = -352 + 353. Which is smaller: -1/9 or a?
-1/9
Suppose 35 = -5*y - 0*t - 5*t, 3*y + 41 = 2*t. Which is bigger: y or -158/13?
y
Suppose 0 = 3*y - d - 10, -5*d + 22 = 7*y - 4*y. Suppose -f + 16 = -2*s, y*f + 0*s - 43 = s. Is f greater than 0?
True
Let w = -2.183 - -0.183. Which is smaller: -200 or w?
-200
Let l = 31.923 + 0.077. Let n = -32 + l. Is -0.02 at most n?
True
Let h(p) = -15*p**2 + 31*p + 2. Let q be h(3). Are -38 and q non-equal?
True
Let n = -20 + 10. Let h = 9 + n. Which is smaller: h or 0?
h
Let a = 0 - -0.2. Let k = 4 - 3.9. Let j = 0.1 + k. Are a and j unequal?
False
Let q(t) = t + 1. 