
-0.3
Let d be (-2)/16 - 55*284/8160. Which is bigger: d or -2?
-2
Let y = 364618161/215 - 1695903. Let x = y - 1/43. Let v = x + 4. Is v greater than or equal to 2/15?
False
Suppose 2*s = -0*s - 2*d, 3*s - d = 0. Let m = 6 + s. Let n = m - 27/5. Is n greater than 1?
False
Let s be ((-10)/30)/((-1)/(-9)) + (-13 - 8). Suppose 3*u - 7 = -1. Is u > s?
True
Let m be (-36)/(-16) - (-1)/(-4). Let v be (2 - -1) + 1 - m. Let f be (12/(-28))/((-3)/v). Is -1 at most f?
True
Let r = 563.7 - 575. Which is greater: r or 1?
1
Suppose 2*t = q + 137, -8*t + 5*t - 4*q + 211 = 0. Is t at most as big as -6?
False
Let f = 14877937/35598255 - -5/64141. Let v = 2/111 - f. Which is smaller: 0 or v?
v
Let t = 4.7 - -0.3. Let s = -70281/10 + 7028. Is s != t?
True
Let v = 736 + -763. Is -22 equal to v?
False
Let i = 8.31 - 8.38. Is 35 smaller than i?
False
Let n be (-3)/(21/(-6) + 2). Let k(f) = f**3 + f**2. Let j(h) = 3*h**3 + 10*h**2 - 1. Let a(o) = -j(o) + 4*k(o). Let m be a(6). Which is smaller: n or m?
m
Suppose -x + 90 = 2*j, 5*j - 95 = -3*x + 128. Which is greater: j or 46?
j
Let f be (3 + 3)/(-6)*(11 - 66). Are f and 55 nonequal?
False
Let r = -1.6 + 2. Let v = 1.3 + -1.6. Is v less than r?
True
Let w(c) = -2*c**3 - 2*c**2 + 6. Let v be w(0). Suppose -4*j - 3*n + 50 = 0, 0 = 5*j - 3*n - 5 - 71. Let p be (v/j)/((-9)/(-15)). Which is greater: p or 0?
p
Suppose 4*g = -2*j, -3*j + 0 = 5*g + 2. Let y be 13/5 - g/(-5). Suppose -k - 11 = y. Do 0.1 and k have different values?
True
Suppose -4*y - y = -4*t + 34, -3*t + 5*y = -28. Let x be (t/15)/(11/10). Suppose 4*j = 5*o, o = 3*j - o. Which is smaller: x or j?
j
Let a(u) = -19*u - 34. Let j be a(-3). Which is smaller: j or -4?
-4
Suppose -4*y + 3 + 5 = 0. Suppose 5*m + 4*h = -y, h - 1 - 5 = 2*m. Let f = m + 6. Is 3 greater than f?
False
Let b be 15/(-10)*(-8)/3. Let z be (1/(b/(-20)))/(-1). Suppose z*x + g + 20 - 2 = 0, 3*g = -5*x - 24. Is 0 != x?
True
Suppose -4*i + 9 = -2*d - 115, 0 = i - 4*d - 24. Suppose 34*x = i*x + 24. Suppose -72 = -5*w - 7. Is w not equal to x?
True
Let w = 1755/8 - 75469/344. Let l be (5/(-20))/((-2)/8). Is l greater than or equal to w?
True
Let r = 27 + -46. Let w = r + 14. Let k be (-319)/440 + (-3)/w. Which is greater: -0.1 or k?
-0.1
Suppose -1904*u = -1915*u - 11. Is u greater than or equal to -290?
True
Let d be 1/(-7) - 2808/(-27594). Is -1 equal to d?
False
Let q(x) = 4*x**2 - x + 2. Let k be q(2). Suppose h + 20 - k = 0. Let i be -4 - -4 - h/(-18). Is 0 >= i?
True
Let a be 3/2*(-56)/42 + -19. Which is smaller: -1/4 or a?
a
Suppose -7*g + 5*x - 550 = -2*g, x - 530 = 5*g. Let b be (-2)/(6/g) + 4. Is b bigger than 40?
False
Suppose -w + 11 = -18. Let b = w + -28. Is -1/6 at most b?
True
Let j = 67.5 - 78. Let a = -10.5 - j. Suppose 5*n + 12 = -33. Which is smaller: a or n?
n
Let f = 0.0742 - -0.0258. Which is smaller: f or -168?
-168
Let u = 18 - 11. Let s be (-6)/9*111/2. Let m = s - -40. Which is smaller: m or u?
m
Let a(x) = 5*x**2 - 1. Let w be a(1). Let s = 696 - 698. Which is greater: s or w?
w
Let f = 68 - 15. Let w = f - 122. Is w at least as big as 1?
False
Suppose -3*g = 2*g. Let w be (1 + g - 14) + -4. Let t be -4 + 0 + w/(-3). Which is smaller: 2 or t?
t
Let m(u) = -4*u + 7. Let r be m(-3). Let v = -2 - -2. Which is smaller: v or r?
v
Let u = -303 + 2123/7. Which is greater: u or -0.142?
u
Suppose 5*h - 5 = 2*d, 3*d + d = -3*h + 3. Let b = -4 + 8. Suppose d = b*c - c - 15. Which is bigger: 4 or c?
c
Let b = 2/507 - 1537/4056. Let g(v) = v**3 - 9*v**2 + 11*v - 17. Let i be g(8). Suppose 0 = 4*f + 3*u - 2, 5*f = 4*f - 4*u + i. Are b and f equal?
False
Suppose 0 = a - 2*a. Let n be a/(1 + 2 - 1). Let l(d) = -d**2 - d - 9. Let x be l(n). Which is bigger: -0.1 or x?
-0.1
Let m(h) be the third derivative of h**5/60 + 7*h**4/24 + h**3 + 5*h**2. Let j be m(-6). Let u = j + -1. Which is smaller: -1/6 or u?
u
Let y = 82975/11 + -7551. Which is greater: y or -8?
y
Let l = 9 - 11. Let m be (l/90)/(11/(-321)). Let p = 15/22 - m. Which is smaller: p or -1?
-1
Let y(m) = 5*m**2 + 17. Let q(i) = i**2 + i - 1. Let v(a) = 3*q(a) - y(a). Let p be v(0). Does p = -19?
False
Let t = -287/6 + 1913/42. Which is smaller: -3 or t?
-3
Let x(d) be the second derivative of -d**5/20 - d**3/3 - d**2/2 - 5*d. Let g be x(-1). Let p be (-115)/35 + 1 + g. Which is smaller: p or 3/8?
p
Let n = -39 - -42. Let d be (n/30)/((-1)/4). Suppose -4*t = -0*t. Is t bigger than d?
True
Let b be (-13)/(-26)*(-1 - 1). Let k = -6.2 + 2.2. Are b and k equal?
False
Let c = -21763 + 21763. Let q = -0.21 - -2.41. Which is smaller: c or q?
c
Let l be (2 - 0 - 8)*-1. Let c = 207/4 - 533/12. Which is bigger: l or c?
c
Let i be (-1 - 0)*(2 - 2). Suppose -c + 9 = 3*h, -3*c + i*h = -3*h + 9. Suppose -4*f = -c*f + 3*t - 12, 2*f - 2*t = -8. Is 1/9 at most f?
False
Let i = -28 - -162. Is 0 != i?
True
Suppose -4*i + 30 = -3*q, -3*q - 50 = q - 2*i. Let r = -11 - q. Let j = -9 - -10. Is r at least j?
True
Let h be -10 + (-3 + 14 - 3). Which is smaller: -21/40 or h?
h
Suppose -11*y - 8 = -7*y. Let v = -1039.12 + 1039. Is v equal to y?
False
Let x = 41 - 43. Let u be 1179/(-45) - x/10. Is -25 less than u?
False
Suppose 0 = -4*w - 4. Let r = -361/9 - -40. Is r bigger than w?
True
Let o be (8/21330)/((-378)/945). Is -1 equal to o?
False
Let i(b) = 3*b**3 - b**3 + 5*b**2 + b**2 - b**3. Let v be i(-5). Suppose -2*o + 18 = 5*u, 3*o + 5*u - v = 8*o. Is o smaller than 4/21?
True
Suppose 0 = -2*w - 12, -4*w = -2*p + 33 - 11. Let v = 2/2615 + -10514/70605. Is p > v?
False
Suppose -y - c - 10 = 3, 4*y = c - 42. Suppose i + 5*z = -20, 0*i + 2*i - 4*z = -12. Is i greater than y?
True
Let i(k) = -7*k - 9. Let s(z) = 3*z + 5. Let u(f) = -2*i(f) - 5*s(f). Let m be u(-5). Let o be (-3)/36 - m/8. Which is bigger: -1 or o?
o
Let q(a) = a**2 + 7*a - 9. Let h be q(-8). Let x be (-9 - 5)*h/1. Suppose 5*o - x + 0 = -m, m - 3*o - 6 = 0. Is m less than or equal to 10?
True
Let q = -1 + 0. Let y be (1 - q)*(-3)/6. Let r = y - -8. Is r less than 7?
False
Let h = -0.65 + -0.35. Let k = -3 - -3. Suppose 5*p - 5*c = 3*p + 2, k = -2*p + 3*c - 2. Which is smaller: h or p?
p
Let g = 29862/13 + -2468. Let x = g - -171. Do x and 0 have the same value?
False
Let d = 8 - 7.2. Let r = -9 + 10.2. Let x = -1.2 + r. Is x bigger than d?
False
Suppose -5*v - 11 = -6. Let i be 1/9 + 195/(-135). Which is bigger: i or v?
v
Let t(l) be the first derivative of 117*l**2/2 - 2*l - 2. Let g be t(2). Let q = g - 3014/13. Which is bigger: q or -0.2?
q
Let c = 13 - 9. Let i be (-1 - (-7)/2)*(-32)/(-20). Is c at most i?
True
Let q be (-1758)/9*36/14. Suppose 2*b - b = 500. Let d = q + b. Are -2 and d equal?
False
Let n = 6 + -12. Let k = -8 - n. Let v be k/(-7) - (-79)/(-7). Is v at most -12?
False
Let c = 0.21 + -1.7. Let i = 1.98 - 3.38. Let d = c - i. Do d and 0 have the same value?
False
Let z = 268.8 + -269.8. Is z bigger than -105.9?
True
Suppose 295 - 376 = -3*z. Which is greater: 28 or z?
28
Suppose -74*b = -563 + 2783. Let d = -67 - -37. Is b greater than or equal to d?
True
Suppose -2546 = -141*n + 122*n. Which is bigger: n or 131?
n
Suppose 56 - 966 = -5*l. Which is greater: l or 544/3?
l
Let n be 2/4*(-1 + -1). Suppose -2*u + 127 = 117. Let z be n/u - 7/140. Which is smaller: 0 or z?
z
Suppose 2*a - 2 = -0*m + 2*m, m - 8 = -2*a. Suppose -6 = 4*w - 2*c, 5*c = w + 3*w - a. Let z be ((-2)/4)/(w/(-6)). Is -1/7 at least z?
True
Let w be (42/12)/((-165)/(-10)). Which is smaller: 0 or w?
0
Let v(b) = -2*b**3 + 3*b - 3. Let n(r) = -r**2 + 8*r - 5. Let c be n(7). Let x be v(c). Is x at least -12?
False
Let x be (358/488)/1 + (-117)/156. Let w be (5/(-10))/(2/4). Which is smaller: x or w?
w
Let l(h) = -2*h + 9. Let c be l(7). Let i = c + 5. Let t be 1/(1*(7 - 8)). Which is smaller: t or i?
t
Let q = 1 - 0.9. Let r = 797 + -13541/17. Which is bigger: r or q?
r
Let j be (-54)/12*(7 - -9). Which is greater: j or -65?
-65
Suppose -w - w + 35 = q, 2*q = 4*w - 50. Suppose 0 = -4*z + 5*o + 20, -3*z - 2*o + w = -0*o. Suppose -7 + z = -2*n. Which is smaller: n or -1/4?
-1/4
Let u = -429 - -330. Is u less than or equal to -100?
False
Suppose -u + 8 = -3*f, 5*u - u - 3*f = 14. Suppose -u*n = -3*n - 0*n. Is n at most as big as 7?
True
Let r = -6 + 6.34. Let d = -0.22 + r. Do 1 and d have different va