- 3*m + 8. Let q = 6 - c. Which is smaller: q or 0.3?
0.3
Let d(r) = -4 + 3 - 2 + r + 2. Let t be d(0). Which is bigger: t or -1/14?
-1/14
Let s = -14 + 12. Suppose 2*h = 4*h + 4. Let r(p) = p**2 + 3*p - 1. Let t be r(h). Which is greater: s or t?
s
Let u = -20 + 28. Let r be u/(-6)*2/4. Is r not equal to -1?
True
Let i = -50/117 + 20/13. Let z = i - 104/45. Which is smaller: z or 0?
z
Suppose 5*j = 2*j + 6. Let b = 1 - j. Let a = 0 - b. Does 1 = a?
True
Suppose 2*l - 6*l + 12 = 0. Suppose 2*p = l*p. Let f(w) = 2*w + 10. Let i be f(-5). Is p at least i?
True
Let r = -439/8 - -55. Is -1 smaller than r?
True
Let n = 1 + 2. Suppose 18 = -3*u - u - 5*d, -5*d + 31 = -n*u. Let x(l) = l + 8. Let z be x(u). Is 1 > z?
False
Let f = -1527765/27652 + -2/6913. Let w = f + 55. Which is smaller: 1/5 or w?
w
Suppose 0 = -3*t + 5*t + 14. Which is smaller: t or -8?
-8
Let h be 1/4 + 2/(-8). Let b = h + -1. Let y be (-10)/3 - (-4)/12. Which is greater: b or y?
b
Let p = 17 - 15. Let r = p - -1. Which is smaller: r or 2?
2
Let d(h) = h - 3. Let m be d(7). Let s = 7 + -4. Suppose 0 = -s*w - w - m. Are w and 1/6 nonequal?
True
Suppose 0 = 2*g - 1 + 5. Suppose -j + 4 = 5*r, -4*j = -5*r - 0*j - 16. Suppose r = -3*x + x. Which is greater: x or g?
x
Let y = 1 - 7. Let o(x) = 4*x - 3*x + 0 + 0. Let k be o(-5). Which is bigger: y or k?
k
Suppose m = -5*r + 70, 0 = -5*r + 5*m + 20 + 50. Is r less than 13?
False
Let u be (2/42)/((-38)/(-171)). Which is bigger: -3 or u?
u
Let x be 58/224 + (-2)/8. Which is smaller: x or 1?
x
Let i = -18 - -20. Let j be ((i + -1)/2)/2. Does 5 = j?
False
Let b = 0 - 1.7. Let g = b - -1.76. Is -2 >= g?
False
Suppose s - z = -3, 2*s - 5*z = 5*s + 33. Let u be ((-1)/2)/(1/s). Which is smaller: u or 2?
2
Suppose k + 4*k = 15. Suppose 3*u + 7 = w + w, -u = -2*w + 5. Which is smaller: w or k?
w
Let x = 196.93 - 198. Let g = 0.07 + x. Which is bigger: 3 or g?
3
Suppose -2*b + 0*b + 40 = 0. Suppose -j + 2*c - c = 2, -5*c + b = 0. Let z be (2/(-6))/(j/(-6)). Is 1/3 > z?
False
Let k = 16 + -19.2. Let z = 3 + k. Let q = -28 - -30. Is q equal to z?
False
Suppose -6 = 5*c - y, -2*c = -y - 4*y + 7. Which is smaller: 3 or c?
c
Suppose p - 2*j + 6 = 0, 5*j - 3 = 3*p + 13. Suppose -89*w - 9 = -98*w. Are w and p non-equal?
True
Let h = -192/65 - -28/13. Are h and 2/7 non-equal?
True
Let w = 10.4 - 29.4. Is w at most as big as -1/4?
True
Suppose -3*j + 3*x + 18 = -0*j, 4*j = -x + 24. Do 6 and j have the same value?
True
Suppose 125 = -g - l, 0 = -5*g - 4*l - 39 - 586. Let a = -877/7 - g. Is a at most as big as -1?
False
Let l = -0.13 - -0.14. Let x = -0.11 + l. Do x and 2/7 have different values?
True
Suppose 4*p = -p + 30. Let j(t) = -4*t - 6. Let z be j(-4). Let v = p - z. Which is greater: v or -3?
-3
Let s be (2 - 2) + -1 + 22. Let i be 4/(-14) + (-8)/s. Let l = 223.3 + -223.1. Is l >= i?
True
Let u(g) = 2*g + 14. Let w be u(-7). Let t(r) = r**3 + 3*r**2 + 3*r + 3. Let d be t(-2). Which is bigger: w or d?
d
Let w = -85 + 58. Let t be (-6)/(-10) - w/(-45). Which is smaller: t or 1/5?
t
Let m = -2.82 + -0.18. Which is greater: 2/5 or m?
2/5
Let r = -20/9 + 131/63. Which is smaller: r or -0.2?
-0.2
Let r be -7 - 1 - (2 + -1). Let w = r - -18. Let o be 15/w + 1 + -3. Is -1 >= o?
False
Let l be (0/(4 + -2))/(-2). Let i(g) = -g**2 - 2*g + 2. Let r be i(-3). Let v = r - -3. Which is smaller: l or v?
l
Let d = -11 + 11. Suppose -w = -d - 1. Let t be -1*2 + 24/11. Which is greater: t or w?
w
Let g = 13 + -13. Is -4/9 not equal to g?
True
Suppose 0*s = -3*s. Suppose 4*n - 35 = -n. Suppose -3*o - 3 = -2*o - k, -3*o - k + n = 0. Which is smaller: o or s?
s
Let h = 11 + -21. Let x = -14 - h. Let c = x + 3.94. Are c and -1 non-equal?
True
Let n = -0.31 + 0.51. Do n and -2/3 have the same value?
False
Suppose 367 = -5*j + 37. Is j less than or equal to -66?
True
Let f(m) = -m**3 - 13*m**2 - m - 12. Let w be f(-13). Is w greater than -1?
True
Let p(y) = y**3 - 3*y**2 - 3*y + 5. Let l be p(2). Suppose 0 = b - 3*b - 6. Which is smaller: b or l?
l
Let n = -1 - -2. Let s(q) = 3*q**2 - q. Let o be s(n). Let c = -23 + 47/2. Is o less than c?
False
Let m be (-1 - 200/(-156)) + 1/(-3). Is m bigger than 4?
False
Let d(g) = -g**2 + 6*g + 2. Let r be d(6). Suppose 0 = -0*p - p - r*i, 4*p = 4*i. Which is smaller: p or -2/15?
-2/15
Let j = -6 - -6. Suppose j = -3*x - 24 - 0. Which is bigger: -7 or x?
-7
Let o = 5 + -2. Suppose 0*s - o*s = 0. Let w = 0.2 + 0. Do w and s have the same value?
False
Let h = 485 - 28613/59. Which is smaller: h or -1?
-1
Let d be 1 - (3 + -4) - 0. Suppose -3*w + d*q = -4, 3*w - 24 = -3*q - 0*q. Is -2/3 smaller than w?
True
Let c = -2401 - -12061/5. Is c greater than or equal to 12?
False
Let n(m) = 2*m - 5. Let a be n(5). Let c(t) = -t**2 + 3*t + 4. Let b be c(a). Is b not equal to -6?
False
Let r = -30 - -17. Let y = r + 14. Is -5/3 less than or equal to y?
True
Let y = 160 + -3038/19. Is y less than 0?
False
Let z be ((-5)/12 + 0)/((-2)/(-6)). Which is bigger: 1 or z?
1
Suppose 4*t + 4*n - 25 = 3*n, n - 11 = -2*t. Let z(s) = 4*s - 9. Let w(x) = -3*x + 8. Let k(i) = -3*w(i) - 2*z(i). Let v be k(t). Is -1 equal to v?
False
Let n(t) be the first derivative of -t**2/2 + t + 2. Let z(o) = -3*o - 7. Let x(h) = 4*n(h) - z(h). Let m be x(8). Which is greater: 2 or m?
m
Let z = 14 - 12.4. Let a = z + -0.6. Which is smaller: -5 or a?
-5
Let t be (8/54)/(2/(-3)). Let x(i) = -i**2 + 2*i + 1. Let j be 0 + (1 - 3) + 4. Let w be x(j). Is t greater than or equal to w?
False
Suppose -4*a = -3*a - 2. Suppose -a*r = 1 + 1. Let f = -823/7 - -117. Is f > r?
True
Let v = 10 + -12. Which is greater: -8/3 or v?
v
Let v(o) = -2*o - 12. Let l be v(4). Is -21 less than l?
True
Let q(s) = -s**3 + 13*s**2 - 11*s - 14. Let v be q(12). Which is bigger: 11 or v?
11
Let i(d) = -d**2 + 18*d + 40. Let m be i(18). Is 41 less than m?
False
Suppose -v = w - 6*v - 2, 4*w = -v - 13. Let r(q) = 2*q**2 + 4*q - 1. Let j be r(w). Let x(b) = b**2 + 2*b - 9. Let n be x(-5). Is j at least n?
False
Let r = -52 + 51. Which is bigger: r or 3/4?
3/4
Let j be -1*1 - (-45)/40. Suppose -6 = -3*t, -3*n - 2*t = 1 - 2. Let f = n + 1. Is j at most f?
False
Let t(b) = -b + 14. Let s be t(6). Let u be ((-222)/(-80))/(2/s). Let z = 23/2 - u. Which is greater: -2/3 or z?
z
Let x be (15/10)/((-2)/(-4)). Which is bigger: 2 or x?
x
Let i = 23 - 17. Suppose 3*k = 2*k - 2*c + 13, -i = -2*c. Which is bigger: k or 8?
8
Let t = 0.1 - 0.3. Let o = 0.3 + t. Let d = -0.3 + 0.7. Is d at most o?
False
Let l = 3 + -3.2. Let t = 0.4 + -0.7. Let a = t - l. Are a and 0 non-equal?
True
Let w(m) = -m**2 + 12*m - 11. Let k be w(11). Let y = 1 - 3. Let q be 0/(-1 - y) - k. Which is greater: q or 2/7?
2/7
Let n = -3 - -2. Let q(f) = -f**2 - 8*f - 4. Let y be q(-4). Suppose -5*p + 5 = 0, 2*p + 2*p - y = -4*v. Which is smaller: v or n?
n
Let a be 4*(-2)/4 - 6. Do a and -7 have different values?
True
Let v be ((-13)/(-9))/((-8)/12). Let s = v + 3/2. Is s greater than or equal to 0?
False
Let w be 0 + (-9)/(-11) - 1. Let g(s) = s**3 + 3*s**2 + s - 2. Let p be g(-2). Which is bigger: w or p?
p
Let s(r) = -r**3 + r**2 + r + 1. Let c be s(0). Let h be 2*(-4 - 236/(-56)). Which is greater: c or h?
c
Suppose 2*x + 2 = -w + x, -4*w - 3*x = 4. Which is smaller: w or 1?
1
Suppose 0 = -q - 5*r + 6, -2*q - q - 1 = -4*r. Let v = -361 + 5419/15. Which is smaller: v or q?
v
Let z be 8/18*22/(-8). Let o = z + 53/36. Which is smaller: o or -9?
-9
Let h be (4/(-1))/((-2)/(-1)). Let f(w) = -w**2 + 2. Let s be f(h). Let n be (3/3)/(-1 - s). Which is smaller: n or 3/4?
3/4
Suppose 0 = -3*f - 0 + 12. Let a be 1/3 + (-69)/(-9). Suppose -2*z + a = 2. Which is bigger: f or z?
f
Let k = 0.028 - 10.328. Let o = k + 10. Which is greater: 0.1 or o?
0.1
Let q be -1 + 0/(-3) - -5. Let u be (-4)/q + (-8)/(-6). Is u at least as big as 0?
True
Let c be 2/3*(-126)/(-12). Suppose -2*k - 5*x = -27 + c, 27 = 5*k + x. Suppose -6*p + 10 = 3*g - p, -k*p = -5*g - 10. Which is smaller: g or 5/6?
g
Suppose 0 = 4*u - 0*u - 16. Suppose -u*n + 5*g - 1 = 0, -4*g + 2 + 6 = 4*n. Let w be n*-2*(-3)/(-18). Do w and -1 have different values?
True
Let g(p) = p**3 - 7*p**2 + 7*p - 6. Let q be g(6). Let t(b) = 2*b + 9. Let d be t(-8). Let y = 7 + d. Is q greater than y?
False
Let l = 13 + 