 a bigger than r?
False
Let c(k) = -k + 1. Let t(u) = -4*u + 11. Let w(x) = -3*c(x) + t(x). Let z be w(5). Let q be 1/(-2) + z/(-6). Which is smaller: 1/4 or q?
q
Let z = -1/1239 - -2125/1239. Is -2 != z?
True
Let j = -0.099 + 13.099. Is j smaller than 1?
False
Let i(q) = -2*q + 6. Let z be i(-7). Suppose -5*v + z = -0*v. Let k = v + -5. Is -2/3 greater than or equal to k?
True
Let m be 2*(1 + -2)*-1. Suppose -2 = -l + m. Suppose 3*s - 2 - l = 0. Is s smaller than 2?
False
Suppose 2*a + 95 = -2*t - 3*a, -4*a - 12 = 0. Let d = -22 - t. Let f be 1 + 1 - d/8. Is 0 bigger than f?
True
Let g be (6 - 1) + (-11 - -5). Do 2/145 and g have different values?
True
Let g = 22 + -15. Is 5 at least g?
False
Let s(t) = -t - 6. Suppose 3*c = -2*c - 35. Let m be s(c). Let g = -3/20 - -1/60. Is m >= g?
True
Let j = 1 - 2. Let d = -0.66 - -0.6. Let t = 0.46 + d. Is j greater than t?
False
Let i = 1/4 + 23/20. Let x be (2/(-4))/((-2)/8). Which is smaller: x or i?
i
Let j = 2156/26325 + -2/1053. Suppose -4*t = -9*t + 10. Let m = 1 - t. Which is smaller: j or m?
m
Let f = 229 + -122. Do 107 and f have different values?
False
Let s(t) = -2*t + 2. Let l be s(1). Let a be l/(-4*1) - -3. Is a greater than 3?
False
Let t = 1.3 - 0.7. Let d = -0.48 + t. Are d and -1/2 unequal?
True
Let n = -31 - -40. Are 11 and n nonequal?
True
Let q = 11 - 9. Do q and 0 have the same value?
False
Let d(i) = i**3 + 5*i**2 - 6*i. Let c = -2 + -4. Let t be d(c). Let n(h) = -h**2 + 3*h. Let q be n(3). Are t and q nonequal?
False
Let d = 8.9 + -9. Which is smaller: d or -3?
-3
Let k be (3 + -1)/(2/6). Let y = -10 + 20. Let i be (8/16)/(1/y). Is k less than i?
False
Suppose 3*x - 4*i + 44 = 0, -14 = 2*x + 3*i + 2*i. Are x and -2 non-equal?
True
Let d(r) = 4*r + 4. Let c be d(-5). Let f be c/(-12)*3/2. Let u be (f/5)/((-18)/60). Which is smaller: -2 or u?
-2
Let a = -0.075 + -4.025. Let g = -4 + 0. Let o = g - a. Which is greater: o or -2/9?
o
Let r = -19 - -19.1. Let u = 167/609 - -1/87. Does u = r?
False
Let p(q) = q**3 - 21*q**2 - 25*q + 24. Let h be p(22). Is -42 greater than h?
False
Let r be 210/(-13) + (-8)/(-52). Which is smaller: r or -15?
r
Let j = -3 - -3. Suppose j = -h + 2 - 5. Let g be (-2)/((2 + h)*2). Is g >= 1?
True
Let p(i) = -i - 11. Let u be p(-10). Let m = 0 - u. Let d(j) = -j. Let t be d(-2). Which is smaller: t or m?
m
Let b(w) = -w - 1. Let h(m) = -12*m - 13. Let l(u) = -78*b(u) + 6*h(u). Let z be l(1). Let d = 130 + -123. Is d >= z?
True
Let m(p) = p**2 - 10*p + 9. Let x be m(9). Suppose -5*d + 7*d + 4 = x. Let i be -2 - -2 - 3*1. Which is smaller: i or d?
i
Suppose -3*h + 2*f = -73, 52 = 2*h - 7*f + 5*f. Is 20 > h?
False
Let r = 17074/9 + -1894. Is r at least as big as 2?
True
Let x = -24 + 26. Let b be 0 - (-2)/((-4)/(-2)). Is b at least as big as x?
False
Suppose 6*m = -13 + 31. Let r be -1 + (-1)/1 - -5. Is m equal to r?
True
Let d = -2 + 5. Suppose -3*o + 3*s = -48, -5 - 11 = -2*o - 2*s. Suppose 3*c = -4*r - 11, 3*r - 2*c = o + 1. Is d equal to r?
False
Suppose -71 = -4*s + 1. Let u = 0.293 + -0.193. Is u less than s?
True
Suppose -q + 0*q - 2*s = 8, 8 = -4*s. Let g be (0 + 0 - 1)*-4. Let v = g + q. Which is bigger: -1/2 or v?
v
Let c be (-3)/2*-2*4. Suppose 2*m + c = -0*m. Let h be 0/(m/(-3)) - 0. Are -1/7 and h non-equal?
True
Let j = 9 + -7. Let b be j/(-1) - (-32)/16. Which is greater: -1 or b?
b
Let c = -0.1 + 0.6. Let m = c - 0. Let b = 2.5 - m. Is 0 at least b?
False
Let f be -1 + 2 + (4 - 0). Let j(k) = -f - 3*k - k**3 - k + 6*k + 4*k**2. Let c be j(4). Is 3 at least c?
True
Let k be ((-2)/(-65))/(((-24)/20)/6). Which is smaller: k or 1?
k
Suppose -3*a + 1 = 4*k, -7 = -2*k + a + 4*a. Let o(h) = -h**2 - 7*h - 5. Let q be o(-5). Suppose -q*v + 2*v = -3. Is v less than k?
False
Let h(r) = -3*r + 3. Let f be h(2). Let l = -21 - -22. Which is bigger: l or f?
l
Let n(c) = -3*c. Let x be n(2). Let s be x/(-27) - 11/9. Is s != 1/2?
True
Let u = 0 - 0. Let q = -0.4 - u. Let p = 0.3 + q. Which is smaller: p or 3?
p
Let j be -5*(-6)/(-8) + 4. Are j and -1 equal?
False
Let m = 3/2 - 11/10. Let r = 0.3 - 0.2. Let v = r + 0.9. Is v less than or equal to m?
False
Suppose -3*x = x. Suppose x = 3*m - 6 - 0. Which is greater: -1 or m?
m
Let c be 323/(-102) + (2 - -1). Suppose 0 = 4*g - 7*g. Which is bigger: g or c?
g
Suppose f - 2 = 1. Let m = -3 + f. Which is greater: 1/4 or m?
1/4
Suppose -o = -2*l + 2*o + 38, -3*o = -3*l + 54. Is l less than 15?
False
Suppose 0*d = -3*d - 30. Let t = d - -11. Which is smaller: -2 or t?
-2
Suppose x - 2*w = -0*x + 12, 3*x = w + 11. Suppose 0*k + 4 = x*k. Let m be -8*(-1 + 3/k). Is m at least as big as -5?
True
Suppose 4 = 2*w - 2. Let u be (-2 + w)/(1/(-2)). Let i = 2 + u. Is i bigger than -2/13?
True
Let a(w) = 3*w - 29. Let u be a(9). Which is smaller: -6/11 or u?
u
Let w = 10 + -2. Suppose 2*t + 5 = u, w = -4*u + 4*t + 24. Suppose -i + 2 = 2*n + 3*i, 2*n = u*i + 9. Which is greater: 2 or n?
n
Let s = 56.5 - 56. Which is smaller: s or -0.1?
-0.1
Let p = 119 + -119.01. Which is smaller: p or -3?
-3
Let d(w) = -w**3 + w**2. Let n(r) = r**2 + r. Let v(p) = 3*d(p) - 2*n(p). Let a be v(1). Which is bigger: a or -5?
a
Let c(n) = n**2 - 3*n - 12. Let g be c(6). Is 5 greater than or equal to g?
False
Suppose 374 + 826 = -4*b. Let v be 110/b + (-2)/15. Is -1/2 at least v?
True
Suppose -2*o + 3*o = s + 5, s - 19 = -5*o. Which is greater: o or 7?
7
Let t be 1 + 146*(-1)/(-6). Let r = -26 + t. Let v(k) = -k**3 - 5*k**2 - 6*k - 5. Let q be v(-4). Which is bigger: r or q?
q
Let q be (2/36)/((-2)/(-8)). Let g = -1 - 0. Which is smaller: g or q?
g
Let k be (-7)/13 + (0 - -1). Which is smaller: k or -1?
-1
Let f = 26.5 + -25.5. Let l = 5 - 10. Is l at most f?
True
Let j = 2 - 0. Suppose -7*w = -j*w. Let y = -52/17 + 87/34. Is w >= y?
True
Suppose 3*n - 5*v = -10, 4*n + 0 = 4*v - 8. Let q be 1 + n + 4 + -3. Let j = q - -1. Which is smaller: j or -1?
-1
Let x = 0.75 - -0.25. Are 7.9 and x equal?
False
Let n(g) = -3 + 3 - 4 + 0 + 2*g. Let w be n(3). Which is smaller: w or -0.2?
-0.2
Suppose 7 + 9 = 4*p. Let i = 0.07 + 3.93. Let a = 3 - i. Which is smaller: p or a?
a
Let w = -3.075 + 0.075. Which is smaller: -13 or w?
-13
Let u be 6/(-9)*1/4. Let j = 191.9 + -200. Let r = j + 8. Do u and r have the same value?
False
Let u = -0.2 + 1.2. Let v = -3 - u. Which is smaller: v or -1?
v
Let d be (-1 - (-1 - 1)) + 2. Suppose 4*p = d*f - 6, -5*f - p + 10 = 3*p. Which is greater: f or 2/5?
f
Suppose 6*x - 4*x = -3*c + 9, -3*x = 4*c - 11. Suppose -10*o = -c*o. Let w = -865/9 + 96. Do w and o have different values?
True
Let v = -0.37 + -0.63. Which is smaller: 1/34 or v?
v
Let w(f) = f**3 - 4*f**2 - 5*f. Let q be w(5). Suppose q - 3 = -y. Let j be ((-2)/6)/(y/(-9)). Which is smaller: -1 or j?
-1
Let t = -17 - -15. Let q = -5 + 4. Are t and q nonequal?
True
Suppose 0 = 4*c - 2*p, 2*c - 4*p - 5 = 1. Let f = c + 1. Let r = 0.153 + -0.553. Which is bigger: r or f?
f
Suppose -2*r + 5*r = 0. Is 4 equal to r?
False
Suppose -4*p - 6 = 5*i + 19, 4*i + 20 = p. Let v = i + 2. Suppose -2*r - 24 = -3*w - w, w + 8 = -3*r. Does v = r?
False
Let h(m) = 2 + m**2 - 4 + 0 - 2*m. Let i be h(3). Let k = -332/855 - 2/171. Which is greater: k or i?
i
Let i be (-7)/3 - -3 - (-6)/(-9). Is i < 66?
True
Let x = -22 - -15. Is -6 greater than x?
True
Let j be (-2)/6 - 8/3. Let d = j - -4. Let a = -1 - 1. Is d not equal to a?
True
Let t = 0.01 + 7.99. Let o = -6.1 + t. Let q = 2 - o. Is -2 greater than or equal to q?
False
Suppose -5*o - 3*m + 84 = 0, 0 = -2*o + 4*m + 10 + 34. Is 19 at most o?
False
Let t be 8/(-28) + 15/126. Are t and 0 equal?
False
Let k(p) = p**3 + p**2 - p + 1. Let t(i) = i**2 + 3*i + 3. Let u be t(-3). Let y = u - 2. Let w be k(y). Is w smaller than 0?
False
Suppose 2*i - 134 = 5*l - 31, -5*i + 96 = -4*l. Is l less than -19?
False
Let q(n) = n**3 - 4*n**2 + 5*n - 3. Let j be q(3). Let l(i) = -i**3 + 3*i**2 - 2. Let o be l(2). Is j >= o?
True
Suppose -z = z - 0*z. Which is smaller: z or 3/22?
z
Let c = 4 + -3. Suppose 0 = -0*w - w + 66. Let j be (1 + (-70)/w)*-3. Is j > c?
False
Suppose -2*l + 11 - 3 = 0. Let w be (-1 + l)*4/(-18). Let j be 4/14 - 2/7. Which is smaller: w or j?
w
Suppose 0*g + 3*g - 9 = -3*a, -3*g + a = -5. Let h be g*(-2)/(-4) + 2. Suppose -2*l + 10 = h*r