igger: 0 or m?
0
Let p = 16301/9 - 1809. Which is bigger: p or 1?
p
Let s = -4 - -7. Let w = 2.99 - s. Is 0.1 greater than w?
True
Let r(c) = c + 4 - 6 + c. Let g be r(2). Is g < 1?
False
Let p = 3/62 + -201/310. Suppose 5*g - g = -64. Let i = 16 + g. Which is bigger: p or i?
i
Let p = -2 - -3. Is 0 greater than p?
False
Let b = 3177/232 - 109/8. Let g = -4 + 12. Suppose 4 = 4*s - g*s. Which is bigger: s or b?
b
Let h = 1 + 2. Let a be (2/h)/((-14)/(-9)). Is 0 less than a?
True
Let r(h) = -h**2 - h - 15. Let i be r(0). Let d = -13 - i. Suppose 2*m - t = 10, 0 = -5*m - 4*t + t + 3. Are m and d unequal?
True
Suppose 0 = -3*o - 16 - 2. Let u be -3 - (o/33 - 3). Let p(l) = -l**3 + 7*l**2 - 7*l + 6. Let z be p(6). Are z and u equal?
False
Let r = -4.96 - 0.04. Which is smaller: -1/3 or r?
r
Let b(n) = -n**3 - 4*n**2 + 5*n - 2. Let i be b(-5). Let j be 2/(-8)*i*0. Suppose 4*p - 3*a + 7 = j, 3*p = 5*p + 3*a - 19. Are 3 and p equal?
False
Let a be (16/(-12))/((-2)/(-3)). Let x be (-40)/(-56) - a/7. Is x smaller than 2/13?
False
Suppose -4*v + 3*t = 5*t + 8, 2*v - 3*t = 4. Let z be v/4 + 15/(-12). Suppose 0 = -o - 1 - 0. Is z bigger than o?
False
Let q be 9/(684/(-80)) - -1. Which is smaller: q or 1?
q
Let b be 2/(-2) + 12/3. Let s(c) = 2*c - 7. Let l be s(b). Which is bigger: l or -14?
l
Let x = -1231/5 + 245. Let i(c) = -5*c**2. Let t be i(-1). Let m be ((-8)/(-10))/(2/t). Are m and x unequal?
True
Let f be (1 + -1)/(6 - 4). Let x = 3 - f. Which is greater: 3/2 or x?
x
Let q(c) = -c + 2. Let l be q(4). Let b be ((2 + l)/(-3))/1. Is -1 less than b?
True
Let o = 1.92 + 0.08. Is o at least 2?
True
Suppose 4*o = 5 - 1. Let z be 1*3*(3 + (-40)/15). Is o greater than or equal to z?
True
Suppose 2*j + 7 - 1 = 0. Which is bigger: j or -14/9?
-14/9
Let c be (-12)/(-424)*(-68)/(-30). Let p = c + -24026/265. Let d = p - -91. Do d and 1 have the same value?
False
Let w be (-12)/14*4/8. Which is greater: w or 0?
0
Suppose -3*z + 6 + 2 = -4*d, 4*z - 8 = 4*d. Let v be -2 + 2 + 1 + 2. Let n be (v/3)/((-2)/(-6)). Which is smaller: z or n?
z
Suppose 2 = -2*f + 3*j, 27 = 5*f + 4*j + 9. Let p(b) = -b**3 + 2*b**2 + 2*b - 2. Let z be p(3). Let k be f/(-5) + (-2)/z. Is k <= 0?
True
Let r = -15/7 - -10/21. Let c = 35 - 38. Which is greater: r or c?
r
Let u(w) = -w**2 + 7*w + 6. Let n be u(7). Let k(b) = -b**2 - 11*b + 18. Let r be k(-12). Is r less than n?
False
Let h = -17 + 18. Let f be h + 3 + (-36)/30. Is f greater than 4?
False
Let f = 1/12 - 7/12. Let r be 4*(-2 + (-13)/(-6)). Let g = r - 20/21. Which is bigger: f or g?
g
Let t be 2*1 - (-2 - 5). Let v = t - 8. Is -1 != v?
True
Suppose k - 2*a = 1, -4*k + 5*a + 17 - 4 = 0. Which is bigger: k or 0?
k
Let m(h) = -h**3 + 3*h + 1. Let i be m(-2). Suppose 12 = -5*a + 2*f, -a - f - 7 = i*a. Let g = 2 + a. Is -1/2 greater than g?
False
Let s = -38 - -35. Which is bigger: s or -0.12?
-0.12
Suppose 2*t = 4*l - 2, 3*l - 13 + 1 = -2*t. Which is bigger: l or 6?
6
Let t be (6/(-20))/(6/(-4)). Let d = t + -19/20. Let y = -1 - 1. Which is smaller: y or d?
y
Let p(g) = g**2 + 11*g - 17. Let x be p(-12). Is x smaller than -8?
False
Let m = -6 - -11. Let p = 0 + m. Which is bigger: 4 or p?
p
Let w(h) = -4 + 3 - 4 - h + 0*h. Let i be w(-5). Which is bigger: -10/9 or i?
i
Let d be 7/(-4) + (-4)/16. Let n be (-2)/(d*(-1 + 0)). Let f be (4 + n)*(-1)/4. Which is smaller: -1 or f?
-1
Let x = -266 + 259. Let m = 1 - 2. Is x <= m?
True
Let c(f) = f**2 + 4*f + 4. Let i be c(-3). Let z be (-3 - -5)/(5/i). Let l = 2 - 2. Which is smaller: l or z?
l
Let w(l) = 2*l**3 - 7*l**2 + 3*l - 7. Let j be w(5). Let i = 24/299 - 73925/897. Let n = i + j. Is n > 0.1?
True
Let p = 9 + -3. Let a = -26 + 19. Let s = p + a. Is -0.1 > s?
True
Suppose -2*i = 5*w + 17, 0 = -5*i - 0*w + 3*w + 4. Let v be -1 - ((2 - 1) + -3). Let z be 9 - 11 - v*-1. Is z not equal to i?
False
Let a = -131 - -130. Let f = -1.1 + 1. Which is greater: f or a?
f
Let l(n) = -n**3 + 7*n**2 + 8*n - 8. Let r be l(8). Is -8 smaller than r?
False
Let p = 295/3 + -100. Does p = -3?
False
Let r(h) = -h**2. Let c be r(1). Is 1/3 at most c?
False
Let v(g) = -g**3 + 11*g**2 - 10*g + 6. Let x be v(10). Let i be x/16*4/6. Is -1 greater than or equal to i?
False
Let b be (-3)/((-18)/22) - (2 + -3). Which is greater: b or 6?
6
Let d(u) = -12*u - 6. Suppose -3*t + 31 = -5*s, -3*s - t - 21 = -4*t. Let g be d(s). Let y = 379/7 - g. Is 0 < y?
True
Suppose -3*h = -5*h. Let b be (2 - h) + (-1 - 1). Suppose -4*t - t = b. Which is smaller: -1 or t?
-1
Let c = -0.13 - -0.14. Is c greater than -2?
True
Let x = -7.4 - -7.6. Let p = -1 - -2. Let n = p + -2. Does n = x?
False
Let m = -14 - -9. Let x be ((-2)/(-2))/((-9)/(-72)). Let t = x + m. Which is bigger: 1 or t?
t
Let k(g) = 10*g**3. Let p be k(1). Do 5 and p have different values?
True
Let h(z) = 0 + z + 3 + 0. Let l be h(-6). Is -3/2 < l?
False
Let z(p) = -p - 3. Let f be z(-3). Suppose l + l = f. Suppose -4*k - 4*u - 12 = 0, -2*k - 3*u - 10 = -l*u. Is k <= -2/5?
False
Let w be -2*((-6)/(-4) - 1). Let v = 4 - w. Suppose -v*y + 3 = -k, 4*y + 0 = 5*k + 15. Do k and -3 have different values?
False
Suppose 0*u + u - 19 = -3*z, -8 = 4*u. Is 8 at least z?
True
Let y = 40 - 39. Is -2/29 <= y?
True
Let s(b) = 0*b**2 + 3*b**2 + 4*b - 4*b**2 + 0*b**2 + 2. Let k be s(4). Suppose 0 = -5*d - k + 7. Is -2/9 smaller than d?
True
Let a = 601/9 + -67. Let n be (-1)/3 + (-1182)/(-270). Let h = 40/9 - n. Is h smaller than a?
False
Let p be (5/(-50))/((-2)/(-25)). Is p bigger than -1?
False
Let h = 7 - 19. Let p be h/1456*(-44 + 0). Let u = -1/13 + p. Which is smaller: -0.1 or u?
-0.1
Let s(f) = -f**3 + 2*f**2 + 3*f + 1. Let y be s(3). Let n be -1 + ((-24)/(-10) - y). Let l = 5 - 6. Does n = l?
False
Let r be ((-2)/(-3))/(6/9). Suppose 2 + 19 = 7*i. Is i > r?
True
Let s = -365/33691 + -94329737/22236060. Let b = -1/330 - s. Let k = b + -4. Is 1 less than or equal to k?
False
Let y be -1*(-557)/279 - 2. Let f = y + 851/3906. Which is smaller: f or 1?
f
Let u = 3.6 + 1.4. Are -4 and u unequal?
True
Let o = -20 - -83/4. Which is smaller: 1 or o?
o
Let c(n) = -n**3 - 3*n**2 + 6*n + 6. Let m be c(-5). Do m and -1 have the same value?
False
Suppose 4*m = -0*m + 28. Let y(p) = p**2 - 7*p - 3. Let b be y(m). Which is greater: b or -4?
b
Let a = -2 + 1.9. Which is bigger: a or 0.08?
0.08
Let o be (-2 - -1)*-1 + -22. Is o at least as big as -21?
True
Let b = -84 + 3278/39. Is -1 != b?
True
Let f be (2/(-8))/((-4)/6). Which is greater: f or -1?
f
Suppose -5 = -3*x - 86. Which is bigger: x or -26?
-26
Let v be (4/(-50))/((-5)/(-25)). Which is bigger: 0 or v?
0
Let a = 29 - 32. Is a >= 0?
False
Let f(a) = 2*a**3 + 22*a**2 + 2*a + 20. Let w be f(-11). Let r = 1 - 3. Let s = r - -1. Is w at least s?
False
Suppose 3*x - 4 = b, 0*x - 3*x = 3*b + 12. Let h be (24/(-36))/((-3)/(-18)). Do h and b have different values?
False
Let a = 13/10 + -2/15. Are 0 and a non-equal?
True
Suppose -2*l = -0*l - 4. Let s be l/8 - (-2)/(-8). Is s bigger than 3/4?
False
Let p be (-51)/7 + 4/14. Let h = -11 - p. Let c = 2 + h. Is -4/7 not equal to c?
True
Let j = -9 + 4. Is j greater than or equal to -4?
False
Let d = -117/140 + 11/20. Let r = -4 + 3. Is d < r?
False
Let q = 101 + -56. Let t be (((-24)/q)/4)/1. Does t = -2?
False
Let h = -8 - -7. Let a = h + 0.9. Are 0.06 and a non-equal?
True
Let v(g) = -g**2 + 11*g - 13. Let i be v(9). Suppose -5*y - i*k - 25 = 0, 4*y + k = 2*k - 5. Let t = -3 - y. Which is smaller: t or -2?
-2
Let t(h) = 2*h - 21. Let l be t(11). Let x be (1 - -1)/(-6)*-1. Which is bigger: x or l?
l
Let f = 1.182 - 0.182. Which is bigger: -0.45 or f?
f
Let n = 28.9 - 29. Does n = 1?
False
Let m(t) = -t**3 - 9*t**2 - 7*t + 8. Suppose 3*p = 5*p. Suppose p = -2*q - 2*g - 8, 3*g = 5*q + 31 + 21. Let a be m(q). Which is greater: a or -1?
a
Let v = -42 + 28. Let y be (15/(-2))/(2/4). Which is smaller: y or v?
y
Let z(s) = 5*s**2 - 4*s + 2. Let a be z(2). Suppose 3*h = 4*g + 14, -2*h + 3*g + 2*g + a = 0. Let p be (h/(-3))/(6/(-27)). Which is greater: p or 2?
p
Let f = 21 + 183. Let m = -212.05 + f. Let v = m - -8. Which is smaller: 1 or v?
v
Let i = -0.96 + -3.07. Let f = 3.97 + -4. Let g = f - i. Which is smaller: -1 or g?
-1
Let l = 17 + -16. Let n = 3 - 4. Let b = -2 - n. Which is greater: b or l