/5?
False
Let u = 12 - 12. Suppose 0 = -5*g - t + 2*t - 5, u = -g + 2*t - 1. Are g and 1/18 equal?
False
Let q be 5/(-15) + (-37)/(-3). Let n = -10 + q. Which is smaller: 3 or n?
n
Suppose 3*j = -5 - 1, 4*d + 6 = -5*j. Let f = -0.1 + -7.9. Let i = -6 - f. Which is bigger: d or i?
i
Suppose -4*z + 1 + 13 = 2*g, 4*z - 9 = 3*g. Is -4/33 != g?
True
Let o(y) = y**3 + 5*y**2 + 2*y - 4. Let k be o(-3). Let g be (k/(-10))/(10/75). Let t be (-4 - g)/((-1)/1). Are t and 0 equal?
False
Let b(s) be the second derivative of s**3/3 + 11*s**2/2 - 2*s. Let t be b(-5). Let k = 23 - 70/3. Are k and t unequal?
True
Let g = -0.3 + 0.5. Let f = -0.03 + 1.23. Let n = g - f. Which is smaller: n or 0.1?
n
Suppose -3*n + 2*n + 1 = 0. Let f be (-3 - (-6 + 3))/n. Which is bigger: f or 4/7?
4/7
Suppose 15*q = 9*q + 138. Are q and 22 non-equal?
True
Let u(i) = 0*i**2 + i**2 + 0*i**2 + 1 + i - 2*i**2. Let q be u(2). Which is smaller: 1 or q?
q
Let b = -0.79 - 0.01. Which is smaller: b or -1/2?
b
Let b(h) = h**3 - 9*h**2 - 10*h - 6. Let g be b(10). Let x = -7 - g. Let w be 4/2*x/2. Is w smaller than -2?
False
Let d = 7 + -3. Let w = 4 - d. Let g = w - 0. Which is smaller: g or 3?
g
Let h = -3 + 2.4. Let a = -21.5 - -21. Let w = h - a. Which is smaller: w or -1?
-1
Let o = -14 - -9. Let p = o - -4.7. Which is bigger: p or -1?
p
Suppose o - 15 = -2*o. Is o equal to 6?
False
Suppose -2*l + 5*d + 22 = 0, 5*d = -l - 6 + 2. Is l < 4?
False
Suppose 0*z - z - 5 = 2*i, 11 = -z + i. Which is greater: z or 0.3?
0.3
Let t be 12 + (3/3)/(-1). Let v = 21/2 - t. Is v >= 2?
False
Suppose -4*g + 5*j = -0*j - 10, -g - j = 2. Is g <= 16/11?
True
Let u = 1.7 + 0.3. Let a = u - 1. Let v = a - 0. Which is greater: v or -1/3?
v
Suppose -6 = 4*d - 2. Let v = 0 + d. Suppose 0*b = b. Which is smaller: b or v?
v
Let m = -19 + 19.01. Let b = 0.01 - m. Is 1/6 >= b?
True
Suppose 3*t + 2*t = 5*q - 40, -5*t + q = 28. Suppose -9 = 3*w, 5*w - 7 = -2*k + k. Suppose h = -0*h + 4*d - k, 2*h + 8 = -d. Which is smaller: h or t?
h
Let l = -0.6 + 12.6. Let p = l - 12.2. Is p at most -2/3?
False
Let p be (-4)/14 + 4514/70. Let j = -64 + p. Is j > -0.2?
True
Let a = 175/4 + -44. Let u = -1/2 - a. Let k = 353/555 + -4/111. Is u >= k?
False
Suppose 0 = -o + 4*o. Suppose 3*k = 5*z + 41, 0 = 4*k - 3*z - 30 - 32. Suppose 0*w + 4*w - 10 = -q, k = -4*q + 3*w. Which is bigger: q or o?
o
Let i = -332/225 - -14/9. Which is greater: 1 or i?
1
Let v be (-2)/5 - 344/(-1760). Let u = -1/22 + v. Is u bigger than -1?
True
Suppose -18 = -0*k + 3*k. Suppose 2*b + 4 = -5*n - 11, -n - 3 = -4*b. Which is bigger: n or k?
n
Suppose 2 = 3*v - 4*v. Let a = 5 + v. Is a not equal to 4?
True
Let j = -6077/11 + 553. Is j greater than or equal to 0?
True
Let g = 164/3 + -54. Which is smaller: 0.1 or g?
0.1
Let d be 24/(-32) + 22/8. Let z be d*(-4 - (-50)/12). Which is smaller: z or 1?
z
Suppose -5*v + o = -4*o, -5*v + 6 = o. Let z be 4 + -7 + v*3. Which is smaller: z or 1/3?
z
Let v be 4/10 + 72/20. Suppose 5*t + 1 = 11, -v*b + 6 = 3*t. Is 0 equal to b?
True
Let y(i) = 3*i + 11. Let h(w) = -16*w - 56. Let v(b) = -2*h(b) - 11*y(b). Let f be v(-11). Which is smaller: f or 3?
f
Suppose -m + u = -2, 0*u + u + 6 = -3*m. Let o = m - 11. Let a be (-1)/(-3) - (-4)/o. Is a not equal to 0?
False
Let o(q) = -q**3 + 9*q**2 + 13*q - 13. Let b be o(10). Are b and 17 equal?
True
Suppose 4*o = -31 + 7. Let t = 9 + -15. Is t equal to o?
True
Let x = 26 - 2. Suppose -5*z + x = -11. Which is smaller: z or 6?
6
Suppose -6 = -w - 5. Do w and 0 have the same value?
False
Let y be 0 + 0 - 4/(-16). Suppose 0 = -b - 12 + 13. Which is bigger: b or y?
b
Let i(w) be the second derivative of -w**5/10 + w**4/12 - w**3/6 - w. Let x be i(1). Let s = 61 + -61. Which is bigger: x or s?
s
Let r = -5 - -4.5. Let x = 0.4 + r. Suppose -3*a + 0 = -3. Which is greater: a or x?
a
Let z be -1 + -3 + 4/2. Let h(d) = d - 1. Let q be h(6). Suppose 4 - q = o. Is o less than or equal to z?
False
Let s be 1*(7 - 0 - 2). Let z = s + 0. Let d = -4 + z. Which is bigger: d or 1/4?
d
Let l = 23 - 21. Is l greater than -8?
True
Let b(u) = u**3 - 2*u**2 + 2*u - 1. Let f be b(2). Suppose 2 + 1 = -f*a. Is -2/11 at least as big as a?
True
Let u = 31 - 14. Let q = 15 - u. Which is bigger: 2/5 or q?
2/5
Let n(o) = o**3 + 14*o**2 - o - 6. Let i be n(-14). Let h be (-5 + i)*(-2)/(-6). Let c = -13 + 51/4. Which is bigger: h or c?
h
Let u(h) = -3*h**3 + 5*h**3 - 3*h**3 + 3*h. Let v be u(-3). Suppose -3*p - 16 = -7*p + 3*j, 2*p - 4*j = v. Which is smaller: -1/6 or p?
-1/6
Let r = -20 + 37. Is r < 18?
True
Let l be 17/(153/246) - (-1)/(-3). Do 25 and l have the same value?
False
Let j = -0.6 + 0. Let b = j + -0.4. Is b > -2/3?
False
Let u = -20 - -36. Let b = -14 + u. Is 0 at most as big as b?
True
Let a = 356/7 - 51. Is -2/13 at most a?
True
Let g = 0.93 + -4.93. Which is smaller: 4/7 or g?
g
Let m = 0.1 + 0.3. Let x = m + -1.4. Let j = 0.1 - 1.1. Is j <= x?
True
Let x(c) be the first derivative of c**2/2 - c - 3. Let o be x(1). Which is smaller: o or 2/7?
o
Let x be -35 - (5 - 2)/(-1). Which is smaller: x or -31?
x
Let a = -17.91 + 18. Let q = a + -0.03. Is 2/3 at least as big as q?
True
Let q = 1.5 - 1.8. Let d = q - -0.4. Is d greater than 0.5?
False
Let p(o) = 4*o**3 - 2*o**2 + 7. Let n(m) = -m**3 - m**2 - 1. Let f(u) = 3*n(u) + p(u). Let l be f(5). Suppose l*r + 0 = 8. Is r >= 4/3?
True
Let v be ((-64)/90)/(-8)*(-190)/4. Is v at least as big as -4?
False
Let r = 12391 + -87896/7. Let x = r - -165. Let l be (2 + -3)*2 - -1. Do l and x have different values?
True
Let v be 1/(-5) - 5/(-25). Suppose 3*j + 14 = -4*s, -s - 4 = -2. Is v >= j?
True
Let v be ((-2)/11)/((-16)/55452). Let c = -630 + v. Let a = -5/44 - c. Which is smaller: a or -1?
-1
Suppose f = -5*k - 35, -f - 4 = 3*k + 15. Let b(t) = -t**2 - 7*t + 4. Let g be b(k). Suppose -4*y - 17 = 3. Which is bigger: g or y?
g
Suppose -2*z = 2*z + 328. Let a be (-70)/z + (-2 - -1). Let b = 148/451 + a. Is -1 smaller than b?
True
Let r(c) = -c**3 - 4*c**2 + c + 2. Let j be r(-4). Is j less than 1?
True
Suppose 2*b + 7 = -3. Let u be (-72)/(-255) - (-2)/b. Does 0.1 = u?
False
Let m = -1237 - -100195/81. Which is smaller: 1 or m?
m
Let d = -0.2 + -0.1. Let k = 1.7 - d. Let g be (-4)/(-14) - 0/(-2). Which is greater: k or g?
k
Let r(t) = -t**3 + 2*t**2 + 4*t - 1. Let c be r(3). Suppose c = -3*u + 5*u. Suppose -3*d = -0 + 3. Which is smaller: u or d?
d
Suppose 0*k = -5*k + 10. Suppose 0*o + k*o = -12. Let m be -1 + (-10)/o + -1. Is m less than or equal to -1?
False
Let x = -0.1 - -0.2. Let t = 4.97 - 5. Which is smaller: x or t?
t
Let i be -1 + (-4)/(-1) + 2. Let v(b) = b**2 - 5*b - 4. Let g be v(i). Let f be g/(-6)*(-6)/(-10). Is 1 greater than f?
True
Let q be (-6)/27 + 22/18. Let r be 8 + -7 + 19/(-18). Which is smaller: r or q?
r
Let t = -2/10209 - 37393/204180. Let u = t - -7/12. Suppose -1 = -2*x + 1. Is u greater than or equal to x?
False
Let r be 3*1 - 400/135. Which is smaller: 1 or r?
r
Suppose -5*d - 5*x + x = -15, 24 = -4*d + 4*x. Which is greater: 1/103 or d?
1/103
Suppose 4 = 6*x + 40. Let k(l) = l**2 - 5*l + 4. Let b be k(4). Let n(r) = r - 7. Let z be n(b). Is z at most as big as x?
True
Let t = 0.21 - 0.11. Which is bigger: t or -12?
t
Let j = -0.05 - -0.15. Let c be -2*(-2 - -2 - -5). Let p be 2/(-9) + 0/c. Which is bigger: p or j?
j
Suppose 0 = 5*q - 5*r + 60, -2*r = 4*q + 2*r + 64. Which is greater: -13 or q?
-13
Suppose 0 = 5*b - 20, 2*a + 9 + 1 = -5*b. Let u = 40 + a. Let k be (-10)/u + (-58)/(-70). Is k < 0?
False
Let i(g) = g**3 - 22*g**2 + 42*g - 17. Let d be i(20). Is d smaller than 25?
True
Let m be (9/2 + -1)*4/1. Which is smaller: m or 12?
12
Let d = -34/11 - -179/33. Let v be 6/3 + (-2)/2. Which is bigger: d or v?
d
Let w = 7 + -19/3. Let d = -152/5 + 30. Which is smaller: w or d?
d
Let a be (1/(-26))/((-4)/(16/1)). Let t be (6/(-4))/(-1 + -2). Which is bigger: a or t?
t
Let h = 10 - 16. Let c = h + 8. Which is greater: -0.2 or c?
c
Let q(k) = -k - 2. Let x be q(4). Are -5 and x unequal?
True
Suppose 0*w = -4*w + 4*a + 12, -2*w - 3*a = -1. Suppose 5*v - 7 = -2*r, r - w*r - 3 = -4*v. Let x = 0.4 - 0.3. Is x not equal to r?
True
Let k be 214/(-8) - 4/16. Let f be 669/15 + (-2)/(-5). Let q be k/f - (-3)/5. Is -1/6 at least q?
False
