
Let c be 3 - (63/2)/(-7). Let y = c + -8. Let s = -0.06 - -0.16. Is y at most s?
True
Let j = 2.32 + 1.08. Let t = j - -4.6. Which is greater: t or 1?
t
Let l(m) = m**3 + 8*m**2 + 8*m + 7. Suppose 11 = -4*w - 17. Let c be l(w). Suppose 0 = -c*k + 3*k. Which is smaller: k or -2/7?
-2/7
Let q be 71 - ((-100)/(-55) - 2/(-11)). Let r = q - 69. Which is bigger: r or 0.2?
0.2
Let v = -3.81 - -3.81. Is v less than 10.4?
True
Let c(j) = -7*j - 23. Let y(s) = s + 1. Let l(h) = -c(h) - 5*y(h). Let q be l(7). Is q < 31?
False
Suppose 13*h - 4*q - 160 = 10*h, 5*h - 228 = -3*q. Is 48 at least h?
True
Let r(w) = w**2 + 6*w - 35. Let c be r(-9). Which is smaller: -29 or c?
-29
Suppose j - 5*n = -45, 2*j - 17 + 83 = 2*n. Which is bigger: -28 or j?
-28
Suppose -5*k + 2*x - 3 = 0, 2*x - 3*x - 4 = 3*k. Which is greater: -4 or k?
k
Let j = -34 - -24. Suppose -a = -18*s + 13*s + 28, -4*s + 16 = 0. Which is smaller: a or j?
j
Let m be 12/(-27) - (5 + (-7258)/1332). Which is bigger: 0 or m?
m
Let k = -21310700 + 1939187339/91. Let n = -949 - k. Let w = n + 83/364. Which is smaller: w or 0.6?
w
Suppose 3*x = -z + 5, z = 4*z + 3*x + 15. Let g be 594/(-55)*z/4. Suppose 4*f = g + 5. Is 8 at most as big as f?
True
Let g be ((4 + -5)*13)/(-3). Let c be (3/(-9))/((-3)/36). Which is greater: g or c?
g
Let r = 123 + -123. Let q be 41/130 - 7/35. Let s = -47/182 + q. Is r less than s?
False
Let u = 7.7 + -8.5. Let q = u - 2.3. Which is smaller: 2 or q?
q
Let p(y) = 6*y**3 - y**2 - 3*y - 2. Let t be p(2). Is 3 at most as big as t?
True
Let q(x) = -x**3 - x**2 - x + 47. Let p be q(0). Suppose 5*b - 5*a + 56 = -a, 4*b - a + p = 0. Let t = -17 - b. Which is smaller: t or -3?
t
Let o be (0/3 + -2)/1. Let d = -32 - o. Let v be (-32)/d + (-2)/5. Is 0.1 != v?
True
Let y(z) = -7*z - 40. Let p be y(-6). Is p bigger than 11?
False
Let t(k) = -4*k - 4. Let v be t(-2). Let y be (2/3)/(v/(-6)). Let h be y/(33/12 - 3). Which is greater: h or 1?
h
Let a be 108/(-48)*-1 + (-5)/4. Are a and -1155 nonequal?
True
Let d = 22 + 8. Let u be -1 + (-9)/((-297)/d). Suppose 2*b = 3*b. Is b greater than or equal to u?
True
Let v be (-99)/(-4) + (16/4)/16. Let u(s) = -s**2 + 25*s + 1. Let z be u(v). Which is smaller: z or 4/27?
4/27
Let p be (33/(-9) - -3)/2. Suppose 0 = 5*a - 2*a - 33. Suppose q - a = 3*d, -4*q - 3*d + 0*d = 31. Which is bigger: p or q?
p
Let b be (-162)/(-12)*1*-2. Which is bigger: b or -28?
b
Suppose -f + 5*u - 113 - 172 = 0, -1535 = 5*f - 3*u. Are f and -308 equal?
False
Suppose -16 = 11*b - 15*b. Suppose 7*c + 60 = b*c. Let u be 1*(c/34)/5. Which is greater: 0 or u?
0
Let t = 67 + -73. Which is smaller: -7 or t?
-7
Let i = 2206 - 3183. Is 1 greater than or equal to i?
True
Suppose -2*t = -2, 2*z - 5*t = -z - 5. Is z > 132?
False
Let o = -36 - -35. Suppose 0 = -8*u + 15*u + 231. Which is bigger: o or u?
o
Let w be -4 + ((-1740)/130)/(-3). Is w less than or equal to -1?
False
Let b = -338 + 338. Do -6/133 and b have different values?
True
Let w = 53 - 93. Is w greater than -39?
False
Let d = 149750 - 27404317/183. Let f = -377/1525 + 7/25. Let q = f + d. Which is bigger: q or 2/11?
2/11
Let b(m) = -m**2 + 15*m - 9. Let y be b(12). Is y equal to 3?
False
Let n be ((-4206)/4)/(-5 + 123/18). Let h = n + 573. Is h != 3/7?
True
Let g = -1232/15 + 82. Let r(i) = -6*i**2 - i**3 - 1 + 7*i**2 + 0*i + 0*i. Let c be r(1). Is c less than g?
True
Let s = -1470 - -1510. Which is bigger: 38 or s?
s
Suppose 45 = c - 0*c. Let r be ((-4)/5)/(216/c + -6). Is r equal to 8.9?
False
Let r be (2/4)/((-2)/72). Let p be (16/20)/((-1)/20). Is r equal to p?
False
Let m(x) = x**3 - 8*x**2 - 1. Let z be m(8). Let j = 0 + 2. Suppose 3*d + 30 = -4*w + d, j*d = w + 5. Which is smaller: w or z?
w
Let k = 628 + -629. Is k less than -2/87?
True
Let j(w) = 16*w**2 - 4*w + 2. Let t be j(2). Suppose 2*u + 88 = 206. Which is bigger: u or t?
u
Suppose -f - 5*m + 73 = 0, 6*m - 4*m - 457 = -5*f. Which is smaller: f or 95?
f
Let h = -65/2 + 30. Suppose 0 = -21*b - 39 - 24. Is h bigger than b?
True
Let u = 2.156 - 2.156. Which is smaller: -0.044 or u?
-0.044
Let g(r) = 2*r**3 - 11*r**2 + 26. Let f be g(5). Is f greater than 28/75?
True
Let p = -87891/2 + 434179/10. Let f = p - -530. Let l be 7/2 + 2/(-4). Is l at most as big as f?
False
Let s(w) = -w**3 - 6*w**2 + 40*w + 30. Let n be s(-10). Which is bigger: n or 33?
33
Let m be 1451/(-12) + (-98)/1176. Which is smaller: -117 or m?
m
Suppose 95*o = 109*o + 98. Which is smaller: -30 or o?
-30
Let h be 1/((-4)/6)*(-42)/(-9). Let k be h/((-7)/(-2)) - 60/(-31). Which is smaller: -1 or k?
-1
Let k be (2/54)/((-2)/(-2)). Suppose 0 = 5*v + 5*l - 20, 3*v - 3*l - 15 = -21. Which is smaller: v or k?
k
Suppose -7*y + 16 = -222. Let a = 6 - -30. Which is bigger: y or a?
a
Let u = 19 + -35. Let f = -51 + 36. Is u greater than or equal to f?
False
Let x(y) = -5*y + 17. Let s be x(14). Let d = s + 29. Let u be -8*4/d*-3. Which is greater: -3 or u?
-3
Suppose 8 = 19*q + 46. Is 144 greater than q?
True
Let t(o) = -5*o**2 + 99*o + 4. Let p be t(19). Is p bigger than 8?
True
Let m = 400 + -400. Let a(d) = -17*d**3 - d**2 - 2*d - 1. Let n be a(-2). Let v = 673/5 - n. Is v greater than or equal to m?
False
Suppose 0 = 5*t - 7 - 3. Let c be (-16)/(-24)*(-3)/t. Which is bigger: c or -3/5?
-3/5
Let v = -10 + 15. Suppose 3*k - 2*t - 3 = -0*t, v = 5*k + 3*t. Let q be 0/(-2*(0 - k)). Which is greater: -6/5 or q?
q
Let g(q) = -3*q**3 + 9*q**2 - 8*q - 4. Let c be g(-5). Is c != 637?
True
Let y = -130 + 368/3. Which is smaller: y or -7?
y
Let a(v) = v**3 - 19*v**2 + 37*v - 54. Let d be a(17). Suppose 5*r = 3*r + 10. Is d smaller than r?
True
Let m be (-1)/20 - (-1)/(-5). Let x be 328/(-28) + (-2)/7. Let v = x + 11. Is v smaller than m?
True
Let r(z) = 31*z**2 + 22*z - 41. Let f be r(2). Which is greater: f or 128?
128
Let u(v) be the first derivative of -v**3/3 - 5*v**2/2 - 7*v - 9. Let k be u(-5). Let p(g) = -2*g - 12. Let z be p(k). Is 1 at least z?
False
Suppose -61*r - 46*r + 12733 = 0. Is r less than or equal to 118?
False
Let q be (12/20)/(19/(-5) + 3). Let f be (-1 + 5)/(6/(-12)). Let c = 6 + f. Is c equal to q?
False
Suppose 0 = 2*f + 3*f + 60. Let x be 23/(-5 - 0 - -4). Let m = f - x. Are m and 12 unequal?
True
Suppose -5*m = -g + 95, 4*m - 3*m + 2*g + 8 = 0. Let x be ((-2)/m)/((-4)/(-6)). Let u = -26 + 26. Which is bigger: u or x?
x
Suppose -30*f = 7001 + 1849. Is f smaller than -295?
False
Suppose 7*r + 40 = -1780. Are -259 and r nonequal?
True
Let h = 42 - 37.2. Let w = 3.3 - h. Let i = w - -1.6. Which is smaller: -19 or i?
-19
Let y = 402 + -406. Is -2 > y?
True
Let s be ((-798)/132 - -5) + (0 - -1). Is s greater than or equal to 0?
False
Let y(n) = n**2 - 6. Let m be y(3). Let z(c) = 5*c - m*c + c + c**2 + 5 + 2*c. Let f be z(-2). Is -6/7 less than f?
False
Let m = -16 - -14. Let l = -967.97 - -968. Are l and m unequal?
True
Let j = 10873 + -10873. Let p = 2/23915 - 48412/6959265. Is j < p?
False
Suppose -6*n + 61 + 59 = 0. Let z be 82/4 - 1/(-2). Which is smaller: n or z?
n
Let a = -63/407 + 32672/19129. Is 1 < a?
True
Let k = 25 + -24. Let m be -13 - -12 - (11 + 0)*k. Do m and -12 have the same value?
True
Suppose 5*j = d + 1, 2*d = -2*j + 3 - 5. Let a be j + 2 + 2 - 5. Is a greater than -2/211?
False
Let y = -0.0562 + -5.9138. Let d = y - -6. Let m = -0.83 + d. Which is smaller: m or -1/4?
m
Let p(a) = -a**2 + a. Let k(h) = -h**2 - 4*h - 8. Let b(y) = k(y) - 2*p(y). Let x be b(7). Let t = -3553/15 - -237. Which is bigger: x or t?
t
Let y be (-63)/(-6)*8/744. Is y at most as big as -1?
False
Suppose 0*o = 3*o - 24. Suppose -4*h - 6 = -5*n, -3*n + h - 1 = -6. Suppose -d + 2*d = p + 13, -n*p = 2*d - 10. Does o = d?
False
Let b = 15/7 + 123/7. Which is smaller: b or 21?
b
Let d be (813/153 - 5)*(-5493)/(-2). Let z = 862 - d. Does z = 0?
False
Suppose 0*s + s - 2 = 0. Suppose -i - w = 2, -i + 5*w + s = 2*i. Let p be i - -1 - (9 + -6). Is p greater than -3?
False
Let h be 17/((-68)/(-24)) + 194. Which is smaller: h or 201?
h
Let f = -574.3 - -574. Which is bigger: f or -5?
f
Let v(a) = -a**2 - 2*a - 36. Let z be v(0). Let s be ((-1011)/z)/((-2)/(-28)). Let i = -394 + s. Which is greater: -0.1 or i?
-0.1
Suppose 2*g - g - 12 = 0. Suppose -5*u + 0*m = 3*m + g, 5*u - 4*m + 19 = 0. Is -12 not e