 0. Which is bigger: 2 or p?
p
Let a = -2250/19 - -8267/95. Which is greater: -32 or a?
a
Let t = 60371/387 - 1409/9. Is 0 <= t?
False
Suppose 5*q + 4*v = 37 + 17, q - v = 18. Suppose -2*z + 3*p = -16, -4*p + 4 = -12. Is z at most q?
True
Suppose 0 = -4*u - 128 - 16. Is u <= -38?
False
Let t(l) = -10*l + 141. Let r be t(15). Is -7 > r?
True
Let o = -34 + 46. Let h = -17 - o. Let r = 29.1 + h. Are 1/8 and r equal?
False
Let l = 887 - 25738/29. Is 0 < l?
False
Let u = 150 + -150. Which is smaller: u or -4/45?
-4/45
Let j be (9/1)/((-16)/(416/(-3))). Suppose 0*f + 158 = 2*f. Is j bigger than f?
False
Let m = 7 - 7. Let b = -2 + m. Let q = b - 0. Is q bigger than 1?
False
Let u = -461/2 + 230. Is 140 != u?
True
Let b = -25231.9 + 25232. Suppose -5*f + 0*f + 5 = 0, 3*z - 49 = 2*f. Is z bigger than b?
True
Suppose 9*a = t + 4*a, -4*a = 0. Suppose 5*z - 2*z - 4*i = -5, 4*z + 2*i + 14 = 0. Which is bigger: t or z?
t
Suppose -5*d - 8*l + 1504 = -6*l, 0 = -2*d - 4*l + 608. Does d = 301?
False
Let n = -96 + 162. Let q = n + -65.9. Which is smaller: 0.13 or q?
q
Suppose -4*m + m - 31 = -4*n, 5*n - 5*m - 45 = 0. Let q be (-2)/n*(-11 + 3). Suppose -4*c + q*a - 20 = 0, -3*c - 5*a = 2*c + 15. Which is smaller: -2 or c?
c
Let f = -7396226/1133 - -6528. Which is smaller: 2 or f?
f
Let m = 2/211 - -207/422. Is m > -0.23?
True
Let y = -32 + 87. Let k = y + -52. Let h = -4 - -8. Which is bigger: h or k?
h
Let z = -216 - -218. Suppose -5*c = -4*j - 71 - 38, 0 = -c - 2*j + 19. Suppose 0*i = 3*k - 3*i + c, -4*k + z*i = 22. Is -5 less than k?
True
Let i be 5/4 + (-3)/(-4). Suppose 0 = i*k - 11 - 15. Let n = -11 + k. Is 0.1 less than or equal to n?
True
Let c be -11*(-26)/143*(-5)/(-2). Which is greater: c or 18?
18
Let d = -213.8 - -212.8. Is 174 greater than or equal to d?
True
Let c = 2.55 - -7.9. Let o = 11 - c. Let r = -0.6 + o. Which is bigger: 0.2 or r?
0.2
Let o be (0 - 3) + 9/(36/(-76)). Let r be -1 + -2 + 11*-2. Is r at most as big as o?
True
Suppose 4*j - 50 = 134. Let l = -264 - -311. Do j and l have the same value?
False
Let y = 33.4 - 57.1. Let i = y - -23. Does i = -2/7?
False
Let o = -3066 - -58255/19. Suppose 4*j = -1 + 5. Which is greater: o or j?
j
Let s = -52 + 56.4. Let c = s + -3.7. Do c and 2/5 have the same value?
False
Let r = 67 + -67. Which is smaller: -6 or r?
-6
Let b = -121 - -66. Let m be 181/(-5) + (-11)/b. Which is bigger: m or -35?
-35
Let x = -3844/387 + 107/43. Which is smaller: -7 or x?
x
Let i = -1856.8 - -1857. Is i != 1/393?
True
Suppose -41*r + 8*r + 132 = 0. Which is bigger: 57/20 or r?
r
Let f = -33/161 + -15/23. Let o(z) = -z + 6. Let p be o(8). Which is smaller: p or f?
p
Suppose -30 = -a + 160. Let r = -956/5 + a. Is -1 > r?
True
Suppose 0 = 2*b, -3*c + 5*b + 19 = -2. Let u(g) = -5 - g**3 + c*g - 8*g - 1 + 2*g. Let x be u(0). Which is bigger: x or -7?
x
Suppose 0 = 3*t + 2*l + 127, 3*l - 6*l = -3*t - 147. Suppose -3*s + 39 = -5*j - 4, 0 = j + 5*s + 3. Let c be j/(-6)*t/(-260). Is c greater than or equal to 1?
False
Let r = 7/22 - 39/88. Suppose -3*v + c = 2, 0 = 77*v - 79*v - 5*c - 7. Which is smaller: r or v?
v
Let y(w) = -w**3 + 4*w**2 + 8*w - 8. Let c be y(6). Let l = c + 24. Let r = 10 + l. Is 2 > r?
False
Let q = 74/3 + -583/24. Let y be 10*3/(45/6). Suppose 5*n - 3*s - 16 = 1, y*n - 5*s = 24. Is q not equal to n?
True
Suppose 2*v = -5*z - 0*v - 22, -4*v = -3*z - 34. Let b be (-3)/((4/z)/(-2)). Which is bigger: -11 or b?
b
Suppose 3*w = 4*d + 17, 0 = -5*d - 19 - 6. Which is bigger: -8/539 or w?
-8/539
Suppose -105 = 5*v - 0*v. Suppose 14 = 15*m + 344. Is v greater than or equal to m?
True
Let x = -28 - -17. Let b(s) = s + 11. Let u be b(x). Suppose 5*t + 7 - 2 = u. Which is greater: -1/7 or t?
-1/7
Let u = 4 - 0. Suppose -3*c + 8 = -0*c - u*l, 45 = -5*c - 5*l. Let f be (0 - -1) + (-8)/c. Which is smaller: f or 0.2?
0.2
Let j(l) = -3*l**2 + l + 4. Suppose -t = 2*n + 4, -2 = -n + 3*n. Let g be j(t). Let b be -1*(-1)/1*-11. Is b >= g?
False
Suppose -5*i + 2*j + 2*j + 744 = 0, 2*i - 296 = 2*j. Suppose 14*d + 72 = -i. Is d at most as big as -14?
True
Let v = 1/21 + -277/84. Let h be (-1)/((4/8)/(-1)). Let s be h*(2 + -8)/3. Are v and s nonequal?
True
Let z(a) = -a**3 - 4*a**2 - a - 3. Let t be z(-5). Suppose 29*m = t*m + 38. Which is smaller: 20 or m?
m
Suppose -394 = -6*u - 2470. Is u < -345?
True
Let x = 4764 + -4787. Let t = 1.2 - 0.2. Is x bigger than t?
False
Suppose -16*m = -17*m + 5*x + 62, 0 = -2*m + 5*x + 109. Which is greater: 51 or m?
51
Let o be ((-21)/(-7))/((-1)/(-2)). Suppose 2*f = -5*i + o*f - 114, -3*i - 69 = -3*f. Let g = i + 14. Which is smaller: g or 0.1?
g
Let n be ((-9)/3 - 0)*-111. Let k be n/27 + 2/(-6). Let y be (-4)/(-24)*3*k. Which is smaller: 5 or y?
5
Let n be 44 - 21/(-56)*-8. Which is smaller: n or 119/3?
119/3
Suppose -k - 16*n + 20*n = 62, -k = 4*n + 46. Is k bigger than -54?
False
Suppose -18*c - 153 + 9 = 0. Let q be c/6 + (-2994)/(-2259). Is 1 <= q?
False
Suppose 6*s - 32 = 4*s + 4*g, -2*s + 47 = g. Suppose 0 = 5*c - 3*x - s, 0 = -5*c + x - 2*x + 6. Which is smaller: c or 4/5?
4/5
Let l be (-44)/8*(-3 - -5). Which is bigger: l or -51/5?
-51/5
Let p = 0 - -1. Let b(t) = 3*t - 6. Let m be b(0). Let q be (-4)/m - 112/(-588). Which is smaller: q or p?
q
Suppose 134*k + 28 = 106*k. Is -20/277 smaller than k?
False
Let g be 22/(-44)*(-2 + 2). Let i(u) = -u**3 + 2*u**2 + 4*u + 2. Let b be i(-2). Which is smaller: b or g?
g
Let c = -0.96 + 0.36. Let w = -0.4 - c. Which is bigger: w or -2/5?
w
Let n(u) = -u**2 - 5*u - 14. Let l be n(20). Let p = -17987/35 - l. Which is smaller: p or 0?
0
Let o(y) = 32*y**3 - 5*y**2 - 13*y - 1. Let c be o(-2). Is -253 less than or equal to c?
True
Let b be (-1 - (-32792)/(-20)) + (5 - 1). Let c = b - -1644. Is c at most 6?
False
Let s = 32.53 - -0.47. Let g = -32 + s. Which is smaller: g or -0.1?
-0.1
Let f = -1.2 - -1. Let t(m) be the third derivative of m**5/60 + 7*m**4/12 + 11*m**3/3 + 15*m**2. Let i be t(-12). Does f = i?
False
Suppose 3*y - 5*k + 0 = 7, y = -k + 5. Suppose 5*o - 4*s + 20 = 0, 2*s = -o + s - y. Let f be (84/(-9))/o*3. Are f and 7 nonequal?
False
Let s = 146 + -147. Let h = 527 + -17389/33. Is s at most as big as h?
True
Let z(l) = -l + 1. Let t be z(0). Let s(q) = q**3 - 7*q**2 + 7*q + 5. Let y be s(6). Let c = y - 10. Are t and c nonequal?
False
Let m = 1 - 1. Suppose -42 = -56*x + 42*x. Suppose m = 3*h - x*l + 18, 3*h - 10 = 6*h - l. Is h != -2?
False
Let f(m) = -m**3 - m**2 - 2*m. Let n be f(-2). Let p be (5 + (-34)/7)/(2/n). Is 1 less than or equal to p?
False
Let o be 7/(-7) - (3 - -68). Let b = 73 + o. Is b > -2/7?
True
Let k = 1.27 + -3.27. Let m = 0.11 - -0.69. Is m bigger than k?
True
Let n be -1*6 + 2820/525. Is -1 equal to n?
False
Suppose 284 = 5*b + 79. Suppose -1280 = 7*w - 39*w. Do w and b have different values?
True
Let k = -4 + 6. Suppose -5*t + g + 2 = 0, 5*t - 5*g + 9 = -1. Suppose h - k*b = -3, 0 = -2*h + 7*h - 2*b - t. Are h and 2/13 non-equal?
True
Suppose -4*b = r - 9 - 2, 5*b = -5*r + 25. Suppose -1 + r = s. Let o be (-1)/3 - 0 - -1. Which is smaller: s or o?
o
Suppose 0 = -3*i + 2*i - 4, -3*i = 3*f + 3. Which is bigger: f or -22?
f
Let b be 34 + -23 - (384 - -4). Which is bigger: -373 or b?
-373
Let d(y) = -3*y**2 - 11*y + 129. Let x be d(5). Is x > -5/106?
False
Let s = -2000/13717 - -6/43. Is s at least 1?
False
Suppose -18 = 118*u - 124*u. Which is bigger: 7/3 or u?
u
Let v(i) be the third derivative of -i**5/60 - i**4/2 + 2*i**3/3 + 2*i**2. Let q be v(-10). Suppose 0*t + 6*t - q = 0. Which is bigger: 3 or t?
t
Let t be ((-21)/(-2))/(54/(-24)) + 2. Suppose 4*y - 11 = -2*w + w, 43 = 3*w + 2*y. Suppose -x - 4*x = w. Do t and x have the same value?
False
Suppose b + 4*d = 19, -5*b = -7*b + 5*d - 1. Which is bigger: 41 or b?
41
Let k(b) = -b**2 - 5*b + 4. Let o be k(-7). Let a be o/7 + (-6)/(-24). Let l = -10/7 - a. Is l greater than or equal to -0.2?
False
Let y = 40 - -51. Which is bigger: 92 or y?
92
Let q = 0 + 0.1. Let v = -135/224 + 1/32. Which is smaller: q or v?
v
Let t be ((-54)/15)/(3/15). Let l be (-6)/t - (-5534)/(-3948). Let h = 7/94 - l. Which is bigger: 0 or h?
h
Suppose 2*g = -5*x - 24, 0 = 3*g + 2*g - 2*x + 2. Let k be 4/(16/g)*0. Are k and -5/8 equal?
False
Let o = -585 + 1081. Which is smaller: 49