 - -2). Suppose -3*v + 26 = 2*q, -3*q = 4*v + 9 - 47. Is q at most as big as m?
False
Let t = -15 + 15. Is -1/3 greater than or equal to t?
False
Let q(p) = 3*p - 14. Let j be q(-4). Is -24 at least as big as j?
True
Let n(j) = 49*j - 3. Let z be n(-1). Let m = 209/4 + z. Which is greater: -7 or m?
m
Let o = -0.9 - -0.3. Let g = 0.6 + o. Let w = 1/37 + 35/74. Is w < g?
False
Let q(s) = s**2 + 6*s - 6. Let b be q(-6). Let h be 1/b + (-14)/(-12). Let d be h*6*(-9)/(-27). Does 1 = d?
False
Let w(v) = v**3 + 2*v**2 - v + 7. Let j be w(-3). Which is greater: j or -3/80?
j
Let y = 1017 + -13215/13. Which is bigger: y or 0?
y
Let b = -1.99 - -1.9. Is -0.2 > b?
False
Let p = -18 - -24. Suppose 5*r + 3*z = -0*z + 59, 0 = -r + 5*z - 5. Let t be p/(-5) + 2/r. Does t = 3/7?
False
Let r = 0.13 + -5.13. Let q = r - -4.93. Let p = -0.07 - q. Which is bigger: p or 2/13?
2/13
Let k be ((-30)/(-40))/(1/(-8)). Which is smaller: -3 or k?
k
Let u(p) = p**2 + 11*p + 13. Let n be u(-10). Let o be 2/(-6) + (-1)/n. Suppose 13 = -r + 3*z, 4*z - 1 - 14 = -r. Which is smaller: o or r?
r
Suppose 0 = -0*y + y - 2. Let f(i) = i - 2. Let o be f(y). Which is smaller: 3 or o?
o
Let z be (1 - 0)/(2/4). Let n be (z/(-26))/(1/(-2)). Which is bigger: n or 0?
n
Let u = 8 + -20. Let n be (27/(-30))/(u/5). Let w(c) = c**2 - 6*c + 6. Let s be w(5). Which is smaller: n or s?
n
Let d = -0.008 + 0.108. Which is bigger: d or 3/5?
3/5
Suppose -4*z + 4*x + 80 = 0, 106 = 5*z - 3*x + x. Let m be 48/z + (-2)/11. Is 1 at most as big as m?
True
Let c be (-6)/(-4) + 12/24. Is 3/2 greater than c?
False
Suppose 3*u - 3*c - 21 = 0, -13 = -3*u - 5*c + 24. Which is greater: u or -2/7?
u
Let n be (((-2)/4 - -2)/1)/3. Which is greater: n or 1?
1
Let o = 269/4 - 68. Let q be (-4)/16 - (-13)/4. Suppose 7 = q*n + 2*c, 3*c - 20 = -c. Is o at most n?
False
Let v(q) = 2 + 6*q + 7*q - 3*q + 7*q - 2*q**2. Let b be v(9). Which is bigger: -6 or b?
-6
Let l = 13 - 8. Does -4 = l?
False
Suppose 3*w - 32 = -r - r, 3*w - 28 = -r. Let h = w + -17. Is -10 < h?
True
Let p = -7 - -4. Let g be (p/1)/(2/(-22)). Suppose -4*s + 3*j + 32 = 0, g = -5*s + 5*j + 78. Is s <= 5?
True
Let t be (-5 - -4)*(-3)/2. Is 1/3 at most t?
True
Let t = 105.2 - 105. Let l be (4/(-10))/((-7)/5). Which is greater: t or l?
l
Let h = -0.1 - -1.3. Let c = -5.2 + h. Is 1 < c?
False
Let l = -63 + 62. Is -5/9 not equal to l?
True
Suppose 17*b - 12*b = -p - 390, 2*p = -b - 69. Is -78 smaller than b?
False
Let h be ((-13)/12)/(2/4). Let y = 7/3 + h. Let a = 0 - -1. Is y less than a?
True
Let i = 62 - 37. Is 25 >= i?
True
Let v = 144 - 165. Which is smaller: v or -16?
v
Suppose -1 = d - 3*b + 4*b, 0 = -2*d - 5*b - 8. Which is greater: d or 20?
20
Let z = 446 - 4918/11. Which is smaller: 0 or z?
z
Let l = 1.3 + -0.9. Is -2/5 less than or equal to l?
True
Let j be (-2 - -2)*(-4 + 3/1). Is j at least 8/9?
False
Let n = 0 + -0.4. Let o = 0 - 0. Let m = o - -0.2. Is m at least as big as n?
True
Let j = 101 - -1. Let r be 110*3/j - 3. Which is greater: r or -1?
r
Let s = 794/989 + -19/23. Is -1 bigger than s?
False
Let w = -167 + 117. Does w = -52?
False
Let i = -34 - -33. Is -1 <= i?
True
Suppose -3*p - 12 = -36. Are p and 8 nonequal?
False
Let v be (-3)/(-18)*3/(-3). Let p = -3 + 2.8. Which is smaller: p or v?
p
Let k(l) = -l**2 + 5*l + 5. Let b be k(6). Is -1/13 at most b?
False
Let g(t) = -t**2 + 14*t - 16. Let k be g(11). Is k < 17?
False
Let n = -14 + 41/3. Is 1.2 greater than or equal to n?
True
Let y be (12/1)/(1/(-2)). Is y bigger than -26?
True
Let m be (-3*(-2)/6)/(-1). Let g(h) = -h**3 - 3*h**2 - 2*h. Let n be g(-3). Let p be m*1 + 15/n. Which is smaller: 1 or p?
1
Suppose o - 12 = 2*o + 4*f, -4*f = -2*o + 12. Is -2 greater than or equal to o?
False
Let u(f) = 8*f**2 - 2*f + 2. Let i be u(-3). Suppose 2*w + i = 7*w. Which is smaller: w or 15?
15
Let k = -44360/41 - -1082. Is k at least -1?
True
Suppose -2*w + 4*w = 54. Which is bigger: w or 2?
w
Let q = -58 - -229/4. Let z = -11 + 10. Which is smaller: z or q?
z
Let a(g) = -g**3 + g**2 - 5*g - 22. Let b be a(-3). Is b at least 29?
True
Let o(y) = y**3 + 9*y**2 + 7*y - 7. Let s be o(-8). Let q = 1/351 + 79672/1755. Let h = -45 + q. Is h smaller than s?
True
Suppose -2*f + 56 = 5*f. Is 9 greater than f?
True
Let m = -0.09 + -0.01. Is m greater than 0.7?
False
Let j be (-8)/6*(-36)/8. Is j smaller than 6?
False
Let n = 0.27 + 0.73. Is n at least -1.2?
True
Suppose 2*w + 3*k - 14 = k, 1 = -2*w + k. Which is greater: w or 3?
3
Let h be 2/8 + (-1)/4. Let a = -5968/3 + 1969. Let w = a - -21. Which is smaller: w or h?
h
Let z(c) = -c**2 - 8*c - 7. Let i be z(-4). Which is greater: i or 8?
i
Let x = -118/91 - -348716/1547. Let c = x + -224. Suppose 0 = 3*z - z. Is c > z?
True
Let q(i) = i - 3. Let k(d) = -d**3 + 4*d**2 - 4*d + 3. Let s be k(2). Let a be q(s). Let f be 5/(-3)*6/15. Which is greater: a or f?
a
Suppose -6*n - 39 + 3 = 0. Is n < -6?
False
Let m = -1 - -0.9. Let l = 53 + -47. Is m greater than l?
False
Let t be 0 - (0 - (-5 + -2)). Let g be 1/(-6) + t/(-6). Suppose -2*z + g = 7. Which is greater: -4 or z?
z
Let u = 8/13 + 9/91. Is u at most as big as 1?
True
Let g(q) = -2*q + 1. Let u be g(-1). Suppose -10*h + 5*h - 2*v = 29, 0 = -u*h + 5*v - 5. Which is smaller: -4 or h?
h
Suppose 3*l - 7 = -10. Which is smaller: l or -2/71?
l
Let a(w) = -w**3 + 12*w**2. Let c be a(12). Suppose -4*x + 6*x + 20 = c. Which is smaller: 0 or x?
x
Let m be 1 - (2 - -5*1). Suppose -6*i = -5*i - 9. Suppose -2*q - 2*q = 2*c + 26, -5*c + 4*q = i. Do c and m have the same value?
False
Let y(c) = -3*c + 3. Let i be y(4). Let o(j) = j**3 + 26*j**2 + 25*j - 9. Let x be o(-25). Let s = i - x. Does -3/7 = s?
False
Let s = -4 + 2. Let i = 0 - s. Let v = -2 + i. Is v less than 0?
False
Let c be -1 - 3/((-3)/(-152)). Let f be -1 + 2/c + 1. Let z = f - 292/1071. Which is smaller: z or 0?
z
Let o be 4/22*(-1)/(-6). Let h = o + 29/132. Are h and 0 nonequal?
True
Let s be (-20 - -8)/(-5 + 0). Is 1 less than s?
True
Suppose -1 - 3 = -2*l - o, l - o - 5 = 0. Let t be 1/l*6/(-2). Do t and 3/8 have the same value?
False
Let u(r) = -r**3 - 2*r**2 + 1. Let d be u(-2). Is d != 2/33?
True
Let b = -10.8 - -11. Let d be ((-1)/10)/(3/12). Which is smaller: d or b?
d
Let g = -2/653 - 1945/4571. Which is greater: 0 or g?
0
Let w = -1 - -1.13. Which is smaller: -1 or w?
-1
Let t = -0.6 - 0.4. Is -1/58 > t?
True
Let m = 16 + -9. Let a be (-1 - -8) + (5 - m). Suppose -2*z + 15 = -3*s + 1, 3*s = -a*z - 7. Is z <= 0?
False
Suppose 5*w - 2*u = -15 + 9, -5*w + 12 = 4*u. Let a be ((-4)/(-58) - 0) + 0. Is a bigger than w?
True
Let c = 9 - 73/8. Which is smaller: c or 1?
c
Let w = 27.97 + 0.03. Is 0 greater than w?
False
Let u = 0.4 + -0.4. Let o = -0.1 + u. Let q(f) = -f**3 + f**2 + f. Let p be q(2). Do o and p have the same value?
False
Let c(z) = -z**3 - 2*z**2 + 3*z + 2. Let m be c(-2). Which is bigger: -9/2 or m?
m
Let x = 9 + -9.16. Let l = x + -0.04. Which is greater: -2/7 or l?
l
Let i(j) be the first derivative of j**4/4 + 2*j**3 + 3*j**2 + 6*j + 7. Let l be i(-5). Is 3 greater than l?
True
Let s = -2 - -2. Let u = 0.2 - s. Which is smaller: u or 0.1?
0.1
Let h = 51/2 - 26. Which is smaller: 0 or h?
h
Suppose -4*z = -30 + 6. Let y(i) = i**3 - 6*i**2 + i - 7. Let c be y(z). Let v = -1 - c. Which is bigger: v or 1/6?
1/6
Let q = 47 + -51. Is q at most -16?
False
Suppose 5*n - 4*o - 4 + 1 = 0, 2*n - 2*o = 0. Suppose n*c - c = 10. Suppose 0 = -5*r - 2*z + 1, -c*z - 10 = -0*z. Which is greater: r or 2/9?
r
Suppose 4*y - 2*y + 4*h - 2 = 0, 4*h - 1 = -y. Which is greater: y or 7/10?
y
Let q = -12 + -21. Let k = -166/5 - q. Let l be 0/(-2 + (-1)/(-1)). Is l at most k?
False
Let z be ((-5)/10)/((-4)/8). Suppose 3*k + 5*v = 5*k + 7, -z = -3*k - 4*v. Is k not equal to 3?
True
Let s(g) = -g**2 - g + 4. Let k be s(0). Suppose -k*x - w + 15 = 4, w - 13 = -5*x. Let b = 693/5 - 138. Is b greater than or equal to x?
False
Let s = -21 - -19. Let h = 0 - 0. Suppose 5*x = 5 - h. Do x and s have different values?
True
Let p(t) = -t - 12. Let j be p(-9). Is j >= -3?
True
Suppose 2*y = -3*y + 110. Let f be (-6)/(-15) + y/(-5). Let d = -6 - f. Which is greater: -1 or d?
-1
Let a be (1/2)/(1/58). Suppose -a + 4 = -5*u. Suppose 0 = -u*d + 2*d + 6. Which is smaller: d