s d = y?
True
Let i be (-1)/(-2)*4 - -1. Suppose 2*s = -3*s - 5, i*w - 4*s - 25 = 0. Is 8 >= w?
True
Suppose c + n = 3*n + 13, -2*n - 22 = -2*c. Let y = 10 - c. Which is greater: -1/13 or y?
y
Let i(g) be the second derivative of -g**5/20 - g**4/3 - g**3/2 - 2*g**2 - 3*g. Let v be i(-3). Is v bigger than -3?
False
Let y be 0 - 2*(-61)/48. Let o = 21/8 - y. Is 1 equal to o?
False
Let x = 37.7 + -36. Let b = x - 1.9. Does b = -4?
False
Let o = 69 + -758/11. Let w be 2*1/4*-2. Do w and o have the same value?
False
Suppose 3 = d, 2*a - 2*d - 5 = 1. Let b = -2 + 13/2. Is b <= a?
True
Suppose -4 = -2*v + 10. Let b = -5 + v. Suppose -2*o - b = -4*o. Is o smaller than 3?
True
Suppose -5*j = 2*f + 13 + 62, 15 = -j + 4*f. Let x be (-25)/j + (0 - 2). Which is bigger: -3/8 or x?
x
Let w = 8 - 6. Let o(v) = 2*v + 4. Let l(a) = -1. Let h(c) = 3*l(c) - o(c). Let f be h(-4). Which is bigger: w or f?
w
Let l = 197/3 + -67. Which is greater: 0 or l?
0
Let a = 139/4 + -35. Let k(b) = -5*b - 3. Let u be k(-3). Let l be (1/4)/(3/u). Which is bigger: a or l?
l
Let x = -169348/2505 - -2/501. Let j = -68 - x. Which is bigger: j or -1?
j
Let v = -2 + 0. Let j = 2 + v. Which is bigger: j or -3/13?
j
Let p = -30 + 17. Which is smaller: p or -12?
p
Suppose 5*i = 3*t - 27, -2*i - t - 1 = 1. Let q(w) = -w**3 - 4*w**2 - 5*w - 2. Let r be q(i). Is 5 > r?
True
Let o be (-2)/(-9) - 506/4950. Is o equal to 0?
False
Let f(g) = g**3 + g. Let m be f(1). Let w be 2*(m - 202/102). Do w and 0 have the same value?
False
Suppose -37 = -3*z + 2*y - 3*y, 0 = 5*z + 4*y - 64. Do 13 and z have the same value?
False
Let i = 1 - -7. Which is smaller: 7 or i?
7
Let b be (-1)/(-4) - 18/8. Let u be (1/(-2))/(b/(-20)). Let d be 2 - (-5)/(u/4). Is d at most as big as -5/4?
True
Let v = -0.53 + -0.07. Let n = v - -0.5. Which is bigger: -0.2 or n?
n
Suppose -2*k + 3*k + 3 = 0. Is -3 smaller than k?
False
Let j = 2 - 3. Let g be 104/10 + (-22)/55. Suppose -2*o + 7*o = -g. Which is smaller: j or o?
o
Let w = 0.12 - 0.01. Let q = -1.4 - -1.41. Let d = q - w. Which is bigger: 5 or d?
5
Let z(g) = 2*g. Let p be z(6). Let h = -109/9 + p. Is h less than or equal to 0?
True
Let k(r) = r**2 - 12*r - 12. Let n be k(13). Are 1/22 and n non-equal?
True
Let w = 1.6 + 9.4. Let r = -11 + w. Is r at least as big as 9?
False
Let c(g) = g + 10. Let r be c(-5). Suppose -5*a = -2*i + 66 + 12, 153 = r*i - 2*a. Let x = -59/2 + i. Which is smaller: x or 2?
x
Suppose -3*b = 2 + 7. Let m be b/(-2)*4/(-3). Let n be 0 - m - 3/2. Is n equal to -0.1?
False
Suppose -q + 16 = -2*q. Let h be 1/4 + 36/q. Let m be ((-5)/10)/((-7)/h). Is m at most as big as 0?
True
Let z = 0 - -3. Let x = 2.85 - z. Let v = x - -0.05. Is -2/3 less than v?
True
Let i = -5/71 - -775/923. Is i greater than or equal to 0?
True
Let v = -1 - -17. Is 1 > v?
False
Suppose 3 = 3*l - 2*x, 3 = 2*l + x + 1. Let a(q) = 3*q - 1. Let p be a(1). Let m be (4 - 4/p)/1. Which is smaller: l or m?
l
Suppose 85 = 5*n - 25. Is 24 >= n?
True
Let d = -2/9 - -35/36. Suppose -2*n + 1 = g + 7, 5*g = -3*n - 2. Which is smaller: g or d?
d
Let l be (15/10)/(6/20). Suppose -4*m - w - w = 14, 4*m + l*w = 1. Let y be 2*(0 + 9/m). Which is greater: -4 or y?
y
Let b(f) = -5*f + 11. Let h(r) = r - 3. Let v(g) = 2*b(g) + 9*h(g). Let i be v(-7). Let l = -3 + i. Which is greater: 0 or l?
0
Let o = -3.3 - -3.2. Let u = -2/151 + 308/453. Is u not equal to o?
True
Let b be (-3)/(-7)*4/(-6). Is -3 at least b?
False
Let d = -2/837 - 605/97092. Is d less than 1?
True
Let j be 4*1 + 12/(-3). Is 0 smaller than j?
False
Let o = 7 + -7. Let x = -0.3 + o. Are 0.1 and x equal?
False
Let o(c) = -c. Let j be o(3). Let f = j + 6. Let g = 0.6 - 0.5. Which is bigger: g or f?
f
Let p be -2 + (-44)/(2 - 4). Suppose -k = h + 7 - 2, -h = -4*k - p. Which is smaller: 6/7 or h?
h
Suppose 2*a - 3*w = -15, 3*a - 3*w + 20 = w. Let l be 3/(-1) - -1 - a. Which is smaller: -3/5 or l?
l
Suppose 0 = -4*c + 8, 3*c - 3 = -w - 0*c. Let j(f) = -3*f + 4. Let m be j(2). Which is smaller: w or m?
w
Let b(c) = -c**3 + 4*c**2 + 6*c - 6. Let p be b(5). Let g = -14 - -36. Let k be (-2 + 36/g)/2. Is k not equal to p?
True
Let i be 1*24/(-84)*(-1)/17. Which is greater: 1 or i?
1
Let r be 2/(-14) - (-52)/(-28). Are r and -1 nonequal?
True
Let z(j) = 2*j**2 + 25*j + 6. Let q(t) = -t**2 - 12*t - 3. Let w(i) = 13*q(i) + 6*z(i). Let p be w(-7). Is p != -10?
False
Let h = 1/20 + -9/20. Is h at most as big as -1?
False
Let g = 720/7 - 2206/21. Let c = 20/7 + g. Which is smaller: c or 2?
c
Suppose -20 = -3*f + 40. Suppose b = 6*b - f. Suppose b*c = 3*c. Which is smaller: 1/8 or c?
c
Let c = -67 + 70. Which is bigger: c or -4?
c
Let v = -191/3 + 65. Which is smaller: v or 0?
0
Let r be (-5 - -4)/((-2)/12). Let l be (r - 7) + 1 + -1. Let x be l/(-12) + (-10)/(-15). Which is bigger: 1 or x?
1
Let f(v) = -24*v - 1. Let g be f(-2). Suppose -4*p = -19 + g. Let x be (7/p)/((-1)/3). Which is smaller: x or 2?
2
Let q = 6 + 11. Which is smaller: 19 or q?
q
Suppose 5*p + 2*q + 14 + 15 = 0, 2*p + 5*q = 1. Is p less than or equal to -7?
True
Let p(b) = -b**3 + 13*b**2 - 14*b + 23. Let a be p(12). Is a less than -3?
False
Let y = 13.1 + -14. Let m = y - -1. Let p = 0.2 + m. Is p < 0.1?
False
Let o(u) = 7*u**2 + 1. Let k be o(1). Let a = -6 + k. Which is bigger: a or 1?
a
Let f(z) = z**3 + 4*z**2 + z - 3. Let r be (15/10)/((-1)/2). Let k be f(r). Let v = k + 0. Is 2 at least v?
False
Suppose -q = 2*q + 6. Let d = -25 - -23. Is d at least q?
True
Suppose 5*i = 4*v - 10, 0 = -0*v + 3*v + 5*i + 10. Is 2/39 < v?
False
Let s(w) = 3*w + 44. Let y be s(-13). Which is smaller: 0 or y?
0
Let u = 167 + -1505/9. Is 2 > u?
True
Let v = -1/23 - -119/92. Is v smaller than 0?
False
Let a = -5 + 5. Suppose l + 3*k + 13 = a, 3*k = -3*l - 2*k - 23. Is l less than 1/5?
True
Let r = 1 + 0. Let m(i) = -3*i**3 - 1. Let v be m(r). Is -4 less than or equal to v?
True
Let y(x) = -x - 6. Let z(b) = b + 6. Let l(d) = 4*y(d) + 5*z(d). Let q be l(-6). Is -1 at least q?
False
Let i be 1 - (-8 - (-3)/(-3)). Let m = 16 - i. Is m > 6?
False
Let k = -1/35 + -4/105. Is -0.1 at least as big as k?
False
Let f = -29 - -33. Suppose 2*w = 5*i + 4*w - 9, 0 = 2*i + 2*w. Suppose i*c + c = f. Which is greater: c or 2/9?
c
Suppose 11 = 3*j - 1. Is j not equal to 1?
True
Let i = 29 - 28.8. Let x = -0.3 - -0.2. Is i greater than or equal to x?
True
Suppose -2*v = -k + v + 14, -k - v - 6 = 0. Let t be 3 + 0*1/2. Suppose 2*y = -2*b + 2 - 0, t*y = -4*b + 1. Which is greater: k or b?
k
Let s(z) = 3*z - 48. Let k be s(14). Is -8 < k?
True
Suppose 5*x - 9 = -d, -1 = -x - d + 4. Which is smaller: x or 0?
0
Suppose 0 = -2*c + 3*i - 10, 5*c - 5*i - 12 = -47. Is c > -10?
False
Suppose -3*h + 11 = 3*v - v, -h + 3*v = 0. Let x(z) = z**3 + z**2 + z + 38. Let c be x(0). Let i be c/20 + (-2)/5. Is i at most h?
True
Let m(y) = 30*y. Let a be m(1). Suppose 2*h + a = -3*h. Is h at most as big as -6?
True
Let w = -1 + 8. Let z = w - 5. Which is smaller: -2/11 or z?
-2/11
Let s(v) = v + 2. Let t be s(-3). Suppose 5*b = -17 + 2. Which is greater: b or t?
t
Let c be (-1 - 1*(-603)/606)/1. Is 1 at most as big as c?
False
Suppose -1 - 1 = -z. Let c be z*1/(1 + -3). Let w be (-1 - -1) + 1*(0 - 0). Which is smaller: w or c?
c
Suppose i - 3*i = 0. Suppose 0 = -i*x + 3*x - 594. Let q = x - 993/5. Which is bigger: 0 or q?
0
Let v = -1.4 - 4.5. Let u = -6 - v. Is u != -0.1?
False
Let c = -1.5 + 2. Do c and -2/5 have the same value?
False
Suppose -f + 4*f = 6. Suppose -2 = t - 2*h, f*h - h + 6 = 4*t. Let v be t/4*(3 - 9). Which is smaller: -1 or v?
v
Let i = 58 - 58.2. Which is bigger: -3 or i?
i
Let q = 5/68 - 14/17. Is -2 less than q?
True
Let p(x) = x**3 - 14*x**2 + 14*x - 13. Let y be p(13). Let s be 1 + 1/((-8)/9). Do y and s have the same value?
False
Let l = -38 + 39. Is l less than or equal to -2/49?
False
Let f = -0.6 - -0.1. Let s = 28.6 - 28. Let o = s + f. Are o and 0.1 unequal?
False
Let y be 6/(-88) - (-1)/4. Let m(w) = -3*w - 36. Let v be m(-12). Is v at least as big as y?
False
Let i = 3 - -8. Let s = i - 12. Is s greater than 11?
False
Let v = 57 + -55. Let b = 8.5 - -0.5. Is v bigger than b?
False
Let r = -0.1 + -0.1. Let g = 0.1 + r. Let z = g - -0.2. Which is smaller: z or -1/4?
-1/4
Let c be 1/(-5)*(5 - (-45