0 - (-3)/2) + 3. Which is smaller: 97 or q?
q
Let b = 1.1 - 1.9. Let t = 0.4 + -0.2. Let j = t - b. Is j greater than 1?
False
Let c = 0.4 + -0.9. Let r = -0.6 - c. Let x = -13/25 - -3/25. Which is greater: x or r?
r
Suppose 3*u - 4*h = -0*u + 20, 0 = -3*u + 5*h + 16. Is 10 equal to u?
False
Let k be 37/19 + 1 - 3. Let p = k - 15/76. Which is greater: p or -1?
p
Let t = -5 + 7. Suppose b + b = -t. Let c be ((-1)/(-2))/(b/(-2)). Which is smaller: 2 or c?
c
Let o be 0*3/24*4. Let h be -3*13/(-15) - 2. Which is bigger: o or h?
h
Let q = -14.99 + 15. Which is bigger: q or 0?
q
Let n(k) = 5*k + 2. Let m be n(2). Let t be (-2)/(-3) - 28/m. Which is bigger: -3 or t?
t
Suppose -3*h + 4 = -h + 4*v, -5*v + 15 = 5*h. Let n = -1 + h. Suppose 0 = n*m - 12, -s + 3*m + 16 = 7*m. Which is smaller: -1/4 or s?
-1/4
Let c = 2.6 - 4.6. Which is smaller: 5 or c?
c
Let l = -62 + 68. Suppose 19 + 11 = 4*k + i, -3*i - 15 = -3*k. Is l < k?
True
Let w = 6 + -9. Let k(a) = -3*a**2 + 3*a - 8. Let q(l) = -4*l**2 + 4*l - 9. Let j(g) = 5*k(g) - 4*q(g). Let o be j(0). Is w less than o?
False
Let n be 3/(-4) - (-1)/(-4). Let b = -2 + 1. Is b bigger than n?
False
Let b = -287 - -1428/5. Let o be ((-6)/12)/(1/(3 + 1)). Which is greater: o or b?
b
Let n = -2.48 - -5.46. Let r = -0.1 - -0.08. Let w = n - r. Which is bigger: -1/3 or w?
w
Let f = 2 + 1. Let s = f - 7. Is s smaller than 2/9?
True
Let b = -6 + 3. Suppose 0 = -4*c - 3*v + 3, 3*v + 8 = 4*c - 13. Let r = b + c. Which is bigger: r or -1/10?
r
Let h be (-2)/3 - (-2)/(-24). Suppose 0 = 3*v + v - 8. Is v less than h?
False
Suppose 8 = -2*q + 4. Let b = 111 - 113. Is q greater than b?
False
Let q = 2.5 - 12.5. Let f = q + 9. Is 2 bigger than f?
True
Let m = -29 - -25. Which is greater: m or 2?
2
Let y = -1 + 1. Let l(b) = -b**2. Let j be l(y). Is 2/5 greater than j?
True
Suppose -6*v - 56 = v. Which is greater: -7 or v?
-7
Let i(n) = -5*n**3 - 2*n + 1. Let m be i(1). Let u(q) = q**3 + 7*q**2 + 4*q - 8. Let h be u(m). Let s be (-216)/117 - h/(-2). Is s greater than -0.2?
True
Suppose -5 = -4*z - 9. Which is greater: -2 or z?
z
Suppose -3*y = 8*y. Does -3/7 = y?
False
Let j = 541/9 - 60. Suppose -6*f - 2*r = -2*f, -2*f + 3*r = 0. Is f at most as big as j?
True
Let m(f) = f + 4. Let i be m(-5). Let b be (3/3)/(2 + i). Let d be 6/68*4/(-3). Which is smaller: d or b?
d
Suppose 5*u = -3 - 2. Let h be 2 + 2/13*-14. Is u greater than h?
False
Let g(a) = -a**2 + 6*a - 7. Suppose 3*q - 6 = 5*f, 3*q - q + 2*f - 4 = 0. Let u be (q - (5 - -2))/(-1). Let p be g(u). Is p >= -1?
False
Let r = 1251/26 - 95/2. Let q = r + -50/39. Is 2 not equal to q?
True
Let l(d) = 3*d - 2. Let r be l(4). Suppose 4*j + r = 3*j. Let b = j + 7. Which is bigger: -4 or b?
b
Let x = -8673/23 - -377. Which is greater: 0 or x?
0
Let l be 5/25 - 96/(-20). Is l bigger than 4?
True
Let c = -49 - -48. Are 3 and c unequal?
True
Let o = -0.2 + 0.22. Which is bigger: o or 2?
2
Let z be (-8)/(-50)*(-10)/20. Let p be (-3)/(-5) - (-2)/5. Suppose 3*u = -4 + p. Which is greater: z or u?
z
Let g = -113/9 - -13. Which is greater: g or -1?
g
Let x be (-3)/(-4) - 377/(-52). Suppose 0 = -2*o + 5*j + 2, 3*o + j = x*o - 28. Which is bigger: -0.2 or o?
o
Suppose -4*c = -2*s - 3*s - 80, c = 0. Let t be (-32)/(s/(-4)) - -4. Which is smaller: t or -2?
t
Suppose -7 = -s + 2*z, -4*s + 15 = -z + 1. Suppose -s*d = -0*f + f + 9, 9 = -3*d - 5*f. Is -2 at most d?
False
Let o = -7 - -7. Is o smaller than 1/40?
True
Suppose -2*n + 0 - 2 = 0. Which is smaller: -3 or n?
-3
Let v = -99 - -39. Which is bigger: v or -59?
-59
Suppose 3*v + 3 = 0, 5*v + 11 = r + 3. Suppose -4*j + 2*h = -12, j + 4*h = r*j - 6. Let n be ((-2)/6)/((-1)/3). Which is smaller: j or n?
n
Suppose 2*r = 4*r + 2. Which is greater: r or 6/13?
6/13
Let g(x) = -x - 1. Let y(r) = r**2 + 16*r + 11. Let d(f) = 5*g(f) + y(f). Let a be d(-9). Do -11 and a have the same value?
False
Suppose r = 4*r. Suppose -12 = 2*p - 3*l, -25 = 5*p - 4*l + 12. Let c = p - -10. Is r at most c?
True
Suppose 5*s - 3*a = 21, -2*a + 13 - 5 = 4*s. Let p(m) = -2*m. Let q be p(4). Let f be (2 + 0)/(q/(-12)). Is s < f?
False
Let a be 4*12/18*(-6)/40. Which is smaller: a or 2/17?
a
Suppose 0 = -3*g + g. Let k be g + 3*(-2)/21. Suppose 5*i - 3*q = q + 1, -4*i + 5*q - 1 = 0. Which is smaller: i or k?
k
Suppose -6 + 1 = -5*u. Is 3 less than or equal to u?
False
Let b = 12 - 11.8. Which is bigger: b or 5?
5
Let p = -1.3 - -0.3. Which is greater: p or 2?
2
Let u be (-1)/(-2)*(2 - 2). Suppose -2*l + n + n = u, n = -4*l. Which is greater: 4 or l?
4
Suppose -30 = -2*f + 2. Let n = f - 24. Which is smaller: n or -9?
-9
Suppose 2*v + 8 = 4*y, -2*y - y = -4*v - 1. Suppose 18 = y*h - h. Let g be (-3)/2*3/h. Which is smaller: g or 0?
g
Let c = -0.6 + -1.4. Suppose -6*a = -a - 25. Suppose -2*h - 3*h = a. Which is smaller: c or h?
c
Let f be 172/(-255) - 2/(-3). Let i = f - 20/51. Are i and 0 equal?
False
Let d = -1/444 - -899/4884. Which is smaller: d or -1?
-1
Suppose 4*i + 3 - 11 = 0. Suppose -2*s + 18 = 4*k + 8, -i*k + 4*s = 10. Is k < 5?
True
Let i = 6 + -3. Let a(h) = 3 + 1 - i - 4*h. Let f be a(1). Which is smaller: f or 0?
f
Let y = 93.9 + -94. Let d = 0.04 + -2.04. Is d < y?
True
Suppose 4*p + 5 = 1. Let j = 1 + p. Let q = 68/45 + -10/9. Is j not equal to q?
True
Suppose j - 1 - 4 = 4*v, 0 = -3*v + 5*j - 25. Are -1 and v non-equal?
True
Let d(n) = 5 - 5 + n**2 - 2*n**2 + 3*n. Let m be d(2). Which is smaller: m or 1?
1
Let z = -18 + 34. Let p = z + -10. Let f = p + -4. Is f < 1?
False
Let z be (6 - 5)*(1 + -4). Let h(w) = -4*w - 7. Let g be h(z). Which is greater: 7 or g?
7
Let i(v) = -5*v**2 - 21*v + 8. Let o(s) = 2*s**2 + 7*s - 3. Let n(u) = 3*i(u) + 8*o(u). Let p be n(7). Which is smaller: 2/5 or p?
p
Suppose -s = 7*f - 2*f - 45, 5*s = -2*f + 156. Let n = 1807/60 - s. Let b = n - -1/20. Do 1 and b have the same value?
False
Let h be (-3 - (-2 + 2))*-1. Let o(r) = r**2 - 4*r + 1. Let n be o(h). Which is smaller: n or 1/3?
n
Let b = -95/22 + 1891/66. Let m = b + -25. Suppose g = 3*t + 1 + 4, 3*t + g = -1. Are m and t unequal?
True
Let m be (-40)/(-7) - 10/(-35). Let s = m - 8. Suppose -5*t - 3*n - 22 = 0, 0 = t - 0*n + 4*n + 18. Is s at most as big as t?
True
Suppose 2*n = -x, 3*x = -0*n - 3*n. Which is smaller: n or 1/28?
n
Let i = -10 - -9.8. Is i < 1/5?
True
Let o = -165/4 + 41. Are -2/9 and o equal?
False
Let j = 6 + -5. Let g be (-160)/(-805) + (-2)/7. Which is greater: j or g?
j
Let g = 587/340 - -2/85. Which is greater: -0.1 or g?
g
Suppose 0*c - 8 = -2*c. Let v = 5 - c. Let n = -22/5 - -164/35. Is n less than v?
True
Suppose 4*j - 4*o + 28 = -2*o, -j - 2*o = 12. Which is bigger: -7 or j?
-7
Suppose -3*j = 4*t - j + 18, 4*t = -4*j - 12. Let i be (-4)/18 - 8/t. Is i less than 1?
False
Let k(w) = -2*w + 6. Let g be k(4). Let p(j) = -4*j**2 - 3*j - 7. Let y(o) = o**2. Let c(i) = -p(i) - 5*y(i). Let s be c(5). Which is smaller: g or s?
s
Suppose -i = 2*i + 60. Do i and -20 have different values?
False
Suppose 21*i - 17*i + 8 = 0. Which is smaller: -0.14 or i?
i
Let n be 2/((-24)/(-9) - 2). Let q be 2/(-5) - n/30. Let i be -2 + 2 + (-2)/(-4). Which is smaller: i or q?
q
Let z(v) = v**2 - 8*v. Let u be z(8). Let w be (u + -2)/((-6)/(-9)). Which is smaller: -2 or w?
w
Let h = 213.04 + -217. Let i = 0.04 - h. Is i greater than or equal to -2/5?
True
Let d be (-3)/(-12)*(-16)/50. Let p = -269 - -268. Is p != d?
True
Let c be (-2)/(-10)*(-25)/(-15). Suppose 0 = -2*p + 6 - 2. Suppose 4*x + 2 = p*x. Is c <= x?
False
Suppose 4*p - 8 = 12. Suppose 0 = -4*h + p - 1. Which is bigger: h or -2/5?
h
Let l = -22 - -23.3. Let r = -1 + l. Let y = r - 0.2. Is y at least as big as -2/7?
True
Suppose -3*x - 4 = 2*u - 19, 5 = x. Suppose -5*y = -5*h - 30 - 0, -5*y - 2 = 3*h. Do y and u have the same value?
False
Suppose -w - 3 = -4*w, -3*n = -5*w - 1. Which is smaller: 1/2 or n?
1/2
Suppose -p + 1 = 5*i - 3*i, -4*i + 5*p + 37 = 0. Let h = i - -7. Is h equal to 10?
True
Let s be (-2)/5 + (-85)/(-25). Let o = 24 - 20. Which is smaller: o or s?
s
Let j(c) = -3*c**2 - 5*c - 2. Let q(y) = -2*y**2 - 4*y - 2. Let g(t) = -3*j(t) + 4*q(t). Let x be g(2). Which is smaller: -1 or x?
-1
Let b = 67 + -63. Suppose 0 = -5*x - 4 + 14. Suppose -o = x*r + 3 - 11, 13 = -o + 5*r. Is o != b?
True
Let v b