t k be z(w). Is 4 < k?
False
Let c(y) = -2*y + 1. Let s be c(5). Let m = 157 + -158. Is m at most s?
False
Let f = 1303/15 - 87. Let a be 1*(-2 - 0) + 20. Let m be ((-12)/a)/(2/3). Are m and f equal?
False
Let s be 9/20 + (-4)/8. Is -1 < s?
True
Let r be 2 + (-3 - -7) + -3 + 11. Which is bigger: r or 15?
15
Let l(k) = 19*k**2 - 3*k + 3. Let h be 8/(-40)*(-2 - 3). Let v be l(h). Does v = 18?
False
Let h = 4 + -4. Let f be (-2 - h)*(-2 + 3). Which is bigger: 3 or f?
3
Let z(q) = -q - 2. Let v(u) = -4*u**2 - u. Suppose 2*c = -2 - 0. Let n be v(c). Let p be z(n). Which is smaller: p or 3?
p
Let m = -9 + 10. Suppose -3*u + 13 - m = 0. Which is bigger: u or 3?
u
Let n be 1/1 - (-2)/(-3). Let x be (-8)/14 + (-6)/14. Is n greater than x?
True
Let f be -1 + 0 + (-3 - 0). Let w be 0*(1 - -3)/f. Which is smaller: w or 1/13?
w
Let s be ((-14)/(-21))/((-2)/(-27)). Let p be (1/(-3))/(3/s). Which is smaller: p or -2?
-2
Suppose -4 = -4*r + 12. Suppose 3*h - y = -5*y + 3, 12 = -4*y. Are r and h unequal?
True
Let l = -3 + -4. Let y = 3 + l. Let f = y + 4. Which is bigger: -4/3 or f?
f
Let q(g) = -g - 2. Let k be q(-2). Let j be -3 + (2 - k - 0). Let x = -3/4 - 0. Which is bigger: x or j?
x
Let v = -1/3 + 1/12. Let k(f) = f**3 - 5*f**2 + 3*f + 5. Let g be k(4). Which is smaller: v or g?
v
Let q be -3 + (-1)/((28/16)/7). Are q and -7 equal?
True
Let y = -4.5 + 0.5. Let f = 5 + y. Which is bigger: f or 0?
f
Suppose -4 - 18 = y. Let t be 8/6 + y/12. Let s(f) = -f**3 + 6*f**2. Let k be s(6). Is t greater than or equal to k?
False
Suppose 2*a + l - 8 = 0, -2*a + 0*a + 20 = -5*l. Suppose a*c = w + 4*w - 15, 0 = 4*w - c + 3. Is w less than or equal to -1?
True
Let g = 2/105 + -16/105. Is g at least 1?
False
Let t(o) = o**3 + 4*o**2 + 2*o + 5. Let z be t(-4). Let x = -4/21 + -31/21. Is z < x?
True
Let l = -13 + 17. Suppose 10 - 22 = -t - 2*r, -l*t + 20 = r. Let a(g) = g. Let m be a(3). Is m at most as big as t?
True
Let n be 0 + -2 + (-48)/(-22). Let y(d) = -4*d**3 + d**2 + d. Let a be y(-1). Let u = -5 + a. Do n and u have the same value?
False
Suppose 0 = -y - 3*d - 6 + 72, -4*y + 297 = d. Which is greater: y or -0.1?
y
Let n(c) = c**2 + 7*c + 6. Let k be n(-4). Let f = k - -18. Suppose -4*j + f = 6*g - 2*g, -3*g = -2*j + 11. Is -2/3 at least as big as g?
True
Let n = 0.1 - -0.5. Let a = n + -0.3. Let b = -0.5 + a. Which is smaller: b or -0.1?
b
Let i = 41798/43 + -972. Which is bigger: i or 1?
1
Let j = 11 + -16. Let d be 10/(-6)*(-1)/5. Which is greater: d or j?
d
Let g = -27 - -43. Let t = g - 14.8. Let j = t - -3.8. Is j greater than 1/4?
True
Let b = 1855/4 + -468. Is 1/3 bigger than b?
True
Let b = 11 - -19. Suppose 15 = -3*j - 39. Let c be (-6)/b*10/j. Is c at most as big as -1?
False
Let o = 6.94 + -7. Let j = o - -0.16. Do 0.2 and j have different values?
True
Suppose 0 = 2*g - 2*c - 8, 0 = 5*g + 3*c + c - 11. Do g and 4 have different values?
True
Suppose 2*h + 12 = u, -4 = 4*u + 5*h - 0. Does u = 7?
False
Let h(q) = q**3 + 3*q**2 - 9*q - 9. Let k be h(-6). Let v = 33 + k. Let r be (-4)/10 - 32/v. Which is smaller: r or 3?
r
Suppose -4*u = 13 - 5. Let b = -79 + 78.9. Is b smaller than u?
False
Let w be 4 - (-1 - 3/(-3)). Let b = -9 + 12. Which is smaller: b or w?
b
Suppose 1 = 5*r - 39. Let o(g) = -g**3 + 7*g**2 + 6*g + 10. Let k be o(r). Which is greater: k or -5?
-5
Let h = 16 - 19. Which is bigger: -5 or h?
h
Suppose -1 = -2*v - 3. Let g = -1533383/275 + 5575. Let b = -28/25 - g. Which is greater: v or b?
b
Let q = -3 - -3. Let c be (q/(-1))/(1 + 0). Which is smaller: c or 0.3?
c
Let x be (-1)/3 - 4/6. Let h be 30/56 - (-48)/(-168). Is x equal to h?
False
Let p = 2 + -2. Let b(r) = r - 8 + 2 + 8. Let v be b(p). Which is greater: 1/4 or v?
v
Let c = -29 - -89/3. Let z = 1 + -3. Let f = 2 + z. Which is smaller: c or f?
f
Let i = 2 - 0. Let l = -95.1 - -95. Which is greater: i or l?
i
Let q be (-12)/(-21) - 18/105. Suppose 4*l - 5*f = -1, 4*l - 2*f = 8 + 6. Suppose 0 = 5*z + 3*d - 7*d + 15, -z = d - l. Is q at least as big as z?
False
Let q = 69 - 205/3. Suppose 18 = 4*c - 10. Let m(t) = -t**2 + 6*t + 8. Let n be m(c). Is q less than or equal to n?
True
Let g = -27 + 17. Let v be ((-1)/2)/((-15)/g). Are -1 and v equal?
False
Suppose -j - j = 6. Which is greater: j or -5?
j
Suppose 2*v = 15 - 5. Let h be v/(-15) - (1 + -2). Is h bigger than 1?
False
Suppose -2*i = -3*i - 14. Is i smaller than -13?
True
Let q be 2 + 572/(-96) + 4. Which is smaller: q or 1?
q
Suppose 5*l + o + 5 = 73, -l = -2*o - 7. Which is smaller: l or 12?
12
Suppose 48 = 3*y + 3*u, -2*y - 3*u = -3*y + 8. Let h be (1 + (-2)/y)*7. Is 6 less than h?
False
Let y = 5.02 - 5. Let c = 30 - 61/2. Which is smaller: c or y?
c
Let v(b) = -b**2 - 1. Let r(g) = g**2 - 2*g + 5. Let u(o) = r(o) + 3*v(o). Let i be u(-2). Is i equal to -2?
True
Let t be (-1)/(-4) - (-9)/(-4). Suppose 5*o + 10*o = 15. Do o and t have different values?
True
Let p = 0 + -0.1. Let o be (146/50 + -3)*(-10)/8. Which is greater: o or p?
o
Let v = 1 + -2. Let b be 40/(-140) - 6/(-70). Which is bigger: b or v?
b
Suppose 3*n + 16 = 1. Let f = n - -6. Which is smaller: f or -2/11?
-2/11
Let u be (3/6)/(1/2). Let l = 188472 - 43536961/231. Let o = l + 2/77. Which is bigger: u or o?
u
Let p = -0.2 + 0.4. Let t = 10 - 7. Let h be ((-2)/t)/(6/(-9)). Which is bigger: h or p?
h
Let u = 0.9 + -0.6. Which is smaller: 0 or u?
0
Let h = 1/8 + -3/8. Let p(k) = 3*k + 0*k + k + 1 - k + k**2. Let s be p(-3). Which is smaller: h or s?
h
Let q(p) = -p**3 + 4*p**2 - 3*p + 7. Let x = 19 + -16. Let w be q(x). Is w at most as big as 5?
False
Let d = -0.14 + 0.04. Is d greater than -1.3?
True
Let k = -0.5 + 0.62. Let l = 0.22 - k. Which is bigger: -6 or l?
l
Let l = -14882/17 + 875. Which is greater: l or 1?
1
Suppose -4*t = -3*t + 2. Which is greater: t or -7/4?
-7/4
Let h be 4/(-12) - (-34)/(-6). Let i be (h + 3)*1/3. Which is greater: i or -1/3?
-1/3
Let m be -2 + 3 - 1 - -3. Suppose 4*j - 32 = -3*y, 4*y = m*j + j - 4. Suppose 2*v - 8 - 9 = -3*r, -j*r = -v - 24. Which is greater: -0.3 or v?
v
Let w = 2 + 0. Suppose 5*r = 3*u + 29, 6*r - 22 = 2*r + 2*u. Which is smaller: r or w?
w
Let r = -0.05 - -3.05. Let c = 4 - r. Suppose -2*a + 1 - 3 = 0. Which is smaller: c or a?
a
Let p(w) = w**2 + 2*w - 27. Let a be p(4). Let v = -3 - -1. Is a at least as big as v?
False
Let s = 2.8 - 2.89. Let w = -136/315 - -2/63. Which is smaller: w or s?
w
Suppose t = -4 + 5. Let g be -1*(-1)/(-3)*-3. Let s = t + g. Is 2 != s?
False
Let z be (3 - 6) + 2 + 1. Is -2/53 at most as big as z?
True
Suppose 3*r = 32 - 5. Suppose n - 5*t - r - 15 = 0, t = n - 4. Which is smaller: n or -3/13?
n
Let f = -6.38 - 1.32. Let j = f - -8. Let l = -17/3 + 6. Which is greater: l or j?
l
Let u(x) = -x**3 + 5*x**2 - 3*x + 1. Let o be u(4). Let f be 11/(-2) + (0 - 0). Let q = f + o. Which is greater: -2 or q?
q
Let f be (-2)/(-3) - 4/6. Let w(y) = 15*y - 3. Let i be w(3). Let p be -2 + 0 + i/18. Which is greater: p or f?
p
Let d be (12/24)/((-2)/4). Which is smaller: d or -2/19?
d
Let y be (-1)/(-2)*(-150)/(-5). Let q be (24/y)/4 + -1. Which is greater: q or 0.3?
0.3
Suppose -2*n + 13 = -5*x - 1, -n = -2*x - 5. Are -6 and n unequal?
True
Suppose -5*r + 4*s - 2*s = -42, -4*r = -3*s - 35. Let x be 76/r - 1/(-2). Is x < 12?
True
Let k(q) = q + 1. Let c be k(1). Suppose 0 = u - c*u. Suppose -v + 0*v + 4*a + 8 = u, 0 = -5*v + 5*a + 10. Which is greater: -1 or v?
v
Let q be (8/3)/(4/72). Let c be 4/q*(-8)/(-130). Let k = c + -203/1560. Are k and -1 equal?
False
Let j = -33 + 36. Which is smaller: j or 12/5?
12/5
Let n = 10 + -11. Let m be 4/(8/(-18)) - n. Suppose 0 = 3*d - d + 14. Which is smaller: d or m?
m
Let a be (-8)/(-6)*18/156. Is 0.1 at least a?
False
Let w = -39 + 33. Is w equal to -7?
False
Let i be (32/(-20))/((-2)/5). Let s = i - -2. Suppose -3*y = -s*y. Which is smaller: -2/3 or y?
-2/3
Let g = 1.9 - 2. Let v(r) = -r**3 - 8*r**2 - r - 5. Let x be v(-8). Which is smaller: x or g?
g
Let u = 1.32 - 1.02. Which is bigger: u or 22?
22
Let q(g) = -2*g + 3. Let z be q(2). Let y = -214/105 + 32/15. Is y less than or equal to z?
False
Let x(s) = s**3 - 5*s**2 - 6*s + 7. Let i be x(6). Suppose 2*k - 12 = -4*h, 2*h - 3*h + 2*k = i. Which is smaller: h or -1/9?
-1/9
Suppose 6*y = 7*y. Which is 