ose 9 = -2*q + 3. Is q at most as big as p?
False
Let v(z) = z**2 - 8*z + 8. Let f = 0 + 0. Suppose f = -2*r + 3*r - 7. Let y be v(r). Is y > 2/7?
True
Let v = -0.4 + 0.2. Let x be 0 + (-1)/(1/2). Let d be x/(-5) + (0 - 0). Which is smaller: d or v?
v
Let j = -54 + 215/4. Which is smaller: 3 or j?
j
Let m = 59 + -53. Let j(f) = f + 2. Let u be j(2). Which is bigger: m or u?
m
Let n = -0.3 + 0.1. Let w = -2 + 2.3. Let u = n + w. Which is smaller: 0 or u?
0
Let x = 10 + -10.12. Let l = x + -0.08. Let c be (2/(-5))/(14/10). Do l and c have different values?
True
Let c = -29 + 27. Is -6 at least c?
False
Suppose h = 1 + 17. Does h = 18?
True
Let j be (4/(-6))/(8/12). Let a = -2 - j. Which is greater: a or -2/13?
-2/13
Suppose 0*m = -2*m. Let r be 0 - 3/(5910/(-808)). Let n = r + -2/197. Are n and m unequal?
True
Let z be ((-1)/3*0)/3. Let i = -453 - -4081/9. Do i and z have the same value?
False
Let v = 0.01 + 0.09. Let k = v - 0. Is -0.1 less than or equal to k?
True
Let w(v) be the first derivative of v**4/4 - 2*v**3 - 9*v**2/2 + 8*v - 1. Let g be w(7). Which is smaller: g or -5?
g
Let v be 2*((-6)/(-4))/(-3). Let n be v/((0 + -2)/2). Let d = 1.46 + -1.41. Which is smaller: d or n?
d
Let k = 937/164 - 19/41. Which is smaller: 4 or k?
4
Let l = 98 + -97.9. Let j = 6 + -9. Let d = j - 0. Do l and d have the same value?
False
Let f = -21 - -48. Which is greater: 29 or f?
29
Let s(o) = -o**3 - 5*o**2 - 4*o + 3. Let r be s(-4). Let u(a) = 5*a**2 - 1. Let x be u(1). Suppose -4 = -2*j + x. Which is smaller: r or j?
r
Let b = -22.54 + 23. Let k = b + -0.06. Let f = 0.6 - k. Is 3/2 > f?
True
Suppose -3*t - 7 = -4. Which is bigger: -15 or t?
t
Let f = 8511747 + -23492422043/2760. Let j = -3/184 + f. Are 1 and j unequal?
True
Let q = -24 + -6. Which is bigger: q or 1?
1
Let q = -0.1 + -18.1. Let f = 18 + q. Does f = -1/4?
False
Suppose 2*m - 5 = 5. Suppose 0 = -3*o - 4*s - 3, -m*s + 4 = -4*o - 0*s. Which is smaller: o or -2/57?
o
Let m = -132 + 131. Let y = -4 - -6. Which is smaller: m or y?
m
Suppose -8*n = 4*n - 360. Are 29 and n equal?
False
Suppose o = -0*o - 5. Suppose 0*n + 4 = -n. Which is bigger: o or n?
n
Let r be (12/(-27) + -1)*12 + 3. Is r < -13?
True
Let v(m) = -20*m**3 - m**2 - 2*m - 2. Let r be v(-1). Let x be 3/2*(r + -13). Do 8 and x have different values?
True
Let v = -4 + -14. Is -17 greater than or equal to v?
True
Let h = -1 + 4. Let a be (0 + -1 - -2) + h. Let b = -2 - -3. Which is smaller: b or a?
b
Let z = -1.94 + -0.06. Let d = -2.1 - z. Is -2 > d?
False
Suppose 3*j = j + 4. Suppose -2*u + 3*u + j = 0. Is 0 >= u?
True
Let i = 17 + -15. Which is bigger: i or 4/3?
i
Let g = -150 - -1049/7. Let w = -13/4 + 7/2. Is w < g?
False
Let u be 19/(-45) - 27/(-135). Suppose -2*g + g + 1 = 0. Is u equal to g?
False
Let m = -4315 + 3037. Let t be (-2)/9 - 248/m. Let r = t + -128/497. Which is smaller: r or -1/2?
-1/2
Let b = -0.9 - -1.01. Let v = b - 0.11. Which is bigger: -3/4 or v?
v
Let c = -76 + 75. Do c and -1 have different values?
False
Let k = 36 + 65. Suppose -39 - k = 5*g. Let v = g - -195/7. Do v and 0 have the same value?
False
Let f = 3 - 5.7. Let m = f - -0.7. Which is smaller: 0 or m?
m
Let a(c) = -c + 7. Let j be a(5). Let f be j/3 - 396/513. Which is smaller: 0 or f?
f
Let d = 618/5 + -124. Let f be (-32)/(-6) - 2/6. Let j = f + -5. Which is smaller: j or d?
d
Let u = 19 + -18.73. Let j = u - 0.07. Let w = -1.99 + -0.01. Do w and j have different values?
True
Let z = 7 - 3. Let r = z - 6. Let i = -5.2 + 7.2. Which is smaller: i or r?
r
Let x = 0.07 + 0.03. Is -9/11 at most as big as x?
True
Let i be 15*(-5)/((-15)/2). Let b = -1 + -17. Let w = b + i. Is -8 < w?
False
Let n be (86 + 0)*(-7)/(-14). Suppose -3*v + 5*w = -n, 2*v + 5*w + 8 = w. Suppose y - 5 = v*y. Do 2/15 and y have the same value?
False
Let u = -3/23 - -377/69. Which is smaller: 6 or u?
u
Let l = 23 + -27.4. Let w = 3.5 - -0.5. Let h = w + l. Is h equal to 1?
False
Let h be (42/(-32))/(21/84). Is h equal to -4?
False
Let q be 1/(-2 - -3)*(-14 + 3). Is -37/3 >= q?
False
Let c(y) = -y**2 - 6*y + 7. Let b be c(-7). Let l be (-186)/(-855) - 1/(-5). Let n = l - 1/57. Which is greater: n or b?
n
Let z = 0 + -1. Let p = 7 + -2. Suppose 2*l + 5*g + 35 - 8 = 0, -5*l + 2*g + p = 0. Is z at most l?
True
Suppose 5*n = -0*n + 20. Let v be -5 + (n - 1) + 0. Which is bigger: -1 or v?
-1
Suppose -25 = -5*a - 0*a. Suppose -5 = a*g - 15. Is g < 0?
False
Let m = 23.5 - 26. Let c = 1.5 + m. Which is smaller: c or 1/10?
c
Let m = 26 - 23. Which is bigger: m or 2?
m
Suppose -15 = -3*v - 5*s, 16 = -0*v + v - 2*s. Suppose v = -2*i - 4. Which is smaller: i or -6?
i
Let s be -16 - -2 - 0 - -1. Let m = -13 - s. Which is smaller: 6 or m?
m
Let j = 2 + 1. Suppose 0 = h - j*z - 32, -h - 2*h + 40 = 5*z. Suppose -h = -5*p + 5*v, -p - 29 = 3*p + 5*v. Is p greater than or equal to 1?
False
Let v = 5/14 - 11/70. Is v at most as big as 1?
True
Suppose l - p - 2*p = 13, -2*l = -2*p - 30. Let x = 23 - l. Is 8 greater than x?
True
Let t(n) = 6*n - 1. Let p be t(1). Suppose p = b, -3*b + 12 = -a - 0*b. Suppose -2 = 5*v + a. Which is smaller: v or -1/2?
v
Let n = -68 + 67. Is n greater than or equal to -12/23?
False
Let z = -38 - -25. Are z and -1/2 unequal?
True
Suppose -4*a = 3*v + 18 - 2, 4*a = 4*v - 16. Let o = -11 - a. Let p(q) = q**2 - 12*q - 7. Let x be p(12). Is x at least o?
True
Let q = -112 + 562/5. Is q smaller than -0.6?
False
Let y = -2 + 9. Let x = y + -8. Are x and -1 equal?
True
Suppose 15 = -3*w, h + w = 3*h - 7. Suppose -3*d - 9 = 0, 5*m = -d - d - h. Let i be 1 - (-1 + (-18)/(-15)). Is i greater than or equal to m?
False
Let z = 17 - 17. Which is smaller: 3/11 or z?
z
Let y = -325 - -2281/7. Is 1 at least as big as y?
True
Let v = -0.103 - 0.897. Which is smaller: 12 or v?
v
Suppose 73 = g - 7. Let m be (48/g)/(1/5). Are m and 11/4 nonequal?
True
Let x(g) = -g**3 + g**2 - g + 2. Suppose 0 = -0*r + 2*r. Let q be x(r). Suppose -i = -k - 4*k - 9, q*i + 5*k = -12. Is 2/15 not equal to i?
True
Let j = -2813/9 - -313. Is 1 greater than or equal to j?
True
Let t be -3 - (-1 - 1) - 17. Let r be (-39)/t - (-3)/(-2). Which is smaller: r or -6?
-6
Let m be 12/2*1/(-2). Let a be (-4)/m + (-1)/3. Which is greater: -3 or a?
a
Let b(x) = x**3 + 5*x**2 - 6*x + 1. Suppose -15 = -5*z - 5. Let o = z - 8. Let h be b(o). Which is greater: 0 or h?
h
Let x = 59 - 296/5. Let i = 68 + -70.9. Let b = i - -3. Which is smaller: x or b?
x
Let k = 11.9662 + 0.1238. Let t = k + -12. Which is smaller: 1 or t?
t
Let z = -51 + 48. Which is smaller: 0 or z?
z
Suppose -5*v = -0 - 10. Let m be 16/64 + (-14)/(-8). Is m at least v?
True
Let n = -9 - -9. Suppose n = 6*k - 11*k. Which is smaller: 0.01 or k?
k
Suppose 2*j = 9 - 3. Is 2 smaller than j?
True
Let r be (-3)/2*(-5 - 1). Suppose -2*l = 5 - r. Which is greater: 3 or l?
3
Let v = 7 - 13. Which is smaller: -7 or v?
-7
Suppose -3*w = 5*f - 27, 2*w - 3*w = -5*f + 11. Let o be f/12 + (-38)/(-8). Suppose o*x = 4*x - 2. Which is smaller: -5 or x?
-5
Let y(k) = k + 8. Let p be y(-3). Do p and 7 have different values?
True
Suppose 2*b - 3*p + 3 = 0, b + 2*b - p = -1. Which is greater: b or -7/9?
b
Let r be ((-2)/14)/(2/(-6)). Let m = -13 - -16. Suppose -2*x - 1 = -m*x. Is r at most as big as x?
True
Suppose 8*s = -7 - 9. Suppose -d + 22 = -0*d + 5*u, 3*d = 4*u - 10. Suppose 3*w = -d - 4. Is w < s?
False
Suppose -c - n = 1, 5*n - 5 = -0*n. Is -7/6 less than or equal to c?
False
Let d = 75/28 - 23/28. Which is smaller: d or 3?
d
Let d = -0.16 + 0.16. Do d and 11 have different values?
True
Suppose -2*y + 5*f = f - 34, 4*f - 71 = -5*y. Let k be y + -14 + 5/(-9). Are -1 and k equal?
False
Let o be (-4)/22 + 228/44. Suppose 4*m - 36 = -4*x, m + 4 = 5*m - 4*x. Is m smaller than o?
False
Suppose 4*n - 127 = 101. Are 58 and n equal?
False
Let o be (-2690)/25 + -1 + 0. Let y = -108 - o. Are 0 and y nonequal?
True
Let b(x) = -x**3 + 4*x**2 - 4*x + 2. Let w be b(3). Let f(s) = s**3 + 2*s**2 + s - 1. Let n be f(-1). Is n > w?
False
Let l = -75 + 76.11. Let u = l + -1.3. Let a = -0.09 - u. Is a smaller than 7?
True
Suppose 4*u + a + 0*a = -102, 0 = 5*a + 10. Is -25 >= u?
True
Let q = 1 - 4. Let a = -1 + 1.3. Which is greater: a or q?
a
Let s = -94 - -55. Let o be (-962)/24 - 3/(-9). 