 Let i(v) = -4*v**2 - 4*v - 4. Let q(x) = -3*g(x) + 5*i(x). Let y be q(-1). Suppose u - y + 2 = 0. Is 2 not equal to u?
False
Let o(r) = -r - 4. Let n be o(-3). Let a be (-10)/(-35) - ((-4)/14)/(-1). Which is bigger: n or a?
a
Let b be (-12)/(-4) - (-10)/(-1). Let d = 2 + b. Which is greater: -3 or d?
-3
Let b = 76 - 69. Is b > 36/5?
False
Suppose 0 = 4*z - 5*y + 10, y + 1 - 3 = 0. Which is smaller: 3 or z?
z
Suppose 11 = -2*t - 485. Let y = t - -1246/5. Which is bigger: y or 0?
y
Let y = -85 + 120. Which is greater: y or -0.1?
y
Let g = 11.09 + -11. Is g equal to -2?
False
Let p = -0.3 + 0.4. Let h = -4143/140 + 11/28. Let w = h + 29. Is w != p?
True
Suppose 0 = 5*n - 29 - 11. Suppose 2*f = -3*r - 5, 4*r + 3*f + n + 0 = 0. Let x = 2/105 + -13/70. Which is greater: x or r?
r
Let t be 157/(-15) - (-1)/(-3). Let o be (-3197)/315 + 18/(-81). Let c = t - o. Which is smaller: c or 1?
c
Let q be (14/(-6) - -2)*-3. Let b be (1986 + q)/(3 + 14). Let m = b + -117. Is 0 bigger than m?
True
Let b = -0.2 + -5.8. Is 1 < b?
False
Let i = 5.4 - 5. Let y = i + -0.6. Do 2/9 and y have the same value?
False
Let i = 89 + -84. Is -3 not equal to i?
True
Let m be (-1)/3*(-2)/(-2). Let o(f) = -f**3 + 10*f**2 - 9*f - 2. Let j be o(9). Let g = -3 - j. Which is greater: m or g?
m
Let v = 5 + -4. Suppose u = -7 + 12. Is v smaller than u?
True
Let t = -2 + 2. Let l be 1 + -2 - 62/(-54). Let h = 2/27 + l. Which is greater: t or h?
h
Suppose 0*y = -4*y + 2*y. Is y > -2/67?
True
Let t = -0.04 + -3.96. Let i = 0.6 - -0.4. Let q = -0.8 + i. Which is bigger: q or t?
q
Suppose 0*t = -2*t + 20. Is t > 8?
True
Let k = -0.06 - 8.94. Let o = 3.9 + -2. Let r = o + -2.9. Which is bigger: r or k?
r
Let h = -0.23 - -1.23. Which is bigger: h or -6?
h
Let n = -691/85 - -94/17. Is n at least as big as -4?
True
Let w(h) = h**3 + h**2 + h + 1. Let n be w(0). Which is smaller: n or -4?
-4
Let l be 0/(1/((-1)/(-2))). Suppose 2*p = -p + 5*b + 14, -4*b - 16 = 0. Let q be 1/p - (-6)/28. Which is smaller: l or q?
q
Let v be (-6)/(-9) + (-8)/(-6). Suppose -5*x - 7 = -u - 2, 5*u - v*x = 25. Suppose -h = 3*i + h - 5, 0 = -3*i - h + 10. Is i < u?
False
Let m be (-33)/21 + -1 + 3. Is 1 <= m?
False
Suppose 0*j - 3*j = -54. Suppose -l - j = -a, a + a + 4*l = 18. Let z be 1/3*9/a. Which is greater: z or 0?
z
Let c = 31 - 29. Which is greater: c or 1/4?
c
Let m be 25/10*6/35. Let i(g) = 5*g + 0 - 4*g - 2. Let h be i(3). Is m != h?
True
Let p = -8.01 + 0.01. Let n = p + 8.6. Let u = n + 1.4. Which is greater: u or -2?
u
Let s = 1 - 2. Let d = s - 2. Which is smaller: d or -2?
d
Let s(k) = k**3 + 7*k**2 + 6*k - 4. Let y be s(-6). Is y > -7?
True
Suppose 0 = t + 1 - 5, -2*h - 2*t + 40 = 0. Is 16 smaller than h?
False
Let p = -69 + 42. Is p greater than or equal to -27?
True
Let f = 0.033 + -1.003. Let r = f - 0.03. Are r and 6 unequal?
True
Let o(v) = 0 - 4 + 2 - 5 + v. Let l be o(7). Which is greater: -2/5 or l?
l
Suppose 25 = 4*g - 15. Is 7 equal to g?
False
Suppose 3*v = 7*v + 12. Let a(l) = -l + 2. Let s be a(2). Let f(q) = -q**3 + q - 1. Let j be f(s). Is j greater than v?
True
Let t = 28 + -19. Let j = t - 11. Let k = 2 - 2.2. Which is smaller: j or k?
j
Suppose -30 = p + 3*d, 3*d - 8*d - 25 = 0. Which is smaller: p or -13?
p
Let y = 23 + -19. Let m(s) = -2*s**2 - 2*s - 2. Let v be m(-2). Let l = v + y. Which is greater: -2/3 or l?
-2/3
Let l be -1*(-3)/((-6)/(-8)). Suppose 0 = -l*k + 3*k. Which is smaller: k or -2/9?
-2/9
Let u be (8 + -4)*2/98. Let a = 127/245 + u. Is a bigger than -3/5?
True
Let g = -50/63 + 2/9. Suppose -6*l + 160 = -l. Let s = l - 65/2. Is g < s?
True
Suppose 0 = 3*n + k + 2, -10 = 3*k - 4. Suppose 0 = -n*r + 3*r. Is r greater than or equal to 1?
False
Let p be (-51)/(-7) - (-8)/(-28). Let x = -7 + p. Which is smaller: x or -2/9?
-2/9
Let r(v) = 8*v**2 + 6*v + 5. Let a be r(-2). Is a less than 26?
True
Let c = -20 + 25. Let y be c/(-6) + 6/4. Is 0 not equal to y?
True
Suppose g + 3*w - 20 = 0, 4*g - 8 - 12 = 3*w. Suppose 4*h = -g - 0. Is -2 at least as big as h?
True
Let j be 4/3*(-3)/2. Let h be (-9)/4 + 6/24. Is h at least as big as j?
True
Let a be -1 - (-3)/(39/8). Which is smaller: -1 or a?
-1
Suppose 0 = 5*d - 2*d - 5*z - 11, 5*z - 3 = -4*d. Suppose q = 5*u - 1, -2*q + 4*u = d*q + 4. Which is smaller: 1/17 or q?
q
Suppose -30 = -8*d + 10. Is 5 < d?
False
Let d = 131 - 128. Which is smaller: -1 or d?
-1
Let u = 1 + -4. Let s = -6 - u. Let g = s + 3.3. Which is greater: -0.2 or g?
g
Let l = 136.22 - 138. Let o = 2 + l. Let r = o - 0.02. Which is smaller: r or -2?
-2
Let o be 4/(-6) + (-8)/(-12). Suppose 3*c + 4*j = 6, j + o*j = 3*c - 6. Do -0.1 and c have different values?
True
Let l = -0.12 - -0.07. Let i = l - 0.05. Which is bigger: -3 or i?
i
Let l be (-1 - 1)*1*-1. Suppose -3*o + u = -3, 2*o + l*o = -2*u - 6. Let w = 1.01 + -0.01. Which is smaller: o or w?
o
Let v = 5354/14977 - 4/881. Which is smaller: v or -1/4?
-1/4
Let d = 1.31 + -1.11. Which is greater: 4/3 or d?
4/3
Let v be 4/10 + (-180)/325. Which is bigger: v or 1?
1
Let g(r) = r - 14. Let h be g(13). Which is smaller: -8/7 or h?
-8/7
Let q = 12 - 9. Let m = q + 10. Let o = m + -9. Is o smaller than -1?
False
Let n = -5 - -4. Let y be ((-2)/8)/((-123)/(-4)). Let j = y + -119/492. Which is bigger: n or j?
j
Suppose 3*y + 3 = 6. Let u = 167 + -687/4. Let p = 9/2 + u. Is y <= p?
False
Let k = -0.09 + 9.09. Let v = 8.8 - k. Is v greater than -2/7?
True
Let l be ((-11)/(-3) - 3)/((-8)/(-12)). Which is greater: -7 or l?
l
Suppose 8*u + 3 = 5*u + 3*q, -7 = -3*u - 2*q. Which is bigger: 0 or u?
u
Let h be (-12 + 26)*60/(-14). Let j be (h/34)/(-2) + -1. Which is greater: j or -1?
j
Let g be -3 - (2 + -13 - 1). Let t be 6/g - 3/18. Do t and 6/17 have the same value?
False
Suppose 2*z - 58 = -2*d - 2*d, 2*z - 13 = -d. Let f be (-5)/((-3)/d + 0). Let y be ((-4)/(-10))/(20/f). Which is smaller: y or 1?
y
Let g = -5 - -7. Let o be (1 + g)*1*3. Let r be 12/o + -3 - -1. Which is greater: r or -2?
r
Let x(z) = 110 - z**2 - 125 + 16*z - 7*z + 7*z. Let i be x(15). Is -1/4 less than or equal to i?
True
Suppose 3*s + 5 = 20. Is 1 less than s?
True
Suppose 5*g = -4*x + 21, 0 = 6*x - x + g. Are -4/25 and x nonequal?
True
Suppose s + 7 = 8. Which is greater: s or -2/31?
s
Let o(d) = -d**2 - 12*d + 13. Let s be o(-13). Suppose 0 = 4*t, -2*p - t - 2 + s = 0. Which is greater: 0 or p?
0
Let o be (5 - (-76)/(-16))/(-3 - -2). Suppose 0*z - 4*z = 0. Let n = z + 1. Which is smaller: n or o?
o
Let d(q) = q**2 - 2. Suppose 5*s = 5*v + 25, 3*v + 4 = -s - 3. Let p be d(s). Which is bigger: p or -2/3?
p
Let k be (-25)/(-112) + 12/(-42). Suppose -5*u + 4*l - 16 = 0, 0 = 3*u + l - 2 - 2. Which is greater: u or k?
u
Let p = -4 + 6. Suppose -p*w - 1 + 3 = 0. Let r = -2/111 + -83/1554. Is r not equal to w?
True
Let j = -17 + 14. Is j != -10/3?
True
Let l = 9 - 5. Suppose w = 2*w - m, l*m = 16. Let k = w + -5. Which is bigger: 2/9 or k?
2/9
Let y(t) = -t**2 + 7*t + 1. Let a be y(6). Suppose 0 = -a*k + 2*k - 5. Suppose -4 = -4*r - 2*v, r + v = 5*r + 2. Which is greater: r or k?
r
Let a = -1/33 + -383/429. Is a equal to 0.1?
False
Let s = 7 + -7.3. Is 3 bigger than s?
True
Let i(s) = 10*s - 2. Let b be i(3). Let r be (-104)/b + (-2)/7. Let p = -4 - r. Does -3/8 = p?
False
Let i = 670 - 38188/57. Which is greater: 0 or i?
i
Let f(j) = -7*j + 2. Let m(t) = 8*t - 2. Let c(q) = -7*f(q) - 6*m(q). Suppose 2*w + 3 = 3*w. Let s be c(w). Is s at least as big as 0?
True
Let v(h) = 6*h - 5. Let w be v(-2). Which is greater: -18 or w?
w
Let j = 6 - 4. Is j greater than 2?
False
Let g(r) = -3*r - 10. Let q be g(-4). Is q greater than or equal to 0.7?
True
Let f = 133 + -131. Which is greater: 9/14 or f?
f
Let y = -3 - -2.9. Let c = 13003/5 - 2613. Let j = -12 - c. Which is smaller: j or y?
y
Let k be (6/(-4))/((-12)/32). Let f be (-8)/39 + k/6. Which is smaller: 1 or f?
f
Let p(b) = b**2 + 3*b - 4. Let o be p(-4). Suppose o = 5*a - 0*a. Suppose 3*w - d = -a*d - 8, w - 2*d + 1 = 0. Do 0.1 and w have the same value?
False
Suppose 4*u + u = 3*w - 64, 4*u = 4*w - 48. Let s be (-2)/(-6) - u/(-24). Suppose -6 + 12 = 6*c. Is s smaller than c?
True
Let h be ((-2)/8)/((-6)/18). Let x(f) = -3*f. Let g be x(-2). Let i = g - 4. Are i and h equal?
False
Let d = -2 + 0. Let r(i)