)/4)/5 - (-138)/312. Which is greater: f or 0?
0
Let p = -0.12 - 0.98. Let u = p + 0.1. Suppose -2*q = 4*w - 4, 0 = -3*w - 3*q + 2*q + 5. Which is greater: u or w?
w
Suppose a - 5 = -3. Let x(g) = g**3 + 10*g**2 + 10*g + 8. Suppose 0 = 5*h - 6 + 51. Let s be x(h). Is s less than or equal to a?
True
Let z = 44 - 46.02. Let b = z + 0.02. Is 2/3 less than or equal to b?
False
Suppose 0 = -s + 5 + 3. Which is smaller: s or 15/2?
15/2
Suppose -3*r = -8*r + 50. Suppose 0*l + r = -5*l. Let v = 22 - 45/2. Is v at least as big as l?
True
Let b(z) = z - 2. Let u be b(2). Let d = u - 2. Suppose t - 2*s = 3*s + 20, -2*s = t + 8. Which is greater: t or d?
t
Let h = -25 + 28. Is h greater than or equal to -2/3?
True
Let f(m) = -m**2 - 11*m + 12. Let y be f(-12). Let i = 23059178/21 - 1097754. Let u = 302 - i. Which is greater: u or y?
y
Let z(x) = -x**3 - 8*x**2 - 6*x + 10. Let p be z(-7). Suppose -r = -p*l + 14, 5*r + 3*l = 4 + 16. Is 1/9 at most r?
True
Let o(x) = x**3 - 3*x**2 + x - 4. Let p be o(3). Let j be (0 - 3) + 6 + -219. Let r be (-6)/j + 2/9. Is r at least p?
True
Let c = -527 - -2119/4. Is c less than or equal to 4?
True
Let w = -39 + 94. Let r be (-216)/(-22) - (-10)/w. Suppose 2*o + 2*o + 2*d - r = 0, -2*o - 4*d = 10. Is o at least 4?
True
Let h = -120/17 + 906/85. Is 5 less than h?
False
Let m = -3.4 + 3.4. Is m >= 21?
False
Let y be 12/(96/(-50)) - 3/4. Is -5 less than or equal to y?
False
Suppose 112 = -b + 5*b. Let x = b - 85/3. Suppose 0 = 5*j - 5. Is x < j?
True
Let q(m) = m**2 + 4*m - 3. Suppose -5*p = 0, -u = -5*p + 1 - 3. Suppose u*r - 5 = -15. Let k be q(r). Is k equal to 4/5?
False
Let o(h) = 12*h**2 - h - 1. Let q be o(-1). Let m be (-408)/(-33) + 8/(-22). Are q and m equal?
True
Let l(a) = -a**3 - 2*a**2 + 1. Let b be l(-1). Which is smaller: -2 or b?
-2
Let n = 2.4 - -1.6. Is n at most 1?
False
Let d(a) = a**2 + 8*a - 2. Let f be d(-8). Is 0.5 < f?
False
Let o be 38/(-5) - 6/15. Is o greater than or equal to -7?
False
Suppose 8*x - 4*x = 0. Suppose x = -4*k - 4, 4 = 5*j - k - 2. Which is smaller: 3/17 or j?
3/17
Let g = 23 - 25. Is -4 < g?
True
Suppose 2*h + 5 + 1 = 4*r, 5*h = 2*r + 17. Do 6 and r have different values?
True
Suppose 14*l - 5*l + 315 = 0. Which is smaller: -36 or l?
-36
Let p = 690 - 696.06. Let r = p + 6. Is -1 less than r?
True
Let w = -119 - -118. Let i(s) = -s + 3. Let c be i(6). Which is bigger: w or c?
w
Suppose -3*s = p + 5, -4*s - 3 = 5*p - 0*p. Let q = 9/14 - 1/7. Which is greater: p or q?
p
Suppose -152 = -3*i - i + 4*l, -5*i + 4*l + 192 = 0. Suppose 4*g = -g + i. Is g greater than or equal to 8?
True
Let y be (1 - 2) + 5/(-1). Let m = -1 - y. Suppose s = m*s. Is s equal to -4/3?
False
Let b = -0.35 + 0.17. Let j = b - 0.82. Are j and 0 equal?
False
Suppose -4*i = -3*i - 1. Suppose 0 = -4*a - 4*j, 0*a - i = -4*a - 5*j. Which is smaller: a or -3?
-3
Let t be (-2)/(-24) + -1 - 16/(-48). Which is smaller: -1 or t?
-1
Suppose -3*h - 3*s + 13 = -5*h, 4*h + 2*s + 2 = 0. Let n be -6 + 1/(1/2). Is n less than or equal to h?
True
Let y = 4.5 - 7. Let w = y - 0.5. Which is bigger: 0.1 or w?
0.1
Let s(g) = -g**3 + 10*g**2 - 9*g. Let f be s(8). Is f at most 56?
True
Suppose -2*w = 3*h - 5 - 22, -3*w = h - 30. Let p = w - 7. Do -1 and p have the same value?
False
Let b = -2 + 2. Suppose -4*m + b*m + 4 = 0. Let r = 5/6 + -1. Which is smaller: r or m?
r
Suppose -16*s - 3 = -13*s. Suppose 4*d = 2*d - 4. Which is smaller: s or d?
d
Let i = 21 + -30. Is -10 at least i?
False
Suppose -5*v - 64 = -4*a, -46 = 4*v + a + a. Is 2 <= v?
False
Let r be (-1)/2*-1*4. Let s be -2 - (3 - (-1 + r)). Which is bigger: -2 or s?
-2
Let c(g) = g**2 + 14*g + 15. Let h be c(-11). Which is smaller: h or -19?
-19
Let q = 0.04 + 1.96. Which is smaller: 0.2 or q?
0.2
Let i = 0 + 2. Are i and 0.026 equal?
False
Let q be 1470/(-9) + 0 + -1. Let n = q - -167. Which is smaller: n or 3?
n
Let k be 1/(-5) + 1566/30. Suppose -y + k = 33. Is 19 at most as big as y?
True
Let o = -18 + 21. Which is bigger: 5 or o?
5
Let a be (-1)/4 - 65/(-12). Let c = 11/2 - a. Which is smaller: c or 1?
c
Suppose 5 + 9 = -2*r. Let x = -12 - r. Is x greater than -4?
False
Suppose 0 = 5*g - 4*a - a - 5, 2 = -5*g - 2*a. Let y = 1489 + -58066/39. Let p = y + -6/13. Is g >= p?
True
Let i(k) = -2*k**2 + k - 2. Let h be i(0). Which is bigger: -1/2 or h?
-1/2
Let h be ((-20)/(-6))/((-2)/(-6)). Is 2 greater than or equal to h?
False
Let o = 10 + -7. Let y = 2 - -1. Suppose y*v = 7*v - 12. Is v <= o?
True
Let p = 689 - 2119/3. Let i = p - -47/3. Is i greater than -2?
True
Let b(u) = -u + 1. Let m be b(3). Let k = -1 - -1. Do k and m have different values?
True
Let w be (-2)/7 + 31/(-14). Suppose -4 = -s + 2*x, 4*s = 2*x - 0 - 8. Which is smaller: s or w?
s
Let p(j) = j + 13. Let h be p(-7). Let k be (-4)/16*h/3. Are 0 and k unequal?
True
Let c = -0.8 + 1. Let z = 0.19 + -1.09. Let p = 0.1 - z. Which is smaller: p or c?
c
Let f = 0.371 - -0.029. Is f less than -4?
False
Let a be -9*((-18)/(-243))/(2/(-6)). Which is greater: a or -0.7?
a
Suppose 0 = 24*m - 19*m + 15. Which is bigger: -7 or m?
m
Suppose 0 = -2*z - 3*y - 11 + 448, 3*z + 3*y = 654. Let q = -49440 - -347595/7. Let p = q - z. Which is smaller: 0 or p?
p
Let f(h) = h - 5. Let j be f(6). Let g = -103 - -63. Let t be 4/(-14) - g/42. Is t less than j?
True
Let c be 0/(-2)*-4*2/40. Which is greater: c or 1/2?
1/2
Suppose -19 = -u - 20. Which is smaller: u or -3/7?
u
Let j(s) = -s**3 - 5*s**2 + 6. Let v be j(-5). Let d be 10/v + 1/(-1). Is d not equal to 0?
True
Suppose 6*w = -0*w - 180. Which is smaller: -29 or w?
w
Let c(j) = -j**2 + j - 1. Let k(h) = -3*h**2 - 2*h - 3. Let q(y) = -2*c(y) + k(y). Let b be q(-4). Let d be 3/(-6)*(1 - 1). Which is smaller: d or b?
b
Let k = 20.7 + -21. Which is bigger: 2 or k?
2
Let x = 4 + -4. Let s = -0.8 - -0.85. Is x less than or equal to s?
True
Let d be 76/20 - (-3)/(-5). Which is smaller: 3 or d?
3
Let b be (-3)/(-1) + 1 + 588/(-146). Is b bigger than 1?
False
Let m(x) = -11*x + 2. Let l be m(-1). Let y be 2/(2/6*2). Suppose 4*p = -5*n + 21, -n = -0*n + y*p - l. Are 2 and n equal?
False
Let y = 17/26 - 15/13. Is y >= 0.4?
False
Let w be ((4/(-3))/((-16)/24))/2. Suppose -5*c = -2*a + 3 + 4, -2*c = a + 1. Do a and w have the same value?
True
Suppose -r - 2*a = -3, -5*r = -0*r - 4*a - 85. Let l = r + -11. Which is greater: -1/5 or l?
l
Let g = -171 - -170. Which is smaller: -3/22 or g?
g
Let d = -3 + 4. Let k = 1552/3 - 532. Let r = k + 14. Does r = d?
False
Let m be ((-1)/3)/(70/15 + -5). Do -2/239 and m have different values?
True
Let x be (-8)/(-3) - (-10)/(-15) - 3. Which is bigger: -2/111 or x?
-2/111
Let z(t) = -t**2 - 4*t - 4. Let k be z(-3). Is k != -5?
True
Suppose -2*u + 3*x - 9 = 0, -3*x - 4 + 1 = 0. Which is smaller: -3 or u?
u
Let l = 10 - 11. Which is greater: l or -1/2?
-1/2
Let d = -2 - -12. Let r be 90/(-25)*(-20)/8. Does d = r?
False
Let m = -47 + 27. Are m and -19 unequal?
True
Let q be (-3 - -2) + 0/1. Let v be (-1 - q) + 2/9. Let t(p) = -p**3 - p**2 + 1. Let f be t(-1). Is f != v?
True
Let p = 11 - 8. Let o be (2*p/3)/2. Which is smaller: 1/3 or o?
1/3
Suppose -15 = 5*t - 4*b + 1, -3*t - 5*b + 20 = 0. Let j = 51 + -151/3. Do t and j have the same value?
False
Suppose 0*h = -4*h. Let i = 102719 + -1537213/15. Let w = i - 238. Which is bigger: w or h?
w
Suppose -14 = -5*w - 4. Suppose x + w*x - 24 = -4*f, -4*x = 0. Is f at most 6?
True
Suppose 2*z = 2*d, -1 = -3*z - z + 5*d. Which is smaller: 0 or z?
z
Let k = -3 - -5. Suppose -14 = -h - 8. Suppose 0*u = -k*u - h. Is -2 not equal to u?
True
Suppose -4*g + 44 = 16. Let x be 5 + -3 - g/3. Let l(z) = z**2 - 2*z. Let f be l(0). Is x at least as big as f?
False
Suppose 6*j - 5*s + 28 = 2*j, -4*j + s - 12 = 0. Let y be 242/8 - (-4)/4. Let k = y + -32. Which is bigger: j or k?
k
Let x = -3/4 - -5/4. Is 2/9 at most as big as x?
True
Suppose -28 = -4*o - 3*j - 11, 5*j - 5 = -2*o. Let n be (-15)/24*(-2)/o. Let v = -3 + 4. Is n at most v?
True
Suppose 0*r = r + 2*y + 6, 4*y - 72 = 5*r. Let s be ((-8)/(-10))/(r - -11). Which is bigger: 0 or s?
0
Let m be (-114)/27 + (0 - -4). Which is smaller: -1.5 or m?
-1.5
Let u(z) = z - 4. Let l be u(8). Let x = 0 + l. Suppose -8 - x = -4*c. Does c = 4?
False
Let m be ((-1)/6)/((-1)/(-2)). 