+ m = 0, 5*q = -4*c + 2*q - 161. Which is greater: -42 or c?
c
Let r(u) = -23 - u + 5*u - 3*u - 2. Let m be r(8). Suppose 5*i = -v + 9 - 37, -v = -2*i + 14. Is m < v?
False
Let h(p) = -p**3 - 2*p**2 - 6*p + 9*p**2 - p. Let n be h(6). Suppose -230 = 7*k - 237. Is k less than n?
False
Let l(x) = -2*x**2 - 10*x + 2. Let p be l(-5). Suppose -44 = 3*c + 2*y, p*c + y = -0*c - 28. Which is smaller: c or 2?
c
Let z = -81 + 84. Let h be (z/15)/(0 + (-2)/22). Which is greater: h or -2?
-2
Let a be 338/(-260) + (0 - -1). Which is greater: a or -1?
a
Suppose 5*v - 3*u + 35 = 2*u, -35 = 5*v + u. Let g be 3/(5 + -6) + -14 + 9. Is g >= v?
False
Let b = 27 - 33.5. Let c = b + 6.89. Let j = -0.29 + c. Which is smaller: 1/28 or j?
1/28
Let s = 585 - 543. Which is smaller: s or 39?
39
Let y be 2*(-70)/(-20) - 238. Which is bigger: y or -2/11?
-2/11
Let y be (80/(-15) - -5)*(2 - 5). Let r be (9/5)/(1 + 1). Which is smaller: y or r?
r
Let o = 0 + -2. Let j be 8/(-12) + o/6. Let a be (-1 - 102/(-114)) + 27/76. Which is smaller: a or j?
j
Let g be 10/(-33)*3 + 5. Is 5 greater than or equal to g?
True
Let m(h) = -h**3 + 7*h**2 + h - 7. Let d be m(7). Suppose 0*f + 1 = -f, 4*a + 4*f + 196 = 0. Let s be 94/a - (-16)/12. Do s and d have the same value?
False
Let g be (54 + -53)*((3 - 24) + 0). Suppose -w = 3*f + 59, 4*f + 4*w + 100 = 32. Is f less than or equal to g?
True
Suppose -2*l + 5*c = -3*l - 16, 0 = -2*l - 4*c - 62. Do l and -41 have the same value?
True
Suppose -z + 2*o = -3*z, -4*z = 2*o - 2. Let c(s) = 50*s - 11. Let d be c(4). Let q be 24/d*3/(-12). Which is bigger: q or z?
z
Let m = -492 + 494. Are 9/7 and m unequal?
True
Suppose 38 + 2 = 5*g. Suppose 0 = -5*h - 383 + 28. Let r = h + 73. Which is smaller: g or r?
r
Let w = -215.2 - -215. Is w >= 5/12?
False
Let l be (-2)/7 - (-5)/(-7). Let h be 22/792*-6 + ((-5)/(-2))/(-5). Which is smaller: h or l?
l
Suppose 0 = -57*z - 9012 - 10824. Is -348 bigger than z?
False
Suppose 4*j + 41 = 137. Let r = j + -12. Suppose r = 3*q - 3*v, 4*q - 5*v - 16 = q. Are 4 and q non-equal?
True
Let y(v) = -v**2 + 6*v + 5. Let q be y(6). Suppose -q*m + 105 = -0*m. Let d = m - 12. Is 7 less than d?
True
Suppose -72*x = -66*x + 6. Let c(p) = p**3 - 2*p**2 - 2*p + 3. Let f be c(3). Let d be f/(-30) - (-48)/(-10). Which is bigger: x or d?
x
Let x = 9 - 4. Suppose h = 3*t - 2 + 6, 12 = -x*t + 3*h. Let z be (-6)/4*(-220)/594. Which is smaller: t or z?
t
Let x be (-17 - -17)/(2 + 0). Suppose x = 8*u - 4*u. Which is smaller: u or 10/7?
u
Let u = -92 - -646/7. Let z = 16.46 - 16.5. Is z bigger than u?
False
Let s be ((-33)/(-44))/((-2)/(-48)). Let y = 34 - s. Suppose 4*i + y + 4 = 0. Is -5 >= i?
True
Let d = 0.092 + -0.07. Let c = d + 2.278. Let t = c + 1.7. Which is smaller: t or 2?
2
Let n be (0 - -1) + (-12)/6. Let s be n/2*0/(-2). Suppose s = -4*u + 6*u. Which is smaller: u or 4/5?
u
Let k = -32 - -40. Suppose 6*r = k*r. Do r and -10/11 have the same value?
False
Let v = -5 - -11. Let o be (3/(-6))/(1/4). Which is greater: o or v?
v
Let i be 114/2763*970/(-20) - -2. Which is greater: i or 1?
1
Suppose -3*s = -2*z - 2*s - 5, 5*z + s = -2. Suppose 0 = -4*w - c - 360, 0*w - 5*w - 2*c = 450. Let u be (-25)/w*3/5. Is z at most u?
True
Let d = -20.8 + -135.2. Which is smaller: d or 0?
d
Suppose -2*n + 10 = 3*c, 3*n - 53 + 38 = -4*c. Is c at most -58?
False
Let i = -1718 - -541171/315. Is 1 greater than i?
True
Let q be (-9)/12 + 351/324. Which is greater: 277 or q?
277
Let z = -17 + 21. Is z not equal to -14?
True
Let t = 2 + 2. Let x = 3 - t. Let m = -63/2 + 32. Which is greater: m or x?
m
Let y be (-10)/2 - 0/(-2). Let x be (5 - y)*1/2. Suppose 2*b + x*i = -8 - 7, -3*b + 5*i = -15. Which is smaller: b or -3/7?
-3/7
Let s be -1*(2 + -5) - 1. Let b(c) = -c**2 + 1. Let v(z) = -z**2 + 1. Let h be v(1). Let y be b(h). Is y bigger than s?
False
Let b be -2*((3 - -2) + -10). Suppose -a + 7 + 0 = 0. Let q(m) = m**2 - 5*m - 3. Let k be q(a). Which is bigger: b or k?
k
Let c(s) be the first derivative of 3*s + 1/3*s**3 - 5/2*s**2 + 9. Let u be c(1). Is -4 at least as big as u?
False
Suppose -9*p + 4*p = 0. Let b = -168 + 1178/7. Which is greater: b or p?
b
Let q be ((-36)/24)/((-3)/392). Let o = -2154/11 + q. Is 1 smaller than o?
False
Let d(v) = -v**3 - 7*v**2 - 13*v - 4. Let t be d(-3). Let l(x) = x + 1. Let z be l(-7). Which is greater: z or t?
t
Let o(k) = k**3 + 6*k**2 + 3*k - 2. Let u = -33 + 28. Let m be o(u). Which is smaller: m or 13?
m
Let y = -795 + 4769/6. Let d = 5 - 3. Suppose -2*i = -0*i + d. Which is smaller: y or i?
i
Let a = -24 - -25.1. Let m = a + 1.9. Let w = -17 - -18. Is w less than or equal to m?
True
Let z = 7.0348 + -0.0348. Is -0.8 != z?
True
Let l(x) = x**3 + 9*x**2 - 9*x - 4. Let k = -90 - -81. Let g be l(k). Is 77 > g?
False
Suppose 0 = -0*q - 3*q - 42. Let r be 4/(168/(-6)) + (-72)/q. Which is smaller: 7 or r?
r
Suppose 2*h - 47 = 3*v, -3*v = 4*h - 9*h + 140. Suppose -6*t = -37 + h. Which is greater: -3/13 or t?
t
Suppose 0 = 3*p - 9, -2*y - 3*p = -8*p + 19. Are -69 and y equal?
False
Let k = 26 + -25. Suppose 2*u + k = 15. Is 6 bigger than u?
False
Let z = -10 + -12. Is -22 greater than z?
False
Let p = 4.15 + -4. Let x be ((-10)/65)/1 + (-17)/(-26). Is p at most as big as x?
True
Let w = -0.05 + 3.05. Let n = 0.12 + 1.88. Let k = n - w. Do 1/2 and k have different values?
True
Let b = 0.432 + -16.047. Let y = b + -0.285. Let o = -16 - y. Is o at least -1.9?
True
Let y be (-9 - -4) + (21 - 3)/3. Is y at most as big as -2/2639?
False
Let y(t) = 2*t + 27. Let p be y(-11). Suppose 0 = -0*v - 3*v + 3, -5*z = 5*v - p. Is z > 2/31?
False
Suppose 3*q = -a - 0*a - 7, -3*a - 5*q = 9. Let h = -1353860/9471 - -5915/41. Let s = h + 1/77. Does a = s?
False
Let v(b) = 2*b - 4. Let o be v(7). Suppose 2*l + 3*l = o. Which is smaller: 3/2 or l?
3/2
Suppose v = -n, n - 2 = -4*v + 7. Let x = 2/1049 - -16770/7343. Is v at most as big as x?
False
Let m = -1.6 - 12.4. Let a be -2 + (-48)/(-27) + (-16)/36. Are a and m nonequal?
True
Let c = 9.2 + 1.8. Let t = -7 + c. Is t less than 2?
False
Let b be (8 + 50/(-6))/(26/6306). Let s = -34 - 47. Let k = b - s. Do k and 1 have the same value?
False
Let o(q) = 3*q - 11. Let p be 5/(-15) - 20/(-6). Let h be o(p). Which is greater: h or -9?
h
Let o = -25 - -24. Let l be -3*5/295 - 0. Are o and l unequal?
True
Let g be -4*(10/25)/(12/(-15)). Let b be ((g/(-3))/(36/27))/(-15). Suppose 4*n = -0*n. Which is bigger: b or n?
b
Suppose 2 - 96 - 32 = 21*b. Suppose 4*c = -0*c. Which is greater: b or c?
c
Suppose -284*g + 262*g = 550. Which is smaller: g or 1.5?
g
Let s(d) = d**3 - 4*d**2 + d + 6. Let l be s(7). Suppose 2*a = 7*a + l. Is a smaller than -32?
False
Let n = -4 + 3. Let u be 32/(-304) + 154/19 + 4. Which is smaller: n or u?
n
Let t = -40 + 18. Let f = 21.5 + t. Is -2/5 less than f?
False
Suppose 3*l = -u - 3*u - 21, 0 = 3*l - 2*u + 21. Let s = 1997.981 + -1999. Let g = -0.019 - s. Do g and l have the same value?
False
Suppose i + 0*i = 4. Suppose 2*p + 30 = i*p. Let q be p/10*(-32)/(-6). Is q bigger than 9?
False
Let x be -3 - (-16)/12 - 2. Let j = x + 7/2. Let u = 2 - 2. Is j > u?
False
Suppose 0 = o + 3*v + 322, 0 = 3*v - 14 + 17. Which is bigger: -320 or o?
o
Let y(r) = -r**2 + 19*r - 17. Let v be y(18). Let j be (-3 - (-3)/1) + v. Which is smaller: j or 0?
0
Let j = -13 + 12.95. Let z = 0.02 - j. Which is bigger: -0.2 or z?
z
Let n(k) = -2*k**2 + 15*k - 24. Let y be n(10). Let a = 138 + y. Is a greater than or equal to 64?
True
Suppose q = 3*q - 20. Suppose -2*l - 28 - q = 4*b, 4*b + 4*l = -28. Let i be ((-4)/(-48))/(27/b). Is -1 < i?
True
Let p be 42/(-5) - (-14)/35. Let c = -33 - -24. Is p at least as big as c?
True
Let a = 191 - 462. Let z = a - -521/2. Which is smaller: -10 or z?
z
Let z(m) = 2*m + 0*m - 3*m. Let a be z(-6). Let b be (3/(-30))/(3/a). Do 1 and b have the same value?
False
Let g be 12*(-2667)/(-6)*(-1)/(-7). Which is bigger: 1 or g?
g
Let x = 3 + 4. Let m = x + -21. Let y = -11 - m. Which is smaller: y or -1?
-1
Suppose 772 = 11*v - 548. Are v and 120 non-equal?
False
Let r = 0.2 + 2.2. Let t = -0.1 - r. Let h = t - -2.4. Which is greater: h or 3/2?
3/2
Suppose 3*w - 4*p - 14 = 0, -2*w + 2*p = 6*p + 24. Let x(z) = z**2 - 3*z - 9. Let u be x(w). Suppose 4*a = 2*a + 6.