)/16*(-10)/3. Suppose -3*m - 3 = -2*m. Let r = -2 - m. Is x < r?
False
Let b = -473317/12024 - 16/1503. Let p be -26*(-2 + (-4)/(-8)). Let m = p + b. Is 1 at most m?
False
Let q = 0.3 + -0.38. Let m = q + 2.28. Let h = m - 2. Is -0.2 at least as big as h?
False
Let x be -2 + 0 - (-203)/105. Is x >= 1?
False
Let j = 0.12 - 5.12. Let q = -1 - 6. Let r = j - q. Which is greater: r or -4?
r
Suppose -4*p = -3*a - 11, 2*p - 7 = -3*a + 12. Is 3 < a?
False
Suppose 2 = d, -2*b + 4*d = -0*b + 10. Is b < -1/24?
True
Let i = -113 + 1129/10. Let d be 6/(-9) - (-5)/3. Which is bigger: d or i?
d
Let h = 5 + -2. Suppose 6 = -3*a - h*m, 7*a - 3*a + 35 = 5*m. Let u = 3 + a. Which is smaller: u or 0?
u
Let i = 31 - 21. Do 12 and i have the same value?
False
Suppose -5*v - 3*p = -23, -4*p - 4 = 2*v - 4*v. Let c = 6 - v. Are 3 and c equal?
False
Let y be -2 + (0 - 1) + 411/135. Which is smaller: y or 1?
y
Let c = 0.72 - 0.36. Is -1/4 not equal to c?
True
Let b = -17 + 16.7. Which is smaller: 0.2 or b?
b
Let h = 1 - 0. Which is bigger: 1/2 or h?
h
Let d = 14 - 21. Let k be -3 - -1 - (1 + d). Suppose -4*c - 2*h = 0, 7*c - 11*c - 4*h - 8 = 0. Which is greater: k or c?
k
Let z be (-4)/(-12)*(4 - 1). Which is greater: z or 2/5?
z
Let w = -1 + 2. Let k = 15 - 14.91. Let r = k + -0.29. Which is smaller: r or w?
r
Let j be 136/51*3/(-2). Let c(h) = h**3 + 2*h**2 - 6*h - 4. Let z be c(j). Which is bigger: z or -11?
-11
Let t be ((-34)/66 - -1)/(8/(-12)). Which is greater: t or 0?
0
Let m be -1 + (2 - 0 - 2). Suppose 2*q = 1 + 1. Let b be 12/(-8) + 0 + q. Is b less than m?
False
Suppose -4*q + 2 = -14. Let x be q/10 + (-1590)/225. Which is bigger: x or -7?
x
Suppose -2*l = v - 19, -3*v = -5*l + 34 + 30. Which is smaller: l or 9?
9
Let a(q) = q**2 + 4*q + 2. Let n be a(-3). Let r = -119 - -838/7. Let x = n + r. Which is smaller: 0 or x?
x
Suppose 7*q - 2*q + 3*c = 17, 3*q - 23 = -5*c. Let k be (-12)/(-42) + q/21. Which is greater: k or -3/5?
k
Let y = 87 - 437/5. Which is smaller: y or 1?
y
Let g(c) = c**3 - 5*c**2 + 6*c - 4. Let a be g(4). Suppose -4*m = -3*o + 3, -3*o + o - a*m = -22. Is 6 at least as big as o?
True
Let k = 313/3 + -105. Does k = -5?
False
Let u be (-4)/12*-51 + 3. Which is bigger: 23 or u?
23
Let f be (0 - 0)*(-7 + 220/33). Is -7/22 equal to f?
False
Let m(l) = l**2 + 11*l + 12. Let h be m(-10). Which is greater: -0.1 or h?
h
Suppose 4*k + 2*c - 14 = 0, k - 2*c - 1 = 5. Suppose 3*x + k*p + 99 = 0, 2*x + 3*p = 4*x + 49. Let z = x - -19. Which is smaller: z or -9?
z
Let n be (30/9 - -2) + -4. Let q = -2 - -3. Which is greater: q or n?
n
Let v = -443/3 + 146. Suppose 0 = 3*m + 3. Which is smaller: v or m?
v
Let b = -2 + 2. Suppose 3*l - 3 + 0 = b. Which is smaller: l or -1/5?
-1/5
Let c be 1/(0 + 19 + -2). Are 1 and c nonequal?
True
Let f be 40/25*(0 + -5). Let m be 63/28 + (-6)/f. Suppose 0*k + 3*o = 3*k + m, 0 = 4*k - o + 16. Which is smaller: k or -4?
k
Let y(w) = 4*w - 1 - 3 - 5*w. Let p(h) = h - 4. Let t be p(0). Let c be y(t). Which is smaller: c or -2/19?
-2/19
Let p = -0.3 - -0.2. Is -1 bigger than p?
False
Let j = -124 + 128. Suppose -5 - 3 = -2*n. Is n bigger than j?
False
Let q = 9771/13420 - 1/1220. Which is greater: 1 or q?
1
Let i be 4/2 - 32/20. Is -54 less than i?
True
Let j = -1.4 - 1. Which is smaller: j or 1/4?
j
Let c be ((-3)/9)/((-142)/(-6)). Let z = c + -135/497. Let k = 78.1 + -78. Is z equal to k?
False
Suppose 0*w + 2*t = -2*w, -w + 6 = -2*t. Suppose -u - 2*g = -6, 2*g - 10 = 2*u - 4. Is u greater than w?
False
Let l be (-6 - -4) + 6/2. Which is smaller: l or 0?
0
Let p be (-1 - 0)/(1/(-1)). Let r be 0/(0 - -2 - p). Let c(d) = d**3 + 7*d**2 + 7*d + 5. Let s be c(-6). Which is smaller: s or r?
s
Let q be ((-4)/6)/(((-2)/(-9))/(-2)). Do 21/4 and q have the same value?
False
Let k(m) be the second derivative of -m**5/20 + m**4/3 - m**3/6 - 2*m**2 - 3*m. Let c be k(3). Let b be (c - 1)*(2 + -5). Is b bigger than -4?
True
Let q(g) = 4*g + 4. Let y(z) = z + 1. Let x(f) = -q(f) + 3*y(f). Let r be x(2). Let n(p) = -p**3 - 2*p**2 + 5*p + 4. Let b be n(r). Which is bigger: -3 or b?
b
Let j = -53/2 + 26. Which is smaller: 7 or j?
j
Let r = -80 - -85. Suppose 5*l - 2*x = -8, 5*l + 2*x = -0*x + 8. Which is greater: r or l?
r
Let k = -0.1 + 1.3. Let q = k + 6.8. Is q bigger than -0.1?
True
Let y be (-4)/6*1/(-3). Suppose -5 + 1 = -4*h. Are y and h non-equal?
True
Suppose -11*f = -7*f + 8. Let c(b) = -b**2 + 7*b + 3. Let p be c(6). Suppose 2*g = -g - p. Which is greater: g or f?
f
Suppose -g + 6*g = 15. Let y be ((-1)/1)/(g/9). Which is greater: -1 or y?
-1
Let l(n) = n**3 - n**2 - n + 13. Let i be l(0). Suppose 3*q - 8 = 4*s, s = 5*q - 8*q + i. Let x = 4 + -4.3. Which is smaller: x or s?
x
Let a = -35 + 873/25. Which is smaller: 0 or a?
a
Let o(y) = 2*y**2 + 5*y + 2. Let q be o(-3). Let u = -3 + q. Suppose -5 = -4*v + 3*p, -v - 4*p + 4 = -u. Is 2 less than v?
False
Let n = 8 + -1. Let f = -4 + n. Is f not equal to 3?
False
Let f(l) = l**2 - 23*l + 10. Let m(w) = -8*w + 1. Let i be m(-1). Let t be f(i). Let k = 1278/11 + t. Are k and -1 equal?
False
Suppose 6*v - 2*k - 12 = v, -13 = -5*v + 3*k. Let d be 9 + (-1 - v) + 2. Is 8 at least d?
True
Let s = -37.1 - -37. Is -4 < s?
True
Let p = -7 - -8.2. Let x = p - -0.8. Is x at most as big as 0?
False
Let p be -2 - 11/(3/(-3)). Is 11 at least p?
True
Let z = 0 + 5. Let w = z + -6. Is 1/3 less than or equal to w?
False
Let t(s) = -s. Let o be t(1). Suppose 0 = 4*i + 4*z - 8, -i + 0*z = -z + 6. Let c = i - -5/3. Is o less than or equal to c?
True
Let q be 0 - 28/(-2 + 6). Are q and -7 equal?
True
Let y(g) = 14*g**3 + 1. Let t be y(1). Let k = t + -11. Suppose -4*b = -4*h - 12, -4*b + k = 4*h - 0. Is h < 0?
True
Suppose -21 = 5*q - 2*q + 3*b, q - b = -9. Let r be (-5)/(-15) - q/(-42). Which is bigger: 1 or r?
1
Let g be -5 - (3 - 3)/(-3). Are -5 and g non-equal?
False
Let r = 0.34 - -0.06. Let s = -0.5 + r. Let n = -2/105 - -44/105. Is n != s?
True
Let j = -113/4 + 28. Let p = 0.17 - -1.63. Let h = p - 1.4. Which is greater: h or j?
h
Suppose 4*w - 5*w + 1 = 0. Which is smaller: -2/61 or w?
-2/61
Let q(y) = -y**3 - 4*y**2 - y - 2. Let s be q(-4). Let j = -7 + -1. Let t = j - -8. Which is bigger: t or s?
s
Let a = 0.084 - -0.916. Suppose u - 2 = -4. Let r be (1/u)/(18/(-8)). Which is bigger: r or a?
a
Let m be (-4)/(-6) - (-21)/9. Let w = m - 0. Suppose -1 = -2*s - w, 0 = 3*g + 4*s + 13. Is g greater than -2?
False
Suppose -3*r + 5*n = 5, r - n - 3*n + 4 = 0. Let z = 2 - r. Let c = -1 + 3. Is c equal to z?
True
Let x = 53 + -53. Does x = -2?
False
Let m = 32 - 61. Which is smaller: m or 1/3?
m
Suppose -4*h - 12 = 0, -i + 2*h + 1 = -6. Let t = 7 - 7. Let p = -2 - t. Which is smaller: i or p?
p
Let q(u) = -u**2 - 7*u. Let a be q(-6). Suppose -3*j + 21 = -0. Which is greater: j or a?
j
Let m = -21/20 + 5/4. Let z = 8 + -8. Do m and z have the same value?
False
Let n = 1 - 2. Let t be 2/12 - (-13)/(-150). Let m = t + 17/100. Is n less than or equal to m?
True
Suppose -2*m - 2 = -o, 2*o + 11 = -4*m - 1. Which is smaller: -4 or m?
-4
Suppose -2*o - 10 + 8 = 0. Let t = -7528 + 158119/21. Let v = 1/7 - t. Which is bigger: o or v?
o
Let v = -31 - -36. Let k = -5 - -3. Are v and k non-equal?
True
Let h = -11.07 + 0.07. Let k = -10.8 - h. Let p = 0 + -1. Which is smaller: k or p?
p
Suppose -3 = -5*d + 2. Let l = 6 + -3. Suppose x + 4*x - 4*a = 5, -l*a - d = -x. Is x greater than 2?
False
Let r(o) = 3*o + 4*o - 8*o**2 + 3*o - 2*o - o**3 - 1. Let n be r(-9). Suppose -l - a + n = -3*l, 3*l - 5*a = -26. Is l less than or equal to -1?
True
Let s = -31 + 30. Which is smaller: 5 or s?
s
Let o = 1 - -1. Which is smaller: 17/6 or o?
o
Suppose -21*s - 9 = 33. Let j be 5/(-3*(0 - -2)). Which is smaller: j or s?
s
Suppose m = 3*m. Suppose m = 6*b - b - 5. Which is greater: 1/2 or b?
b
Let t be (1 + 2)/(1/1). Let w(f) = -f**3 + 3*f**2 + 5*f + 1. Let h be w(4). Do t and h have different values?
True
Let k be ((15/(-6))/(-5))/1. Is 2 less than k?
False
Let b(q) = q + 12. Let k be b(-10). Let l be k/4*2/1. Is 1 less than l?
False
Let t = 135/4 + -34. Is t greater than or equal to -1?
True
Suppose -21*k + 10*k - 99 = 0. Let u = 3.1 - 3. Is k at least as big as u?
False
Let i(y) = 0*y + 5*y - 2 - 4*y. Let r be i(4). Suppose -5 - 