gger: y or 2/25?
y
Let b = 11 - -4. Is 1/4 < b?
True
Let i be (1 + 2)*4/6. Let k(v) = -2*v - 9. Let c be k(-4). Let r = c - i. Is r <= -4?
False
Let p(k) = k**3 + 15*k**2 - 18*k - 20. Let g be p(-16). Is 12 < g?
False
Suppose c = 3*c - 8. Let m = 76 - 43. Let p be (-27)/m - c/22. Is p smaller than -1?
False
Let s = -6/11 - -53/77. Are s and -5/6 equal?
False
Let i(f) = f**2 - 8*f - 9. Let j be i(9). Let q be j/(-2) + 1/4. Is 1 bigger than q?
True
Suppose -77 = -3*t - t + 5*j, -t + 18 = -j. Which is greater: t or 11?
t
Let l = 8 - 9. Which is greater: l or 0?
0
Suppose 3*q - 4*q - 1 = 0. Is 0 != q?
True
Let v = -21/2 + 11. Suppose 2*t - 10 = -5*x + 3*t, 0 = x + 3*t - 18. Suppose -5*i + 18 = 4*w, 0*w + 3*i = -x*w + 12. Which is bigger: w or v?
w
Let a be 27/(-18)*16/(-6). Suppose -i = -a*c - 6, -4*i - c = i + 33. Are -8 and i equal?
False
Let c(q) = q + 6. Let m be c(-10). Let h = 5 + m. Which is smaller: h or 1/2?
1/2
Suppose 14*u + 20 = 4*u. Suppose -5*o + 2*t = -20, o - 4*t - 1 = -15. Let x(w) = -w**2 + 5*w + 5. Let c be x(o). Is c not equal to u?
True
Suppose 178 = -3*t + 34. Let p = t + 28. Let h be ((-8)/p)/(8/10). Which is bigger: 1 or h?
1
Let a(i) = -i + 1. Let s(f) = f**2 + 12*f + 6. Let x(u) = 3*a(u) + s(u). Let j be x(-7). Is -4 at most j?
False
Let j = 0.15 + -0.05. Is 3/4 at most j?
False
Let l be 13489/1876 - 8 - 6/(-8). Which is smaller: 0 or l?
l
Let i = -29.8 - -5.6. Let t = -24 - i. Which is smaller: t or 4?
t
Let j = 0.26 - 12.26. Let w = j - -14. Let k = 10/11 - 28/55. Is k < w?
True
Let q(p) = 3*p**2 - 2*p + 1. Let b be q(1). Do b and -5 have different values?
True
Suppose 3*c = 14*c + 11. Let q be (-4)/(-14) + 64/(-322). Which is bigger: c or q?
q
Let c = 55 - 54.9. Suppose 0*p + 25 = 5*p. Is p > c?
True
Suppose -4*q - 4 = -2*w + 12, 4*w - 5*q - 41 = 0. Suppose -w = 3*i + d + 18, 4*i - d = -38. Let b be i/(-8) + 1/(-1). Which is smaller: 0 or b?
0
Let t = -3 - -7. Let b = 170/3 + -53. Which is greater: b or t?
t
Suppose 4*w = 5*o - 5, o - 1 + 0 = 3*w. Is o at most -4/17?
False
Let q(i) = 3*i**3 + 2*i**3 - i**3 + 5*i**2 - 3*i**3. Let n be q(-5). Suppose -t - 3*m - 5 = n, m = 5*t + 2*m + 25. Are t and -2/7 equal?
False
Suppose 2*q + 4 = -14. Let v = q - -6. Let x = -106 - -105.9. Are v and x unequal?
True
Suppose -6*y = -13*y + 49. Is y not equal to 9?
True
Let r = -0.9 - -1.9. Let j = r - 1.1. Which is bigger: j or -1?
j
Suppose 4*l + 2*i = -3*i + 14, 0 = -l - i + 4. Let g be ((-3)/l)/(1/4). Let f be g/3 - 4/(-9). Which is bigger: f or 0.1?
0.1
Let u(a) = a**3 + 9*a**2 + 13*a + 20. Let m be u(-8). Which is smaller: -18 or m?
m
Suppose 4*q = u - 6*u - 47, -2*q - 3*u = 25. Let o be (-6)/q - 17/(-4). Which is bigger: 6 or o?
6
Let l be (-256)/(-24)*(-3)/2. Which is smaller: l or -17?
-17
Let z be ((-2508)/(-630))/(4/6). Let v = z + -27/5. Which is smaller: 4 or v?
v
Let p be -3 - ((-1113)/(-60))/(-7). Let n = 3/5 + p. Are n and -3 unequal?
True
Let p = -52/69 + 2/23. Which is greater: -0.9 or p?
p
Let x(a) = -2*a - 6. Let u be x(-3). Is 1 greater than or equal to u?
True
Let i(m) = -m**2 + 4*m + 6. Let o be i(6). Let j(d) = d**3 + 7*d**2 + 7*d + 6. Let f be j(o). Is f >= 3/5?
False
Let a = 27.1 - 27. Is -4/13 greater than or equal to a?
False
Suppose 4*h = -0*h + 4. Suppose -j + h - 2 = 0. Let n = -404/7 - -58. Is n at most j?
False
Let r = 12851/9 - 1424. Is 4 >= r?
True
Suppose -22 = -4*v - 34. Let w = 0 - 0. Which is bigger: w or v?
w
Let a = 5.3 + -6.3. Is a less than 0.026?
True
Let f = 78/7 + -82/7. Let l(x) = x**3 + 6*x**2 + 4*x - 6. Let o be l(-5). Which is smaller: f or o?
o
Suppose 141*h - 144*h - 18 = 0. Is h <= -36/5?
False
Suppose x = 2*x. Suppose 0 = 5*y - l + 4*l - 10, l = 4*y - 8. Let v be (-2)/10 + y/10. Is v bigger than x?
False
Let x = 4.361 - -0.039. Let r = -0.4 + x. Let a = 3 - r. Which is smaller: a or 2?
a
Let y be (-10)/(-35) - 13/21. Suppose 2*f + 4*r = -8, -4*f = -2*r + 5 + 21. Let x be 2/((-1)/(3/f)). Which is smaller: y or x?
y
Suppose -5*x + 2*x = 33. Is -13 smaller than x?
True
Suppose 3*l - 24 = -3*l. Let h be ((-2)/(-3))/(8/60). Let s = l - h. Which is smaller: s or 1?
s
Let c(h) = h**3 - 2*h**2 + h + 2. Let j be c(2). Suppose j*f = f + 15. Is 5 >= f?
True
Let n(b) = -b**2 + 4*b - 2. Let d be n(0). Which is greater: d or -5/3?
-5/3
Let q be (10/(-5))/(2/29). Is -28 != q?
True
Let b = 163423/2556 - 41/852. Let y = 63 - b. Which is smaller: y or -1?
-1
Let a = 2 + -2.06. Let t = a + 0.06. Which is greater: 1 or t?
1
Let v = 21.2 - 21. Is -1 < v?
True
Let d = -19 + 27. Let o = d + -11. Let w = o + 3. Which is greater: w or -1?
w
Let d = -2 - 0. Let v be d*(1 - 6/4). Are -1/3 and v equal?
False
Suppose c = -2, b - c + 10 = 5*b. Let q = 2 + 1. Is b less than or equal to q?
True
Let x = 13/3 - 7. Is x > -4?
True
Let f be (1/2)/(57/(-152)). Suppose -6*m = -2*m + 4. Is m less than f?
False
Let r = -1041696/55 + 18939. Let f = r - -8/11. Is f smaller than 0.2?
True
Let y = -116/3 - -39. Let t = 0 - 0.1. Which is smaller: t or y?
t
Suppose -3*w + 17 = s, -3*w - 4*s + 20 - 6 = 0. Let z = w - 3. Are z and 3/2 equal?
False
Let i = 9 + -11. Let s = i + 3. Which is bigger: -2/23 or s?
s
Let d = -109/5 + 22. Is 0 greater than or equal to d?
False
Let g be 6628/(-42)*(-36)/(-8). Let d = g - -3001/7. Let p = d + 281. Which is greater: p or 0?
0
Let m be 2*(-3)/3*1. Let a be (1 + (-10)/m)*-1. Let w be 2 + 0 + 3/a. Which is greater: 1 or w?
w
Let o = -6 + 8. Suppose 2*r = -r + 24. Suppose o*p = -2*p + r. Which is smaller: 3 or p?
p
Let i = -47 - -152. Let s = -417/4 + i. Is 2 less than or equal to s?
False
Let o = 16.8 - 13. Let z = 0 + 0.2. Let p = z + o. Is p <= -2/3?
False
Let c = -3 + 3. Let i be (1 - -1) + 0 - -164. Let b = i + -833/5. Does c = b?
False
Let g(a) = -a + 9. Let s be g(7). Let y be (-1)/s + (-6)/(-8). Let i(p) = -p**3 + 6*p**2 + 8*p - 6. Let w be i(7). Is y bigger than w?
False
Let i be 2 + (-1)/(14/1138). Let s = i + 79. Suppose 6*o + 5 = o. Which is bigger: s or o?
s
Suppose d - 4*d + 15 = 0. Suppose -2*k + 8 = 2*k. Suppose -3*u - d = -k*u. Which is smaller: -6 or u?
-6
Let p = 0.23 - -5.77. Is 4 > p?
False
Let h be ((-2)/(-4))/((-9)/(-12)). Let i = -5 - -6. Let d be (3 - 2)/(2 - i). Which is bigger: d or h?
d
Let k(p) = 6*p**2 - 7*p + 9. Let x be k(2). Is x at most as big as 19?
True
Let j(z) = z**3 - 2*z**2 - 3*z + 2. Let p be j(3). Let m(g) = g**2 + 8*g + 9. Let w be m(-7). Suppose -3*f = f - 2*v - 18, w*v = -f - 3. Are f and p equal?
False
Let u be 266/(-126) - (-2)/1. Which is bigger: u or -1?
u
Let c(z) = 5*z - 3. Let a be c(2). Let o(b) = b**3 - 8*b**2 + 8*b - 2. Let r be o(a). Let m = 12 + -6. Is m at most as big as r?
False
Let z be (4 - -3)/(6 + -5). Is 32/5 smaller than z?
True
Let w(i) = -2*i**2 + i**2 - 5 + 5*i + 1. Let f be w(3). Is 1 smaller than f?
True
Let g = 0.006 - -19.994. Which is bigger: 0 or g?
g
Let t = 175/3 - 59. Suppose 5*m - 3 = 2*m. Let z be m/4 + 0/8. Which is bigger: z or t?
z
Let s be (8/(-20))/((-32)/30). Which is smaller: s or 2?
s
Let x = 9 - 27. Is 0.1 >= x?
True
Let d = -0.74 - -0.94. Which is greater: 1 or d?
1
Suppose 0 = 2*d + d - 3*g, 2*d - g = -4. Let k be d/14 - (-4)/14. Suppose 0 = -f - o - 2*o + 2, 4*o - 2 = -2*f. Which is greater: f or k?
k
Let n = 1179/5 + -235. Is n bigger than 1?
False
Suppose 0 = -3*t + 4*t + 1. Let q = 1 + t. Is 1/6 smaller than q?
False
Let p = 506/189 - 26/27. Does 1 = p?
False
Suppose 3*h = 5*h + 2. Let r be (-3)/(3*h/2). Do 3 and r have the same value?
False
Let b = -0.06 - 1.94. Let f = -2.8 - b. Let s = -2.8 - f. Is -2/7 at least as big as s?
True
Let u be (4/1)/(2 + 0). Let q be 1 + 2 + -2 - u. Is -1 >= q?
True
Let m(c) = 2*c**2 + 41*c + 12. Let p be m(-20). Let g = -2 + 3. Which is smaller: p or g?
p
Let z be (5 + (-141)/45)*1. Are 3 and z equal?
False
Let n be 950/6*15/55. Let z = -43 + n. Let x be 2/(-3) - 160/(-150). Is x >= z?
True
Let a be (4/(-6))/((-2)/(-51)). Which is smaller: -2 or a?
a
Let a = 226441/123 + -1841. Is 1 smaller than a?
False
Let d = 11 - 15. Let i = d - -3.7. Let b = -0.3 - i. Which is bigger: 2/9 or b?
2/9
Let y = -136 - -135. Are y and -103 nonequal?
True
Let t be 6/8 + (-22)/40. Let r = 342 + -5132/15. Is r at least as big as t?
False
Suppose 0 = 3*l - l - 6. Suppose 3*i = 3*x, -x = -2