 -1.1?
w
Let j = 268 - 274. Do j and -0.2 have different values?
True
Suppose -2*w - 20 = 9*i - 11*i, -3*w = 2*i + 55. Let g(r) = -16*r**2 - r + 1. Let v be g(1). Let k = w - v. Which is smaller: k or -2/87?
-2/87
Let v = -101.5 + 101.44. Which is bigger: v or -6?
v
Let m = 79.9 - 79.8. Let y = 349437/43 + -8127. Let i = y + 178/473. Are i and m equal?
False
Let z(g) = g**3 + g**2 - 17*g - 23. Let u be z(6). Does 129 = u?
False
Let m = 1.95 + 0.05. Let y = -97 - -194. Let d = y - 96.8. Is m bigger than d?
True
Let f = 3/250 - 2637/1000. Which is smaller: f or 2/3?
f
Suppose 0 = 5*h - 109 + 4. Let b be (72/h)/(4/(-28)). Let s = 24 + b. Is -3 <= s?
True
Let u(p) = -15 + p**2 - 2*p**2 + 0*p**2 + 16. Let k(a) = -3*a**2 + 2*a + 7. Let f(w) = k(w) - 4*u(w). Let c be f(2). Which is greater: 12 or c?
12
Let l = -5002 - -4988. Suppose -2*m + 85 = -7*m. Which is greater: m or l?
l
Let v be 24/(-528)*(2 - -2). Let x be (-3)/9 + (-482)/(-24). Let d = x + -20. Which is greater: d or v?
v
Let g(i) = 31*i - 1. Let n be g(6). Let v = 1297/7 - n. Let k = -22 + 23. Which is smaller: v or k?
v
Suppose -8*b + 9*b = 10. Let y be 4/b - (-161)/35. Is 1 at least as big as y?
False
Suppose -5*k - 255 = -55. Let c be 10/4*(-96)/k. Suppose 5*u - 4*m = 16, -u - 1 = -2*u + 3*m. Is u smaller than c?
True
Suppose 4*f - 84 = 4*w, 0 = 5*w - 8*w - 6. Is f less than 12?
False
Let z be ((-6)/(-4))/((-5)/(-50)). Let s(d) = -d + 23. Let t be s(9). Let b = z - t. Which is bigger: b or -1/9?
b
Let z be 4/12 + (-144)/918. Which is smaller: z or 0?
0
Let k = -13/2 + 7. Let q be -1*(-1)/((-4)/(-88)) - -2. Suppose 8*v = q - 8. Is v at most k?
False
Suppose 25 = 5*m + 5. Suppose -3*k = -m*a + 8, -2*k + 5*a - 13 = k. Let w be -2 + (18/k - -3). Which is smaller: w or 5?
5
Let l be 82/7 - (-2)/7. Let q = l + -9. Suppose 4*b - 12 = -4*h, q*b - 3*h = -0*h - 21. Do -3 and b have the same value?
False
Let s = 24 + -17. Suppose s*t = 4*t + 33. Let u be 1940/(-220) + (-2)/t. Is -9 >= u?
True
Suppose 9*z - 25*z + 10448 = 0. Are z and 653 unequal?
False
Suppose -4*u + 600 = u. Is 121 at least as big as u?
True
Let c = 18.2 + -18.3. Which is bigger: 0.003 or c?
0.003
Let r = 281 - 5623/20. Let d be 10/(-4)*132/55. Let b be 1 + (-5 - (-2)/((-4)/d)). Which is greater: b or r?
r
Let d = 73.9 + -84.9. Is d < -1.5?
True
Let h(r) = r**2 + 3*r + 5. Let v be h(-4). Suppose o - x = v - 4, 5*x = 20. Suppose -o = -4*i - 1. Which is greater: 3 or i?
3
Let w(v) = v + 41. Let g be w(-17). Let x = g + -25. Which is bigger: 2/15 or x?
2/15
Let u(o) be the first derivative of o**3/3 + 2*o**2 - 8*o + 5. Let r be u(-6). Suppose -f = r*f. Is 1/8 at most as big as f?
False
Let y(o) = -2*o**2 - 4*o - 3. Let m = -32 + 30. Let c be y(m). Which is smaller: 1 or c?
c
Let a = 0.225 + -0.085. Which is bigger: a or -5?
a
Let a(u) be the second derivative of u**4/12 + 5*u**3/6 + 5*u**2/2 + 5*u. Let j be a(-4). Let o = j - 0. Which is greater: -3/10 or o?
o
Let v(q) = q**2 - 5*q + 3. Let f be (-3)/(((-9)/4)/3). Let i be v(f). Let y = -439/18 - -149/6. Which is smaller: i or y?
i
Let b = -82 - -108. Suppose 2*o - b + 4 = 0. Let y = -0.2 + 0.2. Do y and o have different values?
True
Let j(k) = 2*k**2 - 42*k - 17. Let a be j(21). Is -20 < a?
True
Let n = 872 - 634. Is n < 241?
True
Let y = 32 + -30. Let c be 5/y + (-9)/6. Which is greater: c or -3?
c
Let v = -332 - -327. Let c be (1 - -2)*(-2 + 0). Is c at least as big as v?
False
Let l = 1959 - 2373. Does -2/7 = l?
False
Let a be -2 - (-2 + 2 + 8). Let j = a - -17. Which is bigger: j or 6?
j
Let x = -90 + 91.92. Let h = 1.8 - x. Let n = h - 4.88. Do 1 and n have different values?
True
Let f = 49 - 26. Let o = f + -47. Let p be 4/10 - o/40. Which is smaller: 3/4 or p?
3/4
Let d = -5/6 - -31/30. Let i be 22/(-5) - 6/(-15). Let w(f) = -f**3 - 3*f**2 + 3*f - 3. Let x be w(i). Which is greater: x or d?
x
Let u = -2428 + 2428. Is 337 <= u?
False
Let o(n) = n**2 - 6*n + 80. Let q be o(15). Is q > 216?
False
Let p = -34 + 23. Let w = 455/2 - 238. Which is smaller: w or p?
p
Let t = 295 - 85. Let g = -1892/9 + t. Which is bigger: -1.3 or g?
g
Let g = -121 + 121. Which is smaller: g or -10/7?
-10/7
Suppose n + 2 = 0, -4*a - 66 + 174 = -4*n. Suppose -3*u - 5*r = a, 0*u - 15 = -3*u + 3*r. Is u > -1?
True
Let w = -4 - -5. Suppose o + w = 6. Suppose 5*a + 3*v = 9, 4*v - o*v = 2*a - 3. Is 4/7 greater than or equal to a?
True
Let u(r) = 8*r**3 + r**2 - r. Let s be u(1). Suppose s*n - 35 = n. Suppose n + 1 = -3*i. Which is smaller: i or -8/7?
i
Let v(l) = l - 5. Let g be v(5). Suppose -4 = 10*z - 6*z. Let a be (z - -3)*(-3)/(-117). Which is smaller: a or g?
g
Suppose 1098 = 156*s - 162*s. Is s > -184?
True
Suppose 14*a - 25 = 9*a. Suppose -2 = a*h - 7*h. Let i be -1 - (-2 + h + 20). Is -21 at least as big as i?
False
Suppose -4*d = -2*s - d + 1172, 2*s = -3*d + 1148. Let f = s + -6388/11. Which is bigger: f or -2?
f
Let g = 175 + -115. Let c = g + -74. Is -2 not equal to c?
True
Let y = 3737/12720 + -23/80. Which is greater: 1/2 or y?
1/2
Suppose -5*b - 15 = 0, -a - 5*b = 13 - 2. Suppose -a*c = 4*x - 3 + 39, 13 = -x - 3*c. Is x > -2?
False
Let r = 283 + -283. Which is smaller: r or 4/181?
r
Let r = 3668/5 - 742. Which is smaller: r or -7?
r
Let t be 5/(195/84) + -2. Suppose -443*o + 440*o = 0. Which is smaller: t or o?
o
Suppose 182 - 208 = -2*q. Are q and 8 equal?
False
Let d be ((-4)/(-6))/((-4)/(-96)). Let k be (536/16)/((10/4)/5). Suppose -5*v + 20 + k = 3*g, 1 = -v + 4*g. Which is smaller: d or v?
v
Let g = 465.8 + -463. Let m be (15/(-20))/(1/(-2)). Which is smaller: m or g?
m
Let r be -6 + (-66)/(-36)*3. Which is bigger: r or -79?
r
Let i be ((-2)/6*10)/(7/21). Is 2 less than or equal to i?
False
Suppose -6*f + 3*f = -36. Let k(o) = -8 + 13*o**2 - 73*o - o**3 + 128*o - 66*o. Let w be k(f). Is 3 at least w?
False
Let t = 1969/4893 + -5/233. Let a be ((-4)/(-6))/((-96)/144). Which is greater: t or a?
t
Let m be (-3 + -8)*2 - 6. Which is smaller: -53/2 or m?
m
Let f = -85.52 + -5.48. Are f and -1/2 equal?
False
Let s = 56.955 - 57. Let i = 0.045 + s. Which is greater: -2/97 or i?
i
Let a(c) = c**2 + 25*c + 144. Let b be a(-16). Which is smaller: b or -1/855?
-1/855
Suppose 4*n - 7*n + p - 362 = 0, 0 = -4*n + 5*p - 490. Which is smaller: -121 or n?
-121
Let t be (-3)/(((-198)/(-4))/3). Which is smaller: 5 or t?
t
Let d = 22.94 - 15.94. Which is greater: -3/46 or d?
d
Suppose -5*w = -0*w + 90. Let g = 343 - 362. Is w at least g?
True
Let j = -33 + 28. Let y be (-2)/j*(14/(-9) + 1). Which is greater: -2 or y?
y
Let o(r) be the third derivative of -4/3*r**3 + 8*r**2 + 1/24*r**4 + 0 + 0*r. Let h be o(9). Is -3/20 at most h?
True
Let q = -1/404 - -407/1212. Is -5 at least as big as q?
False
Let y(c) = -4*c - 7. Let a be y(-3). Suppose 3*d = 12, 0*d - 4*d = -a*r - 46. Let s be (0 - -8)*r/8. Which is smaller: s or -7?
-7
Suppose -14*f + 136 - 24 = 0. Which is bigger: f or 96/11?
96/11
Let f = -1.31 - 1.89. Let n(l) = l**2 - 6*l - 8. Let w be n(7). Which is greater: f or w?
w
Let f(z) = -2*z - 16. Let d be f(-3). Is d at least as big as -8?
False
Let n = 34 - 29. Suppose 3*j + 25 = 8*j. Suppose 0 + 1 = 5*a + 4*s, n*s + j = 0. Are a and 7 non-equal?
True
Let f(b) = -4*b**2 + 8. Let p be f(-3). Let c = p - -10. Which is bigger: c or -17?
-17
Let z be (-9*5/(-180))/5. Which is greater: -4 or z?
z
Let r = 1 + 9. Let q = -14.6 + 16. Let h = q - 1.6. Which is smaller: h or r?
h
Let u be (8/(-7))/(5/(140/(-8))). Let i be (9/(-4) + 2)*u. Which is smaller: 2/33 or i?
i
Let h be 3*(-1 + 3 + -1). Suppose -2*j + 34 = -2*k - h*k, j - 3*k - 19 = 0. Is j at most as big as 4?
False
Let h = 122 - 125. Let f be ((2/h)/(-2))/((-13)/117). Is 5 bigger than f?
True
Let v be (-170)/28*3/(-90). Let u = -1/12 - v. Is u smaller than 1?
True
Let s = -111 + 111. Is s > -4/5?
True
Suppose 5*j - x = 100, 5*x = 12*j - 13*j + 20. Which is smaller: 13 or j?
13
Let o = -4.83 + 4.55. Which is greater: o or -3?
o
Suppose 34 = -3*o - 77. Suppose -168 + 358 = -5*r. Which is bigger: r or o?
o
Let b be 15/(-2)*14/7. Let h(f) = f + 3. Let v be h(b). Let o be (-7)/(2/v*3). Is 14 less than or equal to o?
True
Let g be (0/(-5 + 1 - -5))/(-3). Suppose -16*k - k - 51 = g. Let y be (4 - 0)/(-2) + -1. Is y bigger than k?
False
Let k = -4333/11 -