3*s - 24. Let g = -7 + 7. Is g > s?
True
Suppose 51*w = 8*w - 12341. Is w greater than 4?
False
Let u = 1.037 - 1.08. Let m = -0.007 + u. Let f be 6/(-9)*6/(-14). Which is smaller: m or f?
m
Let p(l) = -10*l - 7. Let h be p(-2). Suppose -3*t + h = -5*k, -5*t - 5 = 4*k - 2*t. Let g(r) = r**2 - 2*r + 1. Let f be g(2). Which is smaller: f or k?
k
Let l(w) be the first derivative of -w**4/4 - 4*w**3 - 9*w**2/2 + 16*w - 3. Let s be l(-11). Which is smaller: -5 or s?
s
Let i be (3 - 2) + 1 - 2. Suppose 2 = 4*y - m - 5, 4*y - 16 = 4*m. Let l be 112/(-960) + y/4. Is l at least i?
True
Suppose g - 2 = 11. Suppose g*n = 8*n + 50. Let u be (-12)/n*6/(-18). Which is greater: u or 0.1?
u
Let c be 30/(-12)*42/(-35). Which is bigger: 9/5 or c?
c
Let y(r) = -r**2 + 15*r - 5. Let s be y(4). Is 9 < s?
True
Let f = -282/7 + 40. Let l = 23 + -24. Let d = -0.94 - l. Which is smaller: f or d?
f
Let j = -595/3 - 838/15. Let d = -253 - j. Which is bigger: d or 0?
d
Let h = -1557 - -1595. Which is greater: 34 or h?
h
Suppose -5 = 3*l - 2*s, 0*s = -3*l - 5*s - 40. Let c = -5555/1172 + -3/293. Which is bigger: c or l?
c
Let k(r) = r**3 + 9*r**2 + r + 7. Let z be k(-9). Let c(b) = -b**3 - b**2 - 2*b - 6. Let w be c(0). Let n be w/(3 - 1) - z. Is n bigger than 1?
False
Let d = 3950 - 75026/19. Which is smaller: d or 1?
1
Let u(g) = -76*g**3 - g. Let p be u(1). Let w be (-4)/8 + p/2. Let s be (-77)/w + -2*1. Which is smaller: 1 or s?
s
Let m = 0.7 - 0.88. Let y = m - -0.34. Let s = -0.06 + y. Which is smaller: -0.2 or s?
-0.2
Let u = -89.94 + 90. Is u at least 0.3?
False
Suppose -3*p + 0*p - 5*a - 14 = 0, 5*p - 4*a + 85 = 0. Suppose i + 19 = 2*y, 0 = 4*i + 3*y + 9 + 78. Let w = i - p. Does -8 = w?
True
Let m(i) = i**3 + 52*i**2 + 150*i + 148. Let u be m(-49). Which is smaller: u or -6/371?
-6/371
Let u(w) = -90*w + 583. Let a be u(7). Are a and -37 nonequal?
True
Suppose -z = 3*d + 2, 4*d + 2 = 5*d + 3*z. Let v be (-1)/(-2) - (-834)/(-12). Let q be v/(-24) - 0 - 3. Which is bigger: d or q?
q
Let o(f) = f**2 - 10*f + 9. Let c be o(9). Let y(m) = -2*m + 36. Let s be y(c). Suppose 3*d + 0*d - s = 0. Is d <= 12?
True
Let i(z) = -7*z - 43. Let h be i(-29). Suppose -15 = -7*d + h. Which is bigger: d or 26?
26
Let c be 319/5082 + (-9)/(-11) + -1. Which is smaller: 1/3 or c?
c
Let b = 34 - 35. Let a = -0.6 + 0. Let d = 0.4 + a. Is b smaller than d?
True
Let b be 2*228/(-612)*1. Which is bigger: b or -1?
b
Let h be 12/(-18) + (-4)/(-3). Let c = -6 + 6.06. Let q = -0.06 + c. Which is smaller: q or h?
q
Let l(b) = 9*b + 360. Let c be l(-40). Is -6/1009 <= c?
True
Let z = -22 + -10. Is z <= -30?
True
Let d = 158.5 - 134.5. Which is smaller: -2/11 or d?
-2/11
Let c = 50 - -100. Is 149 >= c?
False
Let f(j) = -4*j - 60. Let n be f(-16). Let a = -1560/11 - -11272/77. Is a < n?
False
Let v = -127233/10 - -12724. Let m(r) = r**2 - 5*r - 5. Let w be m(6). Does v = w?
False
Let u(l) = l**3 - 5*l**2 - 4*l - 8. Let j be u(6). Suppose 0 = -2*q + 24 - j. Let s(w) = -w + 10. Let t be s(q). Is t equal to -3?
False
Let t be 10/(-25) + 12/15*-37. Is t at least -280/9?
True
Let q be (-20)/9*((-464)/(-120) - 4). Let r = q + -523/1674. Which is bigger: r or 1?
1
Let y = -1 + 2. Suppose 13 = -r + 3*d, 4*d = -1 + 21. Which is smaller: r or y?
y
Let z = 3949 + -4115.1. Let g = z + 166. Which is smaller: -30 or g?
-30
Let c(h) be the first derivative of -15*h**4/4 - h**3 + 2*h**2 - 2*h + 13. Let f be c(1). Which is smaller: -14 or f?
f
Suppose -x - 4 = 0, 4*x = 7*q - 2*q - 66. Suppose -2*v - 6 = 0, 0*r - 4*v - q = -r. Does r = 5?
False
Let h(j) = -2*j**3 - j - 20. Let d be h(0). Let g = -17 - d. Which is greater: g or -2?
g
Let k(c) = -30*c - 12. Let t be k(3). Let v = 115 + t. Is v < 11?
False
Let a be (-1)/3*(-5 + -1). Let m be (0 - a) + (-7)/7. Let o be m*2/(-3) - 1. Do -3/7 and o have the same value?
False
Let a be 95/35 - 2/(-7). Let j be (a + -4)/1 - 1. Let o be (6 + -3)/204*j. Which is smaller: o or 0?
o
Let x(f) be the first derivative of 51*f**4/4 + f**3 - f + 24. Let w be x(1). Is w > 53?
False
Let v = -157/65 + 21/13. Let z = -15 + 15. Suppose -3*x - 3 = -3*f, z = -2*x - x - 3*f + 9. Which is smaller: x or v?
v
Let j = 884.183 + -884. Which is smaller: j or 3?
j
Let y = 989 - 1038. Which is bigger: y or -0.6?
-0.6
Suppose -119 = 7*r + 49. Let d be ((-3)/(-2))/((-36)/r) - 4. Which is smaller: 3.1 or d?
d
Let v = -3570 + 346287/97. Which is bigger: v or -1?
v
Suppose -4*g = 4*o + 24 - 0, 4*o = -g. Let l be 99/(-6)*g/6. Which is greater: 21 or l?
l
Let i = -103 + 201. Let q = -167 + i. Which is smaller: q or 0?
q
Let b be 8 - 7 - (-6932)/(-10). Let l = b + 689. Do l and -3 have different values?
True
Let y be (12 - 6)/(56/(-12) + 8). Suppose 0*c - 9 = -3*c. Which is greater: y or c?
c
Suppose 17*t + 304 = 15. Is -22 != t?
True
Let y(w) be the third derivative of -w**6/120 - 7*w**5/60 + w**4/12 + 13*w**3/3 - 17*w**2 - 3. Let f be y(-7). Which is greater: f or 10?
f
Let n = 0.3 - 0.24. Let i = -199 - -399/2. Which is bigger: i or n?
i
Let i be (-30)/(-25)*1/2. Let n = -1.14 - -0.14. Which is greater: i or n?
i
Suppose 10*n + 5*n = -45. Suppose 4*a = -3*r - 15, 3*a - 4*r - r + 33 = 0. Let p be (2/n)/((-1)/a). Which is smaller: -2 or p?
p
Let t = -16 + 12. Let q be (-10)/t + (-1)/(-2). Suppose w - 5 + q = 0. Is w less than or equal to 1?
False
Let u(v) = v**3 + 17*v**2 + 22*v + 99. Let x be u(-16). Which is smaller: x or 19?
x
Suppose 3*i + 3*p = -105, -31*p = 3*i - 27*p + 106. Is -32 smaller than i?
False
Let d = 411 + -2057/5. Does d = 101?
False
Let b = -0.105 - 0.895. Which is smaller: b or -0.028?
b
Let u = -14.07 + 14. Let c = -0.162 - -18.962. Let h = c - 19. Do h and u have different values?
True
Let m = -834 + 834. Let x = -102 - -70. Is m greater than x?
True
Suppose 0 = b - 0*p + p + 51, -p - 2 = 0. Is -2 at least as big as b?
True
Let w be (-410)/(-8)*(-18 - (-3552)/200). Is w equal to -13?
False
Let y = 41 + -36. Suppose -17 + 2 = y*t - 5*m, 11 = -3*t + 4*m. Which is greater: -2/37 or t?
-2/37
Suppose q - 5*s = 5*q - 36, 0 = -3*q + s + 8. Suppose -q*g + 2*g = 0. Is g less than or equal to 0?
True
Suppose -6*d = -9*d - 9, d - 2 = 5*s. Is 15/104 > s?
True
Let t = -33/2 + 37/4. Let i be 1 + 15/(-2) + 15/(-30). Which is smaller: i or t?
t
Let t = -5 + -1. Let l be 4/t + (-8)/(-21). Is -2 at least as big as l?
False
Let s = -527/3 - -1058/9. Is -59 bigger than s?
False
Let g = 4909/41811 + -2/3801. Which is bigger: g or -1?
g
Let g be 6/(-10) + 2 - 1. Let m(w) = 22*w - 24. Let d be m(-4). Let v = 113 + d. Which is greater: g or v?
v
Let d = 2655 + -2755. Which is smaller: -103 or d?
-103
Let u(d) = d**2 + 4*d - 7. Let l be u(-5). Let p be ((-8)/32)/((-1)/l). Let f = -7066/37 - -191. Is f != p?
True
Let a = 0.1176 - 0.1476. Does a = -21/19?
False
Let d(u) = 4*u - 5. Suppose 12*w = 13*w - 5. Let f be d(w). Which is smaller: 16 or f?
f
Let n be ((-1)/(-2))/((-8)/(-64)). Suppose n*s + 4 = 2*l, -l + 4*l + 44 = -4*s. Do l and -9 have different values?
True
Suppose -37*a + 2 = -36*a. Let y be 4 - (0 - (-8 + a)). Is y not equal to -1?
True
Let d be 4/(-14)*(8 - (-60)/(-8)). Is 6/11 less than d?
False
Let v = 270.98 + -271. Which is greater: 19 or v?
19
Let i = -3 - -4. Let x = 330 - 1644/5. Does x = i?
False
Let b be (-5 + (-1839)/(-369))*-30. Which is smaller: 0 or b?
0
Suppose 0 = -0*w - 4*w - 64. Let o be (-4)/(16/(-6))*1070/15. Suppose -16*g = 379 - o. Is g smaller than w?
True
Let n be (-2)/(-4)*(-8 + 8). Let p = n + 5. Do 4 and p have different values?
True
Let k(w) = w**2 + 3*w + 1. Let l be k(-2). Suppose 10*h = 33 + 7. Which is smaller: l or h?
l
Let t be (-3)/(-15)*-5 + (-110)/(-38). Which is smaller: 3 or t?
t
Let d be 5 + 2 + (-2 - -2). Suppose -d*c + 25 = -2*c. Suppose -2*o - 3 = 7, o = -2*r - c. Which is smaller: r or 2/35?
r
Let o = 0.036 - 0.035. Let f = o + -0.001. Which is smaller: 10 or f?
f
Let g = 9 + -7. Suppose -5 = -3*l - g. Let r be 0 + (-13)/(-7) - 2. Is l at most r?
False
Let b = -0.08 + -1.32. Let c = 4.6 - b. Let r = 0.9 - -0.1. Is r less than or equal to c?
True
Let x be (18/(-21))/(6/(-21)). Suppose 25 = -3*u + i, -x*i + 5 = -2*u - 21. Let b be 2 + u + 0 - -3. Which is smaller: b or -1?
b
Let g = 50 - 35. Suppose d + 6 = 2*s, -5 + g = 3*d + s. Let f be -4 + d - 18/(-8