g as q?
False
Let l(g) = g**2 - 7*g + 2. Let r be l(7). Suppose 3*p + 58 = 4*m, r*p - 6*p - 73 = -m. Let u be p/12*(-4)/(-15). Is u less than or equal to 1?
True
Let c(g) = -2*g**3 - 53*g**2 + 29*g - 16. Let i be c(-27). Which is smaller: i or 4?
i
Let p = -0.07 - -0.27. Let n = p + -0.3. Which is greater: 2 or n?
2
Let h = -756 - -757. Which is smaller: h or 0.042?
0.042
Let q = -1/866 + 8669/7794. Let w be 5/(-2)*(-24)/15. Let l be (1/2)/(w/8). Do q and l have the same value?
False
Let c be (3 - (-4 - -3)) + -78. Let m = c + 1409/19. Is -1 smaller than m?
True
Suppose -2*r + c = 2*c + 2, -21 = -5*r + 4*c. Suppose 0 - r = -z + 5*q, 0 = -4*z - 2*q + 4. Which is bigger: -7 or z?
z
Let h = 34 + -26. Suppose -h*n - 26 = 14. Let b be (2/(-3))/((-1)/(-3)). Does n = b?
False
Suppose -5*b - 105 - 5 = 0. Which is smaller: -113/5 or b?
-113/5
Let i be -8 - (0/2 + 1). Let g(z) = -z**2 - 32*z - 178. Let n be g(-25). Which is smaller: i or n?
i
Let b = -44.53 + 0.53. Let t = b + 25. Which is smaller: 0 or t?
t
Let d be -33 + (-1 + (-10)/(-6))*(-165)/(-22). Suppose l + 5*k + 54 = 0, -5*l - 2*k = -6*k + 125. Which is smaller: d or l?
l
Let c = -28910/69 + 419. Is c greater than -2/13?
True
Let c = 91 + -90. Let z = c - 0.8. Which is bigger: 0.12 or z?
z
Suppose 11*o = 10*o - 3, 4*o = -4*w - 8. Is -1/38 > w?
False
Suppose -11*h + 6*h + 1200 = 0. Let m be (-356)/h + 2 - (-4)/(-6). Which is bigger: m or 1?
1
Suppose 5*m - 10*m = 5. Is -1/329 at most m?
False
Let d be (4/(-10) + 0)/((8084/3995)/(-43)). Let o be (-6)/(-2)*(-24)/(-9). Are o and d unequal?
True
Let j = 705 + -714. Which is bigger: j or 32?
32
Let f(a) = a**3 - 6*a**2 - 6*a. Let d be f(7). Let z be 33/d + (-28)/(-98). Suppose p + 0*p + 71 = 3*n, -5*p = -z. Is n greater than 23?
True
Let g = -136 + 137. Let u be -17*(-2 - -3)*g/(-1). Which is smaller: u or -2?
-2
Let y be (28344/108)/((-4)/6). Let z = 15329/39 + y. Which is smaller: -2 or z?
-2
Let h = 253 - 254. Is 33 > h?
True
Let k be (329/(-5))/((-15)/25). Let x = -112 + k. Which is smaller: -2 or x?
x
Let r = 206 - 420. Is r less than -216?
False
Let f = 15 + -9. Suppose -8*t + 12 = -f*t. Let o(h) = h**2 - 2*h - 2. Let v be o(4). Does v = t?
True
Let b be (0 + -1)*(3 - (1 + 2)). Suppose b = -z - 2*l + 5, -1 = z + 2*l - 3*l. Suppose 4*h = 3*h - 4. Which is greater: h or z?
z
Let q = 41/39 - 5/13. Let g = 28.6 - 32.6. Do g and q have the same value?
False
Let h = 599 + -598. Are h and 3/1811 non-equal?
True
Let d be ((-2)/10)/(9 + -8). Which is bigger: -24 or d?
d
Let g be (20/(-8))/(417/(-6) - -1). Is g < 1?
True
Suppose 2*j + 0*q + 22 = 2*q, 5*q = -2*j - 22. Let p = -19 - j. Is -8 < p?
False
Suppose 0 = 12*j - 14*j + 8. Suppose -j*z - 8 = 3*m - 33, 4*z = -20. Is 14 greater than m?
False
Let o(p) = p**3 + p**2 - 6*p + 1. Let t = 82 - 80. Let z be o(t). Are z and 2/123 equal?
False
Let b be (-300)/(-108) + (-2)/(-9). Suppose -5*z + 0*j - 76 = j, j = -b*z - 46. Let t(c) = -c - 16. Let u be t(0). Is u <= z?
True
Let k = -373/7 + 53. Suppose 17 = -4*p + 1. Let r be p*(-2)/4 - 3. Which is greater: r or k?
k
Let p be 20/440 - (-9)/(-198). Suppose -u + 8 = 3*u. Let s(n) = n**3 - 3*n**2 + 3*n. Let m be s(u). Which is smaller: p or m?
p
Let p(w) = 4*w + 22. Let t be p(-5). Let a be -5*(t*-10)/4. Which is smaller: a or 23?
23
Suppose 0 = q + 2, 3*q + 118 = 2*o - 0*o. Suppose -16 = 5*s - o. Suppose -s*f + 5 = -3*f. Are f and -18 equal?
False
Let y = 4.02 + -12.974. Let c = y - 0.046. Is c > -2/7?
False
Let w = 0.5 + -0.3. Let g = 0.2 - w. Let j(l) = l**2 - 24*l + 125. Let y be j(16). Which is greater: y or g?
g
Suppose -8*m + 11*m = 3*j + 1617, 5*m - 1069 = 2*j. Is -541 > j?
True
Let x = -0.75 + -56.25. Let c = 57.1 + x. Which is smaller: 13 or c?
c
Let f be 8*(-4)/((-64)/20). Suppose -13*s + 24 = -f*s. Is 7 < s?
True
Let t(g) = -11*g - 13. Let a be t(-6). Suppose -a = 4*r - 5*r. Is -0.1 less than r?
True
Suppose x = -244 + 199. Which is smaller: -46 or x?
-46
Let b be -12*(42/(-9))/(-1). Let u = b + 1396/25. Is 0 at most u?
False
Let u = 59 + -99. Let n = 122/3 + u. Let p = 2765 + -2764. Do p and n have the same value?
False
Let o = 284 - 280.57. Let r = -0.63 + o. Which is smaller: -1 or r?
-1
Let u be 10/1*8/16. Suppose u = 2*d + 21. Is -5 at least as big as d?
True
Let q be (29830/(-24))/19 - 9/(-12). Which is smaller: q or -66?
-66
Let r be (-84)/(-497)*(6 + -5). Is r bigger than 0?
True
Let d(j) = -4*j + 6. Let f be d(-5). Let s = f + -20. Suppose -s*k + 0*k + 6 = 0. Which is smaller: k or 0.2?
0.2
Let h be ((-534)/188)/((-309330)/(-2912)). Let g = -4/2455 + h. Is 1 < g?
False
Let c(a) = -9*a**2 - 2 + 8*a + 0 + 1 + a**3 - 1. Let o be c(8). Let m be (-3 - o)/(-1 - 0). Is 2/3 smaller than m?
True
Let w(c) = c**3 - 6*c**2 + 11*c - 1. Let p be w(7). Which is smaller: p or 128?
p
Suppose 3 = -12*q + 9*q. Which is bigger: -11/14 or q?
-11/14
Let o be (0 - 0)/(-1 + 2). Suppose -3*w - c + 21 = 0, 3*w - 27 = -c + 2*c. Are w and o non-equal?
True
Suppose b + o = -4, -2*b - 4*o - 21 = -5. Which is smaller: b or 2/1521?
b
Suppose -383 = -5*z + 62. Which is smaller: 91 or z?
z
Let z = 626 + -628. Suppose 0 = -3*f + 15 + 6. Let c be ((-2)/(-7))/(3/f). Which is smaller: z or c?
z
Suppose 32 = k - 5*k. Let m = k + 11. Let f be (-6)/9 - m/9. Is -2 at most f?
True
Suppose -21 = 227*b - 228*b. Is 0.06 less than or equal to b?
True
Let u(z) = -4*z**2 - z + 2. Let o be u(2). Let q(d) = -5*d**2 + 24*d - 10. Let s be q(5). Which is greater: o or s?
s
Let x(g) = -7*g**2 - 4*g**3 + 9*g + 6 + 6*g**3 - 3*g**3. Let a be x(-7). Let i be (18/24)/(a/(-8)). Which is smaller: i or 0?
0
Suppose 67*j = 43*j - 72. Which is bigger: j or 4?
4
Let w be (-23)/(-7) + 4/(-14). Let p be ((-36)/(-45))/((-4)/(-70)). Let n be 62/p - 12/(-21). Is n not equal to w?
True
Let y = -38 + 40. Suppose 0 = -y*g + 5*n - 29, 2*g + g - 5*n + 46 = 0. Is -17 >= g?
True
Let j(b) be the first derivative of -b**2/2 - 4*b + 3. Let f be j(0). Let c be 82/(-16) - (-2)/16. Which is smaller: c or f?
c
Let i(d) = 2*d**2 - 3*d + 9. Let n be i(4). Suppose 0 = j + 3, 4*j + n = 4*y + 5*j. Is 6 <= y?
True
Let b be 1/1 - 2/(-14). Let a be 142/70 - ((-42)/(-35))/2. Let h = a - b. Which is smaller: h or 0?
0
Let r = 66 - 39. Let s = r - 21. Is s less than 6?
False
Suppose x - 12 = -3*x. Suppose 2*v = -5*y - 15, 0 = -5*v - 5 - 20. Which is smaller: y or x?
y
Suppose -11 = c - 3*p + 5, 4*c + 2*p + 8 = 0. Let n = 7.6 - 8.6. Which is greater: n or c?
n
Let f = -194.7 - -195.188. Which is smaller: -1 or f?
-1
Let s be (-6)/(-8) + 63/(-4). Let g = -14 - s. Is g at most 0?
False
Let b = 16 + -13.5. Let x = -2.58 + b. Which is bigger: -0.1 or x?
x
Suppose -7*p + 30 = -6*p. Let n = 32 - p. Suppose -n*x + 4*c = -0*x + 10, 2*c = -x - 1. Is x less than 3?
True
Let t = -30 + 28. Let c be 3*((-5)/(-5) + t). Let m(k) = -k**2 - 4*k + 1. Let n be m(-3). Which is greater: n or c?
n
Let t = 2239 + -598. Suppose 5*n - 5*y = -t + 176, 4*n = -5*y - 1208. Let v be (2 + 1)*18/n. Which is bigger: v or -1?
v
Let b(k) = -7*k**3 + 2*k**2 - 2. Let v be b(-2). Is 65 less than v?
False
Let d be 21/(-9) - 2/(-6). Let b be (0 - -12)*(-4)/6. Let c be 6/(d + (-4)/b). Is c less than -5?
False
Let h be (-3)/((-72)/70)*(-28)/(-10). Which is bigger: 7 or h?
h
Let o = -39 + 21. Let h be o/4*2/(-3). Suppose -3*i = -6*i - h. Is i greater than -1?
False
Let v = 953747/67 - 14235. Let w = 3 - 6. Is w at least as big as v?
False
Let b be -4 - -11 - (-5 + 1605/(-40)). Which is greater: b or 51?
b
Let m be (-4 + 104)/(0 + -153). Let y = 2/153 - m. Suppose 0 = 2*q + 3*q. Are q and y unequal?
True
Let z(c) = c**3 + 8*c**2 + 17*c + 30. Let w be z(-6). Is -18/31 bigger than w?
False
Let h(a) = 157*a**2 - 4*a - 1. Let w be h(-3). Let r = w - 9948/7. Is 3 greater than r?
True
Let h = -318 - -4126/13. Let c = -172/195 - h. Which is smaller: c or 0?
c
Let v be ((-10)/(-8))/(1/4). Suppose t + t - 22 = 5*g, -2*g - v*t - 3 = 0. Which is greater: g or -2/3?
-2/3
Let c be ((-6)/(-10))/(78/104). Which is smaller: c or 37?
c
Let m = 298.0175 - 0.0175. Are m and 0.1 nonequal?
True
Let r = -1.535 - -1.235. Let i = 0.2 - 0.3. Which is bigger: r or i?
i
Let j = 22.2 - 18. Let y = -4.2 + j. Which is smaller: 2/33 or y?
y
Let c = 22 + -21. Suppose -c = q - 2. Suppose 0 = -2*z + 4*p + 14,