uppose 3*o + 2*q = -3*q + 58, 4*o + 5*q = 69. Are o and 10 equal?
False
Let u be -1 - ((-82)/(-12) + 1). Let b be ((-2)/(-2))/((-4)/34). Let t = u - b. Which is smaller: t or 2/5?
t
Let i(x) = -x**2 + 2*x + 2. Let l be (-3 - (-2 + 0)) + -1. Let o be i(l). Let j = -51 + 46. Do o and j have the same value?
False
Let h = -1433 - -184858/129. Which is bigger: h or 0?
h
Let r = -120 - -116. Is r bigger than 11?
False
Let o be (-8)/(-10) - (16/20 + 1). Which is smaller: o or -3/8?
o
Suppose -4*p + 6 = -3*p - 4*t, 2 = 2*p + 2*t. Let h(o) = -2*o + 3*o - p*o + 5 + 2*o. Let s be h(-4). Which is smaller: s or -1?
-1
Suppose 3*q = 4*q - 5*n + 14, 5 = 2*q + n. Let c be q*4/6*3. Suppose -c = 2*f - f. Is f at least 0?
False
Let u = 809/2862 - 14/53. Is 0 at least as big as u?
False
Let r = 1.9 + -2. Let i = 19.0762 + -0.0762. Which is greater: i or r?
i
Let i = 1.31 - 0.31. Which is smaller: -1/6 or i?
-1/6
Let b = -180 - -904/5. Suppose -4 = -2*z - 2. Is z less than b?
False
Let s = 0 + 0. Suppose s*c + c - 3 = 0. Let i = -5 - -7. Are i and c nonequal?
True
Let v(q) = -q**3 + 4*q**2 + 5*q - 6. Let k be v(4). Suppose 4*r = -2*l - k, 0*l - 5*r + 7 = -l. Suppose 3*u = -12, 4*g + 0 = -3*u - 44. Is g != l?
True
Let j = -3 + 5. Are j and 3 nonequal?
True
Suppose 4*j - 6*j - 22 = 0. Let u = -11 - j. Which is smaller: u or 2/93?
u
Let b = -7.93 - 0.07. Let l = -7.8 - b. Do 2/13 and l have different values?
True
Let y be 2/4*4/6. Is y bigger than 0?
True
Let j(z) = -z**2 - z + 2. Suppose 5*w - 9 = 1. Let y be 16/12*(-3)/w. Let o be j(y). Is o < 0?
False
Let j(z) = z - 8. Let n = -2 + 8. Let y be j(n). Suppose 3 = -5*v - 2. Which is bigger: y or v?
v
Let v(x) = x**3 + 2*x**2 + x - 3. Let z be v(0). Suppose 2 = -3*b + 2*b. Is z greater than b?
False
Let i be ((-2)/10)/(4/12). Suppose 0 = 2*b - 4*b - 4. Is b equal to i?
False
Let c(u) = u**2 + 4*u - 4. Let x be c(-6). Suppose 4*y + 56 = 4*b, -2*b + 5 = -y - 18. Let p = b - x. Which is smaller: p or 2?
p
Let j(y) = -y**3 - 12*y**2 + 3*y + 13. Let g be j(-12). Is g less than -22?
True
Let x = -27 + 27.1. Is x at most as big as -2?
False
Let r(b) = b**2 - 4*b - 5. Let g be r(5). Suppose g*i = 3*i. Let h = -4 + 3. Which is smaller: h or i?
h
Let r(g) = g**3 - 22*g**2 - 25*g + 45. Let v be r(23). Which is smaller: 2/185 or v?
v
Let i = 91 - 96. Which is smaller: -3 or i?
i
Suppose -5*c - 5*y = -40, 0 = 2*c + 2*c - 5*y - 5. Let n = 6 - c. Which is smaller: 3 or n?
n
Let o be (-15)/36 + 1/4. Suppose 3*f - 6*f = -12. Let g = f + -3. Is o > g?
False
Let d = 0.2 - 0.1. Let c = -0.2 + d. Let x be (-34)/10 - (-12 + 9). Is c greater than x?
True
Let z be (-2)/1 - (2 + -8). Suppose 0*f = -z*k + 5*f - 22, -5*k - 4*f - 7 = 0. Which is smaller: k or -2?
k
Suppose 10 = 2*x + 4*g, g = -0*x + 3*x + 6. Let f = 6 - 4. Let m be 1/(f/(0 + -2)). Is m > x?
False
Let v(x) = -x**2 - 3*x - 3. Let t be v(-4). Let g = t + 11. Suppose -2*u + g*s = 7 + 3, 0 = -5*u + 4*s - 13. Is u != -2/5?
True
Let y = 0.2 + 0.8. Let b = 2.5 - 2.54. Which is greater: y or b?
y
Let b = -14/171 + 4/513. Which is greater: 1/2 or b?
1/2
Let z = 11 - 6. Let v = -74 - -70. Let n = v + z. Which is smaller: 5 or n?
n
Let i = 21 - 20. Which is smaller: -3 or i?
-3
Let w = 52/5 - 11. Is -1 greater than w?
False
Let a be 1/(-1 + (-2)/(-3)). Let l = 2.5 + -0.5. Which is smaller: l or a?
a
Let u = -62 + 63. Is u at most 1/12?
False
Suppose z + d - 9 = -5, 4*d - 12 = -2*z. Is -16 smaller than z?
True
Let u(t) = -t**3 + 12*t**2 - 6*t - 13. Let h be u(12). Are h and -85 equal?
True
Let b be ((-32)/(-760))/((-2)/(-5)). Which is bigger: b or 1?
1
Suppose 1 + 0 = w. Is w at least as big as -2/5?
True
Let c(t) = -4*t**2 + 2*t - 2. Let s(r) = 8*r**2 - 4*r + 5. Let z(l) = -7*c(l) - 3*s(l). Let q be z(-4). Let j = q - 145/2. Is -1 less than or equal to j?
False
Let c = -0.9 - -1. Let a = c - 0.13. Let y = -2 + 3. Is a at least y?
False
Let j = -2 + 2. Let d be 4/(2 + j)*3. Suppose 3*u + 3 = d. Which is smaller: 0 or u?
0
Suppose 3*j - 10*w + 5*w + 38 = 0, 0 = -5*j + 5*w - 50. Let o(f) = -f**2 + f - 5. Let z be o(0). Is j smaller than z?
True
Let m be (-4)/(-18) + 736/(-72). Which is greater: m or -11?
m
Let y = 3.6 + 1.4. Is 0.1 at most as big as y?
True
Let p = 146 + -147. Which is bigger: -2/189 or p?
-2/189
Let a be (-4)/(-14) - (-54)/7. Is a <= 8?
True
Let l = -17 - -8. Let q = -10 - l. Let b be 6/2*(-2)/(-6). Which is greater: q or b?
b
Suppose 5*w = 49 - 14. Suppose 5*y + 4*r + w = 28, 0 = -5*r + 20. Let a be (-5)/(-21) + (-2)/(-6). Which is greater: a or y?
y
Let l(g) = -g - 3. Let u be l(-6). Suppose -u*c = -c + 3*a - 25, -c - 7 = -5*a. Let k be (-8)/6*12/c. Is k less than -2?
False
Suppose 5*b + 425 = -535. Let l = 957/5 + b. Which is smaller: l or -2?
-2
Let x = 0.3 + 0.7. Let w = x - 1.1. Let i = w + 0.2. Is i < -2?
False
Let p(o) = -o**3 - o**2 - o - 2. Let q be p(-1). Which is greater: -1/72 or q?
-1/72
Let h = 1.95 - -0.05. Let z = -84 + 84.5. Is z != h?
True
Let r be 4/(-16) + (-2)/(-8). Is r at most as big as -4/5?
False
Let m = 31 + -53. Let v = m + 23.1. Let h = 1 - v. Does h = 0?
False
Let g be 1/3*(-15)/5. Is 3/5 not equal to g?
True
Let v(u) = u**3 - 7*u**2 + 3*u. Let y be v(7). Is y < 21?
False
Let o = 262 + -2880/11. Let n = -15/22 + o. Let i = -34.9 + 35. Which is smaller: n or i?
n
Let r = 1 - -1. Let m be -1*(-3 + r)*1. Which is bigger: 2/23 or m?
m
Let j(v) = v**2 - 4*v + 6. Let a be j(4). Let t be -2*a/8*-2. Let s(x) = -x**3 + 16*x**2 + 2. Let n be s(16). Is n greater than t?
False
Let r = -1 - -11. Is r at least as big as 78/7?
False
Suppose -b = 2*b - 12. Let q(r) = r**3 + 3*r**2. Let z be q(-3). Suppose 8 = 4*p - z*p. Which is smaller: b or p?
p
Let s be -2*(-1)/(-44)*-1. Which is smaller: 0 or s?
0
Let d = 34/285 + -1/15. Is d at least as big as -0.1?
True
Let m be (-1)/(-2) - 56/(-16). Suppose 0*n + m*n - 68 = 0. Which is smaller: 16 or n?
16
Let w(u) = u**2 - 8*u - 1. Let a be w(8). Let j be 2/(-6) + (-7)/(-3). Let h be (j + -2)*a/2. Which is smaller: h or 1/3?
h
Let r(b) = -b**3 + 4*b**2 - b + 1. Let a be r(4). Let f be 23/(-3) + a/9. Let s be f/(-52) + 3/65. Which is smaller: 0 or s?
0
Let v = -30 - -33. Let o = -5 + 9. Let d = v - o. Is d smaller than 2/7?
True
Let n be (-256)/165 - (-4)/(-22). Let f = 7/5 + n. Is f < 1?
True
Suppose -l = r + 24, -l + 2*l + 22 = -2*r. Is l < -26?
False
Let j be 3 - (598/378 - -2). Let p = j + 8/27. Which is smaller: p or -7?
-7
Let o(z) = 2*z + 4. Let v be o(3). Suppose -5*f - 20 = v. Is -7 > f?
False
Let n be (2 - 0) + -8 - -2. Let i = 3 + n. Let s be (-3)/(-2)*i/3. Is s at least as big as 1?
False
Let t = -0.31 + -9.49. Let a = -8 - t. Let h = 2 - a. Which is bigger: h or 3?
3
Suppose 5*g - r = 2*r + 79, -4*g - r + 70 = 0. Suppose g = -4*w - 11. Which is bigger: w or 1?
1
Let a = 0.23 - -0.07. Let i = -0.2 + a. Are i and 0.2 unequal?
True
Suppose 4*n - 4 = 4. Suppose 5*z + r = -9, n*z + 7 - 2 = r. Let q(k) = -k**2 - 8*k - 7. Let f be q(-7). Is z bigger than f?
False
Let k = 1 - 0. Let j = -4 - -2. Are j and k nonequal?
True
Let o be -3 + 21/(-1) + -2. Do o and -26 have the same value?
True
Suppose y - 57 - 2 = 0. Suppose -y = -3*k + 205. Let b = k + -794/9. Which is bigger: b or -1?
b
Let b be -5*8/5*1. Let v be b/(-28) - 9/7. Is v bigger than -2/5?
False
Let v(g) = 2*g - 10. Let j be v(7). Which is greater: 2/7 or j?
j
Let z = 1 - 0. Let p = -1 + z. Let k = 3.2 + -4.2. Do k and p have the same value?
False
Let j be 2/(-1 + 2)*1. Let r be (-3)/j*(-44)/(-495). Is -1 at most r?
True
Let r(w) = -4*w - 29. Let v be r(-9). Are 6 and v nonequal?
True
Let x be ((-12)/(-5706))/(3/9). Let g = x - -941/1585. Which is smaller: g or 2?
g
Let x be 194/(-62) - 30/(-50)*5. Which is smaller: 1 or x?
x
Suppose k + 3*k = 0. Let q be 2 - 0/1 - k. Suppose -10 = 3*p - 2*l, 0*p + 3*p - 20 = -4*l. Which is bigger: q or p?
q
Let o = -1.8 + -5.2. Let w = o - -7. Let z = -3 + w. Do z and 1/4 have the same value?
False
Let i = -31/7 + 617/133. Is i != -1?
True
Suppose 2*b - 16 = b. Let h be 27/12*b/66. Which is smaller: h or 0?
0
Let g = 6 - 3. Let n = g - -2. Let t be n/10 + 21/(-34). Which is smaller: 1 or t?
t
Let v = 1/61 - -111/671. Suppose 2*z - 2 - 2 = 3*o, -3*o = -3*z + 3. Which is smaller: z or v?
z
Let z = 22492/5627 - 38/331. Let