et i be m(-4). Let v = 11 + i. Is 4 > v?
False
Suppose q + 4*q - 45 = 0. Is q greater than or equal to 8?
True
Let n(u) = 2*u**2 - u + 1. Let v = 1 + 0. Let d be 1 + (-1 + v)/3. Let x be n(d). Is x > 3?
False
Let u be (-1)/5 + 8/40. Is u less than -2/3?
False
Let i(x) = -6*x**2 - x - 3. Let b be i(2). Is b <= -29?
True
Let k(s) = -s**3 + 2*s**2 + s + 1. Let a be k(2). Suppose 8 = -2*b - 3*j, -4*b = -a*j + 6 - 26. Which is bigger: b or 1?
b
Let x = 5 + -4. Suppose -2*k = -x - 3. Suppose 6 - 13 = -k*c - 3*f, c + 3*f - 5 = 0. Which is bigger: c or -0.2?
c
Suppose 5 = 2*b + 4*f - 11, 4*b + f = 4. Which is greater: 3/16 or b?
3/16
Let r be (0 - -5)/((-2)/(-10)). Let m be r/(-20)*(-2)/(-5). Which is smaller: m or 1?
m
Let n(j) = -j**2 + 14*j - 22. Let r be n(13). Is -9 >= r?
True
Suppose 0 = y + 4 + 2. Let a = 5 + y. Let t be (2/34)/(1/(-2)). Which is smaller: a or t?
a
Let n = 2.2 - 2. Let s = -0.2 + n. Let o = 0.2 - s. Which is smaller: -0.2 or o?
-0.2
Let s(x) = x**3 + 3*x**2 - 9*x - 10. Let h be s(-6). Which is smaller: h or -63?
h
Let v(i) = -i**2 + 4*i + 6. Let y(s) = 5*s. Let p be y(1). Let d be v(p). Which is smaller: -2 or d?
-2
Let s be ((3/(-6))/(-1))/(2/4). Which is smaller: 5 or s?
s
Suppose 5 = 4*b - 9*b - y, -4*b - 3*y = 15. Is b at most as big as -1/81?
False
Let m be 2 + 2*((-7)/2)/7. Is -0.09 less than m?
True
Let m = -6.3 + 6. Which is smaller: m or 2/13?
m
Let x = 33 + -16. Let y = x + -7. Let a = 8 - y. Which is smaller: -1 or a?
a
Let r be ((3 - 3)/(-2))/1. Let d be (r/2 - 0)*-1. Which is smaller: d or -2/21?
-2/21
Let l = 0 - 0.02. Let r = -0.36 - l. Let g = r + 0.04. Is g greater than or equal to -1/3?
True
Let p = -1 - -10. Suppose 0 = 5*q - 6 - p. Suppose 3*m - 3 = 2*v - v, -4*m - q*v + 4 = 0. Which is bigger: m or 1/5?
m
Let t = 6 - 2. Let d be t/(-20) + (-13)/(-15). Let v = 0.42 - 0.02. Which is smaller: v or d?
v
Let p(n) be the first derivative of -n**3/3 - 5*n**2 - 10*n + 1. Let g = -141 + 132. Let t be p(g). Which is greater: 0 or t?
0
Let l = 3 - 2. Let o be (-2)/(-6) - (-8)/(-96). Is l equal to o?
False
Let t = 703/5 + -141. Which is smaller: 16 or t?
t
Let d = 19 - 10. Let z = -7 + d. Let q = 0.1 - -0.9. Is q <= z?
True
Let n = 24.1 - 24. Is 1 >= n?
True
Suppose -41 = -2*t - 61. Which is bigger: -3 or t?
-3
Suppose -3*h = -r + 5*r - 7, h = 3*r - 15. Let x be (-2)/(h/18*2). Let o(g) = -g**3 - 3*g**2 - 3*g - 3. Let k be o(-3). Is k equal to x?
True
Let k = 473/4746 - 1/226. Is 0.1 > k?
True
Let u be (-10)/(-4) - (-4)/(-8). Is u greater than 1/7?
True
Suppose 5*i = 3*n - 2, -i - 4*n = -0*i + 5. Are i and 1 non-equal?
True
Let u(l) = l**3 + 8*l**2 + 10*l + 13. Let t be u(-7). Which is smaller: t or -6?
t
Let g(p) = 2*p**2 + 13*p + 28. Let i be g(-7). Is i > 36?
False
Let s be (-32)/63 + (-28)/(-98). Is -0.6 at most s?
True
Let j = 8/9 - 92/63. Which is smaller: 1/4 or j?
j
Let y = 393/4 - 99. Let k be -1*0/(-2 - -1). Is k bigger than y?
True
Let n = -0.18 + 0.02. Let l = n + 0.06. Which is smaller: l or 7?
l
Suppose b + 3*t - 11 - 10 = 0, -t + 11 = b. Do b and 9/2 have the same value?
False
Let n = -37 - -37. Let w be ((-2 - -5)/(-6))/(-2). Are n and w unequal?
True
Let w = -1.3 + 3.3. Is -0.4 != w?
True
Let j(f) = f**2 + 11*f + 3. Let o be j(-8). Which is smaller: -22 or o?
-22
Let b = -4 - -2. Let i be b/6*(-54)/24. Let h be 1/(-2)*-2*1. Which is smaller: i or h?
i
Let m = 0.41 - 1.38. Let z = -0.03 + m. Which is greater: -3/5 or z?
-3/5
Suppose 2*h = 5*h. Which is greater: h or -15?
h
Let i = -8 - -3. Let m = 7 + i. Is m greater than -0.2?
True
Let a = 14183 + -183870/13. Suppose -7*u + 8*u = 39. Let x = a - u. Which is greater: x or -1?
x
Let l = 6.2 + -4. Let k = -0.8 - l. Let c = -0.22 + 0.12. Is c equal to k?
False
Suppose 60 = i - 2*s, -4*i + i + 204 = 2*s. Let p be (-92)/i - (-4)/6. Which is bigger: -1 or p?
p
Suppose 3*k - 5*y = -35, 0 - 2 = 2*k + 2*y. Let n be (-2)/5 - 47/k. Let s be ((-6)/(-12))/(n/(-4)). Are 1 and s nonequal?
True
Let x(p) = p**2 - 2*p + 1. Let q be x(3). Suppose 3*t - t = -q. Let b = 2 - 1. Is b at most as big as t?
False
Suppose 2*j = -2*r + 8, -j + 5*r = -2*j + 12. Suppose 3*f = f + 2*a + 12, 0 = 5*f - j*a - 24. Is 4 smaller than f?
False
Let d = -6 + 13/2. Let w = 40 - 39. Is w smaller than d?
False
Let w = 2.35 + -14.45. Let y = w - -12. Suppose 3*g = -3*n + 6, -10 - 9 = 3*g - 2*n. Which is greater: g or y?
y
Let q be (-280)/(-32)*(-8)/2. Which is smaller: -36 or q?
-36
Let l = 2 + 0. Let g = -68.1 + 68. Which is smaller: g or l?
g
Suppose -4*z + 7 = 4*c - 1, -2 = -3*c - z. Which is greater: 2/17 or c?
2/17
Suppose 0 = -5*v - 8 - 7. Which is bigger: -9/5 or v?
-9/5
Let g be 7 - (-2 + -1 - -3). Which is smaller: g or 9?
g
Let q = 0 + -0.6. Let o = 7 - 7.5. Let v = q - o. Is 2/5 at most as big as v?
False
Let o be 5 + -1 - (-742)/(-189). Let f = -4 + 4. Are o and f nonequal?
True
Suppose 0 = 5*q - 3*q - 16. Let g(l) = l**2 - 9*l + 9. Let p be g(q). Which is bigger: -2/31 or p?
p
Suppose 0*c + c = 0. Let g be -4 - ((-39)/9)/1. Is g <= c?
False
Let o be (-3)/2*(-90)/1647. Is o bigger than 0?
True
Let x = 54 - 54. Let l = -2 + 3. Which is greater: l or x?
l
Let b = -1.2 + 1.3. Is -11 bigger than b?
False
Let c = -373/21 + 52/3. Suppose 4*u - u - 3 = 0. Is u > c?
True
Suppose 0 = y - v + 12, y - 5*v + 32 = -0*y. Which is smaller: y or 0?
y
Let n(t) be the second derivative of -t**4/12 - 5*t**3/6 + 3*t**2 - t. Let p be n(-5). Suppose -25 = p*z - z. Are -4 and z equal?
False
Let g(z) = -z**3 - z**2 + 2*z + 2. Let i be g(-2). Suppose -4*b - 24 = -2*l, b = -3*l + i*l. Which is bigger: -3 or b?
-3
Suppose 25*r = 24*r + 12. Which is smaller: r or 11?
11
Let y(c) = -52*c - 2. Let n be y(-1). Suppose -4*l = l - n. Is l less than 10?
False
Suppose -3*v + 4*v + 0*v = 0. Let w be ((-2)/2)/(2 - 1). Let g = w - 0. Which is bigger: v or g?
v
Let w be (-30)/(-7) - 2/7. Let c(y) = -y**2 + 7*y + 4. Let q be c(7). Suppose w*b - q - 12 = 0. Are b and 4 equal?
True
Let s be (-6)/(-20)*(-7 + 5). Suppose 2*n + 10 = 4*j, 2*j = j + 3*n + 15. Is j greater than s?
True
Let q = 37 + -33. Is -7 greater than or equal to q?
False
Let j be (-1827)/45 - 1/1. Let u = 42 + j. Which is bigger: u or -5?
u
Let p = -38/27 - -1021/54. Which is smaller: 17 or p?
17
Let r be (-2)/(3 + -4) - 18. Which is bigger: r or -15?
-15
Suppose -13*g = -5*g - 16. Let p = 11 + -8. Which is bigger: p or g?
p
Suppose -2*x - 6 = d + 8, -3*d = -4*x - 18. Are 4 and x equal?
False
Let w be 2*1/(-10)*-3. Let g(d) = -7*d - 18. Let u(o) = 4*o + 9. Let z(i) = -3*g(i) - 5*u(i). Let n be z(-9). Is w at most n?
False
Let i = -0.5 - 1.5. Let y = -2 - i. Let d = 1 + -0.8. Is d not equal to y?
True
Let v(g) = g**2 + 7*g + 4. Let h be v(-6). Which is smaller: h or -3?
-3
Suppose -2*b + 69 = b. Which is bigger: b or 22?
b
Let y be 24/(-12) - 16/(-9). Suppose 2*r - 3 = -2*z + z, 0 = 5*z - 15. Suppose -2*a + 0*a = r. Does a = y?
False
Let h = 6 - 16. Let o = -17 - h. Which is smaller: -6 or o?
o
Let s = 64/231 + -2/21. Suppose 5*i = -2*h + 5 + 18, h = -3*i + 14. Let r be 4 - (1 + h + 3). Which is greater: s or r?
r
Suppose 0 = 3*m - m - 5*q + 57, -2*m - 39 = q. Is m equal to -20?
False
Let v = 4 + -4. Let m = v - 0.3. Let g = m - -0.3. Which is smaller: 1 or g?
g
Let d(f) = -2*f**2 - 9*f - 5. Let s be d(-4). Let n be -1*(-1 - (0 + -3)). Let j be s/(-2) - 2/n. Is 2 equal to j?
False
Let t be (1298/(-33))/(6/9). Is t != -60?
True
Let j = 1.7 + -1.9. Which is greater: -1/3 or j?
j
Let j = -0.23 + 0.2. Which is smaller: 2/5 or j?
j
Let j be ((-4)/6)/(-2 + 3). Are j and 76 unequal?
True
Let y be 15/9 - (0 - -2). Let v = 0 + 5. Suppose -3*d = -v*k + 8, 2*k + 3*d - 4 = 5*d. Is k smaller than y?
False
Let q = -2/25 - 21/50. Which is smaller: 4 or q?
q
Let m = -8 + 15. Which is greater: m or 0?
m
Let p = -5 + 6. Let j be (-2 - 5)/(1/(-70)). Let a = 2458/5 - j. Is a bigger than p?
True
Let x be ((-2)/(-5))/((-6)/(-10)). Let q = 1.24 - 0.24. Let t = q - 1.3. Which is smaller: x or t?
t
Let f = -9/20 + 13/40. Which is bigger: -1 or f?
f
Suppose 3*b - 4 = 14. Suppose b*v - 2*v + 8 = 0. Is -2 smaller than v?
False
Let a = 395 + -2757/7. Suppose 4*c = 5*c - 1. Is a greater than c?
True
Let t = -51/11 + 441/88. Is t < -0.1?
False
Let c be (-178)/(-3) - -5*2/(-30). Which is 