 - 1.6. Let c = j + 2.01. Which is greater: t or c?
c
Let v = -0.2 + 0.2. Let d = -0.4 - 0.6. Let y = d + v. Is y bigger than 2/9?
False
Suppose 4*i - 14 = -2. Suppose l - 32 = i*o, -5*o - 62 = -3*l - 2. Which is smaller: -10 or o?
-10
Let j = -12 - -11.94. Let z be -2 - (-2 + -2) - 1. Which is bigger: z or j?
z
Let s = -2 + 2. Is -17 not equal to s?
True
Let o(f) = -f**3 - 9*f**2 + 9*f - 5. Let n be o(-10). Suppose -n*b + 4 = -1. Let i be b*(-2)/4 + 1. Is 2 equal to i?
False
Let f = 5/17 + -11/153. Let t = -16.8 + 15.8. Do t and f have the same value?
False
Let z be (4/6)/(20/42). Let n be (-44)/30*2/(-4). Let d = n - z. Which is smaller: 0 or d?
d
Suppose -3*i = -2*c + 11, -4*i + 8 = -c + 4*c. Which is smaller: i or -3/5?
i
Let n be (21/(-9) - -3)*9. Suppose 2*f + 3*f - n = 3*g, -4*f - 3*g = 6. Is f >= -4/5?
True
Let y = -39 - -39. Is -4/13 greater than y?
False
Let j = -259/360 + -1/1800. Which is smaller: -2 or j?
-2
Let g(z) be the third derivative of z**4/24 - z**3/6 + 4*z**2. Let k be g(1). Suppose k*n = n. Is -4/7 at least as big as n?
False
Let r = -0.1 + -0.9. Let x = r + 1.1. Let o = -24 - -24.8. Is o bigger than x?
True
Let b = 112 - 111. Does 13 = b?
False
Let m(v) = -v**3 - 5*v**2 - 5*v + 8. Let b be m(-4). Which is bigger: b or 2?
b
Let d be 2 - 1 - 2 - -1. Let i be d + (1 - 663/387). Let w = 2/43 + i. Are -2 and w unequal?
True
Let z = -1.96 + 2. Let u = 2 + -2.04. Let p = u + z. Is 0.2 less than or equal to p?
False
Suppose d - 13 = 6. Let g = d - 93/5. Is g not equal to -1?
True
Let k = -9 + 11. Let b(d) = -2*d + 4. Let r be b(k). Suppose -4*x - 1 = 3. Is x >= r?
False
Let u = 38 + -35. Which is bigger: u or 0?
u
Suppose 3*u + 4 + 2 = 3*v, -5*v - 2 = -u. Let j be (4/(-8))/(2/(-12)). Let z be -1 - (3 - 6) - j. Is v less than z?
False
Let a be (2/3)/(3/54). Suppose a*v + 3 = 9*v. Are v and 3/8 nonequal?
True
Let z = -7.8 + -1.2. Let k = 11 - 35. Let n = -23.9 - k. Is n at most as big as z?
False
Let f(a) = -a**3 + a**2 + a - 1. Let g be f(0). Let c(s) be the third derivative of 7*s**4/24 + s**3/6 + 5*s**2. Let y be c(g). Does -2 = y?
False
Suppose -4*k + 9*k - 380 = 0. Suppose -3*z = z + a + 99, -3*z + a - k = 0. Is z at most -25?
True
Let m be 4/22 - 204/396. Are -1 and m unequal?
True
Let n be (-21)/6 - 2/(-4). Let h = 0 + n. Let o = h + 2. Which is bigger: -0.2 or o?
-0.2
Suppose 4*s = 5*s - 6. Suppose 5*c = -3*h - 2*h, -c = -3*h - 20. Which is smaller: s or c?
c
Let b = -113/95 + -4/19. Let l = 9/5 + b. Which is bigger: -1 or l?
l
Suppose 0*k = 2*k - 8, -5*j + k = 54. Let q = 8 + j. Is -1 smaller than q?
False
Let t be 479*-1*6/18. Let k = t - -161. Which is smaller: 1 or k?
1
Suppose -4*m = -2 - 2. Which is smaller: -1/32 or m?
-1/32
Let p be (-1 + -3 - -11)/((-3)/(-15)). Is p greater than 34?
True
Let a be ((-2)/(-32))/((-1)/(-4)). Let g = -2 - -1. Are g and a equal?
False
Let w(z) = -z**2 - 13*z + 20. Let i be w(-14). Let a = 2 - 0. Let d be a/3*i/26. Which is greater: d or -1?
d
Let u = -38 + 46. Is u bigger than -4?
True
Suppose 3*g - 4*q - 12 = 0, 3 = -g + 3*q - 4*q. Which is bigger: g or -4/7?
g
Let r = -2 - -11. Let h(w) = -w**2 - 4*w - 7. Let g be h(-5). Let a be (-2)/(-6)*r/g. Which is smaller: 0 or a?
a
Let h = 7 - 8. Do -1 and h have the same value?
True
Suppose 5*n - 12 = 3. Suppose -4*c + 0 = -32. Suppose -n*d = -c*d. Is -2/7 greater than or equal to d?
False
Let o = 3 - -2. Let i be 2/5 - (-92)/120. Let f = -5/3 + i. Do o and f have different values?
True
Let l(r) = -2 + 3*r + r**3 + r**3 + 0 - 2*r**2. Let g be l(2). Suppose -12 = -6*n + 2*n, -3*o - 3*n = -g. Is o at most as big as 1?
True
Suppose 6*k = 2*k - 312. Let g be (2/k)/((-1)/6). Which is greater: 1 or g?
1
Suppose p + 4*f = -56, 2*f + f = 3*p + 108. Let y be (p/8)/(0 + 1). Is -5 bigger than y?
False
Let q = 3 - 2.1. Let h = 0.1 + q. Let w = -114 + 113.6. Which is smaller: h or w?
w
Let l(r) = -r**3 - 8*r**2 - 2*r - 16. Let n be l(-8). Which is smaller: 2/193 or n?
n
Suppose 4*r = 3*r + 98. Let l be 12/30 - r/(-5). Let m = 59/3 - l. Is -1 equal to m?
False
Suppose -3*f + h + 14 = 0, -f + 0*f - 4*h + 9 = 0. Suppose -15 = -f*n + 5*x, n - 4*x + 6 = -0. Are 6 and n nonequal?
False
Let c = 0.07 + -0.11. Let i = c - -0.14. Are i and -0.8 unequal?
True
Suppose k = 3*k - 2. Let h be 4/8 - 62/92. Let x = h + -18/161. Is x < k?
True
Let u = 4/19 + -27/38. Let w(y) = y + 2. Let i be w(-2). Is i greater than or equal to u?
True
Let h = 1 + -1. Let s = -0.2 - 6.8. Let o = -3 - s. Do o and h have the same value?
False
Let g be 3/27*-3 + 0. Let b(q) = q**3 - 4*q**2 + 4*q - 3. Let p be b(3). Which is greater: p or g?
p
Let x = 10 - 10. Which is bigger: -6/13 or x?
x
Let g = 0.7 + -4.7. Let o = 3.92 + g. Let q = o - 7.92. Which is smaller: q or 1?
q
Let q(d) = 2*d**2 + 4*d + 2. Let m be q(-3). Let x = m - 4. Let b = 77/2 - 36. Which is smaller: x or b?
b
Let k = -1.12 + 0.12. Let q = 0 - k. Which is smaller: q or 0.1?
0.1
Let l be (-2)/7 + (-51)/(-7). Let r = l - 11. Is r at least as big as -4?
True
Let r(i) = -i**3 - 7*i**2 - 9*i - 5. Let j be r(-6). Is j equal to 13?
True
Let k = 6830/27 + -253. Which is smaller: 1 or k?
k
Let f = 3 - 3. Which is smaller: f or 1?
f
Let l be ((-2)/(-4))/((-6)/4). Let u be 22 - 24 - (-1)/1. Which is smaller: u or l?
u
Let v = -117 - -117. Is v equal to -16?
False
Let a be 1 + 0 - (-117 + 3/1). Is a less than 114?
False
Let p = 38 - 26. Which is bigger: p or 11?
p
Let p = -74 - -81. Which is bigger: p or 23/3?
23/3
Suppose -1 - 2 = -c. Let z(j) = -15*j - 3. Let i be z(c). Let l be 68/i - (-4)/6. Is l < -1?
False
Let a = -106/9 - -875/72. Let m(k) = k**3 - 8*k**2 - 3*k - 2. Let s be m(8). Let y be 2/(-4) - 13/s. Is a > y?
True
Let k = -134 + 154. Is k greater than or equal to 19?
True
Let l = 49 - 53. Suppose -11 = -5*r - 1. Let n be (l/r)/(2/(-3)). Is n at least 2?
True
Suppose f + 74 = 3*u, 0 = 2*u - 0*u - 2*f - 48. Suppose -7 = 2*p - u. Let j be (-6)/p + (-4)/(-6). Which is bigger: j or 4/5?
4/5
Let k be 8/52 - (-2 - 45/(-39)). Which is smaller: k or 2/13?
2/13
Let i = 4 + 0. Suppose i*t = -n + 11, -n + t + 0*t = 4. Which is smaller: n or 0?
n
Let m(f) = f**3 + 9*f**2 - 11*f - 9. Let u be m(-10). Let i be (u/2)/(5/8). Which is bigger: i or 2?
2
Let n be (6/(-8))/(30/(-32) - -1). Is n < -9?
True
Let u be (-9)/4*24/9. Let c be u/(((-20)/1)/2). Which is greater: c or 0?
c
Let y = 20.91 + -21. Let w = y + -0.01. Let o = 0.3 + w. Which is bigger: -0.1 or o?
o
Suppose 3*a - 8*o = -3*o + 65, 3*a - 62 = 2*o. Suppose 0 = -5*w - 4*t - 11, -4*t + 0*t = -4*w + a. Is w at most 1?
True
Suppose -5*w + 5 = -0. Is 2 less than w?
False
Let o = -1.5 + 2. Let f = o + -0.4. Let d = 4.3 - 1.3. Which is smaller: d or f?
f
Let q = -1726384 - -2722507708/1577. Let o = q + -3/83. Are 1 and o unequal?
True
Let b = 4 - 9. Which is bigger: -4 or b?
-4
Let v = -1798/5 + 174391/485. Let t = 597/485 + v. Let w(l) = l**3 + 4*l**2 + 1. Let g be w(-4). Which is smaller: g or t?
g
Suppose 2*p + 11 = -z, -3*z + 5*p = -7*z - 29. Which is bigger: -1/125 or z?
-1/125
Let f = -0.14 - -0.14. Is f smaller than 1/3?
True
Let a be (-32)/(-14) + (-12)/42. Suppose d = a*d - 1. Which is greater: d or -1?
d
Suppose -20 = -5*u + 5*a, -3*u - 6*a = -a + 28. Let j be (-2 + -1)*6/27. Is u greater than j?
False
Let g be 6/35*40/(-12). Is -2 at most g?
True
Let p be (-3)/12 + (-130)/(-136). Is p >= 1?
False
Suppose 10*p = 8*p - 6. Suppose 3 + 9 = -3*i. Is p less than i?
False
Suppose -w - d = -5*w - 135, 0 = 5*w - 5*d + 150. Does w = -36?
False
Let i = -2.8 - 8.2. Let d = 19 + i. Which is smaller: 1 or d?
1
Let g = -35/96 + 1/32. Are g and 1/15 non-equal?
True
Let h(k) = -2*k + 9. Let m be h(6). Let p = 15 - 8. Let r = 3 - p. Is m < r?
False
Suppose 0 = 2*a - 0*a. Suppose 4*l + 3*s = -0*s - 3, a = l + 3*s + 12. Suppose -c + l*c = 0. Is 2/13 bigger than c?
True
Suppose s = -5*d - 6, -3*s = 3*d + s + 7. Is 0.06 less than or equal to d?
False
Let h = 3983/6 - 1271/2. Let k = h + -28. Let y = -10.8 - -11. Which is smaller: y or k?
y
Let q(j) = 184*j**3 - j**2 + 2*j - 1. Let a be q(1). Suppose p - i + 2*i = -60, 3*p + a = -i. Let t be p/60 + 7/35. Is t less than -2?
False
Let d(b) = 2*b - 11. Suppose 32 - 2 = -2*s + 5*h, -s - 2*h = -3. Let u(z) = 3*z - 17. Let r(m) = s*u(m) + 7*d(m). Let