greater: o or 1?
1
Let p = -25 - -54. Is p <= 28?
False
Let s = -10 + 16. Let t = s + -7. Is t at most -0.1?
True
Let c = 1 + 2. Suppose 12 = -c*u - 0*u. Let t be 1/(1 + (-12)/9). Are t and u equal?
False
Suppose -12 = 2*p + 4*k, 6*p + 3*k + 9 = 3*p. Which is smaller: p or 1/10?
p
Let o = 35/39 + -3/13. Suppose -30 = 2*n + n. Let y = n - -11. Which is bigger: o or y?
y
Suppose -3*o + 12 = -3*g, 0 = -0*o + 2*o + 4*g - 8. Let t be o/(-6) - 32/(-39). Which is bigger: t or 0?
t
Suppose 0*u = 4*u + 96. Which is greater: u or -23?
-23
Let h = -226/235 - 30/47. Suppose -3*x - 2*r + 19 = 0, 5*x - r = 7 + 16. Suppose -3*j + 4 = -5*d - 1, -x*d + 4*j - 5 = 0. Which is smaller: h or d?
h
Let t(z) = -11*z**3 - 1. Let c be t(-1). Let i = 14 - c. Let p be 3/6*i - 2. Which is greater: p or 4/5?
4/5
Let o = 269/8 + -34. Let u = 4 + -3. Which is greater: u or o?
u
Suppose 5*s = 11 - 6. Is s >= -10/21?
True
Let h(o) = -o - 4. Let g be h(-3). Suppose -5*l + n = -4*n - 10, 3*n = l - 6. Let p be -2 - g - l/(-2). Which is smaller: p or 0.1?
p
Let l = 4 + 1. Suppose -5*j + 6 = -3*n, 0*j + 10 = 5*j - l*n. Which is bigger: j or 8?
8
Suppose 5*n = -5, z + 5 = -0*z - 4*n. Which is smaller: z or -2/57?
z
Let c be 1/(3 - (4 - 2)). Is c > -1/9?
True
Let z = 0.67 + 0.33. Which is smaller: -19 or z?
-19
Suppose 0 = -3*c + 6*c. Which is bigger: c or 1?
1
Let c(g) = g**3 + 3*g**2 - 4*g - 3. Let n be c(-4). Let q(l) = -l - 2. Let m be q(n). Let a be (m - (-9)/(-6))*-1. Which is bigger: a or 0?
a
Let j = -413/285 - -25/19. Is j at least as big as 1?
False
Let n = -0.3 - -0.2. Let v = -0.18 - -0.18. Is v >= n?
True
Let c be (-9)/15*1/((-12)/152). Which is bigger: c or 8?
8
Let o be -1 + 28/2 - 1. Suppose 8 = -c + 3*u, c - u = 3*c - o. Let d = c + -7. Which is bigger: -1 or d?
-1
Let u be 1/(-2) - 15/10. Suppose 2*s - 5*n - 1 = 0, -3*n + 2*n - 8 = -3*s. Suppose 12 = -w - s*w. Is u less than or equal to w?
False
Let m(a) = -2 - a**3 + 4 - 3 - 1 + 3*a**2 + 4*a. Let l be m(4). Are l and -1/3 equal?
False
Let s = -38 - -55. Is s >= 18?
False
Let i be (387/(-12))/(12/(-32)). Is i greater than 86?
False
Let m be 15/9*3 - -2. Let l = -10 + m. Let a be l/9 - 2/(-6). Does a = -2/11?
False
Let u = -253 + 247.06. Let w = u + 6. Let v = -1.94 - w. Is v bigger than -2?
False
Let i = -6 + 9. Is i smaller than 3?
False
Let l(m) = -m**2 + 3. Let k be l(2). Is k <= -12/23?
True
Let u = -0.1 + 1.1. Let z = 28 - 53. Let f be (-10)/(-6)*10/z. Is f less than u?
True
Let i = -0.9 + 0.8. Let f be (-2)/(-30) + 2/6. Is f > i?
True
Let x = -0.07 - -0.12. Let m = x + 0.35. Is m smaller than -1?
False
Let n(z) = z**3 + 10*z**2 - 11*z + 1. Let b(v) = -v**3 + v**2 - 11. Let c be b(0). Let j be n(c). Is j at most as big as 2/71?
False
Let o = -4.3 - 0.7. Let h = 4.9 + o. Which is bigger: -3 or h?
h
Let z = 99249/61 + -1627. Is 1 smaller than z?
False
Let f = -32 + 32.1. Which is smaller: 0 or f?
0
Let z = 217 - 216. Let a = 52 - 362/7. Are a and z non-equal?
True
Suppose 0*p + 40 = 5*p. Let g be 1/(-3) + p/6. Which is smaller: g or -1/6?
-1/6
Let q = -4/3 - -7/6. Which is smaller: -1 or q?
-1
Let h = 24 + -16. Let o = h - 8. Is 0.2 less than o?
False
Let s be 4 - 45/(-20)*-2. Is -9 at most as big as s?
True
Let k be (6/14)/(2/14). Let z = 2.9 + -3. Which is smaller: k or z?
z
Let c = -29 - -439/15. Which is bigger: 1 or c?
1
Suppose -5*b = -3*s + s - 4, 2*s + 4 = -3*b. Let k = b - 0. Is k > 2?
False
Let x(y) = y**2 - 5*y + 4. Let a be x(3). Let r be a - (-3)/3 - -5. Is r greater than 4?
False
Let j = -38642/18383 + 1893324996/17518999. Let c = j + -788109002/7430541. Let x = 2/339 + c. Is -1 at most x?
True
Suppose 5*s - 17 - 23 = 0. Suppose 3*g + 2 + 10 = 0. Let v be ((-28)/16)/(1/g). Is v > s?
False
Suppose -7 = 3*w - 22. Suppose q + 40 = -n, 0 = -2*q - q - 2*n - 124. Let t be 8/q + (-272)/(-44). Is w less than or equal to t?
True
Let y be 8/(-10)*(-2)/(-4). Let s be ((-1)/(-2))/((-4)/(-8)). Is s >= y?
True
Let m(o) = -o**2 - 7*o - 3. Suppose 3*n - 7 - 6 = -l, 5*l = 3*n - 25. Suppose n*f + 18 = 2*f. Let w be m(f). Which is smaller: -1 or w?
-1
Let m(p) = p**2 - 12*p + 6. Let w be m(9). Which is greater: -23 or w?
w
Suppose -15 - 2 = -3*y - 4*z, 3 = 2*y + z. Which is smaller: 1/12 or y?
y
Let y = -38 - -39. Which is bigger: -3.8 or y?
y
Let r be (-3)/(-6) - (-35)/2. Suppose 0*p = -2*p - r. Which is bigger: p or -10?
p
Let g = 26 - 16. Let s = -10 + g. Let l = -1 - -2. Does s = l?
False
Let b(w) = -9*w**2 + 3*w + 1. Let x(h) = -2*h**2 - 3*h. Let d be x(-2). Let i be b(d). Let n = i + 124/3. Which is smaller: n or 0?
0
Let r = 7 - 3. Suppose 0 = -r*a + 3 + 1, -5*i = 4*a - 3154. Let p be (-203)/i + 2/9. Is p <= 0?
True
Let o(s) = s**3 + 6*s**2 - 7*s + 1. Let u be o(-7). Which is bigger: u or 3/4?
u
Let s = -135 - -126. Which is smaller: s or 10?
s
Let j(x) be the third derivative of -x**5/60 - x**4/3 - 2*x**3/3 - 3*x**2. Let v be j(-8). Is v greater than or equal to -5?
True
Suppose -33 = 6*d + 57. Let q be (d/(-9))/(4/(-4)). Which is greater: -1 or q?
-1
Let l(d) = 2*d + 11. Let p be l(-10). Which is bigger: p or -28/3?
p
Let j(c) = -c + 7. Suppose p = -3*m, -5*m = 3*p - 10*m. Suppose p = -0*l + l - 5. Let n be j(l). Which is smaller: n or 3?
n
Suppose -t - 34 = -3*v, -3*v - 2*t - 1 + 23 = 0. Suppose 2 - v = -2*m. Suppose m*i = -i. Do 0 and i have different values?
False
Suppose v + 3*v = 8. Suppose -v*j = -3*j + 35. Let l be 2*1 - 80/j. Which is bigger: l or 0.2?
0.2
Let z(j) = j**3 + 8*j**2 + 7*j. Let x be z(-7). Suppose x*m = -4*m + 8. Is 1 < m?
True
Let a(c) = -c**3 + c**2 + 2. Let o be a(0). Let s be (3/3)/(o/(-2)). Are s and -1 equal?
True
Let i = 27 + -23.9. Let z = 0.1 - i. Let n = z - -3.1. Do n and 0.3 have the same value?
False
Let q = 1.1 + -1. Let z = -0.1 + q. Let v(l) = l**3 - 6*l**2 + 5*l. Let n be v(2). Which is smaller: n or z?
n
Let t = -13.8 + 18.8. Is -10/9 at most as big as t?
True
Let f = -3 + 5. Suppose p + f*p - 9 = 0. Suppose -5*s - 3*c = 2, -c - 3*c = -2*s + 20. Is p equal to s?
False
Let t be (4/(-12)*-3)/(-1). Which is greater: t or 1/21?
1/21
Let a = -51 + -133. Let o = 2943/16 + a. Suppose 5*t + 24*x - 27*x = -20, 0 = 5*t + x. Which is smaller: o or t?
t
Let q = -1/1283 - -2673/137281. Which is greater: q or 1?
1
Let t = 1.8 - 2.2. Let v = 15 + -12.4. Let w = v - t. Which is smaller: 0.2 or w?
0.2
Let c(l) = l**2 - l + 4. Let n(a) = -a**2 - 9*a + 3. Let z be n(-9). Let b be c(z). Let x be (-1)/b*(-15)/(-12). Is x at least 1?
False
Suppose 5*z + 10 = -b + 3*b, 2*z = b - 5. Let d be (b/(-2))/5*-4. Let s = -320/3 - -108. Which is bigger: s or d?
d
Suppose 2*f = 4*x - 10, -3*x - 10 = 4*f - x. Which is smaller: -7 or f?
-7
Let j(y) = 13*y**3 + 3*y**2 - 2. Let t be j(2). Let l be (-3)/2 + t/60. Let v = -0.1 - -0.1. Is l at least v?
True
Let v = 1 + -1.1. Let k = 19.02 + -19. Let q = 0.28 + k. Is v less than or equal to q?
True
Let v be ((-6)/27 - (-775)/45)/(-6). Is v not equal to -2?
True
Let r = -0.1 - -0.12. Let l = r + 0.18. Which is greater: l or 1/3?
1/3
Suppose 3*p - 58 = -13. Do 16 and p have different values?
True
Let h be 1 - 39/(-15) - 3. Let d be ((-42)/105)/((-7)/(-5)). Is d greater than or equal to h?
False
Let t be (3 + (-140)/46)*2. Does 1 = t?
False
Suppose 3 = 3*y + 5*d, y + 0*d - 2*d = 1. Which is bigger: y or -2/7?
y
Let b(r) = 2*r**2 + 5*r + 3. Let d be b(-3). Suppose n + 1 = 0, -d = -p + 6*n - 4*n. Let z = p + -4. Which is greater: z or 2?
2
Let x(n) = n - 2. Let w(g) = g**2 + g + 1. Let p be w(-3). Let m be x(p). Suppose m*r - r = 3*d + 6, 4*d + r = -8. Is d greater than -3/2?
False
Let n(w) = -5*w**2 + w. Let r be n(1). Let s = r + 4. Let z = -0.3 - -0.5. Is s less than z?
True
Suppose -9 + 22 = -3*t + i, -5 = -5*i. Let g = -15 + 14. Let b = g + 1.1. Is b smaller than t?
False
Let o = 2.2 + 3.8. Let j = 4 + -11. Let v = o + j. Is -4 at most as big as v?
True
Let h be (51/(-12))/(3/(-12)). Which is smaller: h or 16?
16
Let d(a) = a**2 - 12*a + 14. Let f be d(11). Let r = f + -5. Which is smaller: r or -1?
r
Suppose -2*c - 5 = -3*c. Suppose h = c*h. Is h < -0.2?
False
Let q(m) = m**2 + 11*m - 2. Let l be q(-10). Let g = l - -11. Is g smaller than -1?
False
Let y be -3 - (35 + 2 + 0). Which is smaller: y or -42?
-42
Suppose 0 = -2*d + 3*y + 32, -3*y = -3*d + 5*d 