). Let n(s) = -3*s**2 + 69*s + 6. Let p be n(23). Are p and m equal?
False
Let k = -70.31 - -70. Let s = 27.4 - 27.59. Let n = s + k. Is -1 > n?
False
Let b(p) = -10*p - 15. Let s be b(0). Which is smaller: s or 1?
s
Let b be 19987/(-20) + 2 - 3. Let z = b - -1000. Let q = z + -9/10. Is 2 <= q?
False
Let w = -144 - -142. Let p = -0.7 - 2.3. Let z = 3 + p. Are w and z nonequal?
True
Let a(l) = 481 - 481 + l + 24*l**2. Let k be a(1). Is k equal to 26?
False
Let n = -224 - -316. Suppose 2*b + b + 244 = -4*w, -b - n = 4*w. Which is smaller: b or -75?
b
Let d be (-2)/(-3) - (-1 + (-66)/(-18)). Let j(f) = -f**2 + 2*f + 3. Let g be j(3). Suppose 5*y + 11 + 4 = g. Is d at most as big as y?
False
Let g = 0 - 1. Let y = g + 1.2. Let i = y + -0.2. Which is smaller: i or -2?
-2
Let l be (14/21)/((-1)/((-63)/6)). Let r be (5/20)/(3/(-12))*l. Is r bigger than -2/7?
False
Let y = -4 + 48. Let g = -45 + y. Which is bigger: g or -13?
g
Let p(j) = -5*j**2 + 11*j - 3. Let w be p(3). Is w at least -17?
True
Let f be (8 + -6)/(2/10). Let v be 4 - (-4 - (-75)/f). Do v and 1/6 have different values?
True
Let j be (1 + -2 + 2)/1. Let a = 537/638 + -17/22. Which is smaller: j or a?
a
Suppose 2*b = 2*t + 10, 5*t + 5*b - 9 = 6. Let n be (1 + t - 1)/(-1). Let f be ((-2)/(-5))/(18/(-10)). Is f at most as big as n?
True
Suppose 0 = 2*p + 2*x + 2*x + 372, -608 = 3*p - 4*x. Is p < 1?
True
Suppose 25 + 31 = -2*d. Let l be (30/(-16))/(63/d). Do 0 and l have the same value?
False
Suppose 2*x - m = 0, 4*x + 3*m = 2*x - 8. Which is greater: x or 1/13?
1/13
Let y(h) = -3*h + 21. Let t be y(7). Suppose 16 + t = -8*f. Which is bigger: -4/3 or f?
-4/3
Let y(m) = -m**3 - 8*m**2 + 9*m + 76. Let v be y(-5). Is v at least -44?
True
Let k = -59 + 106. Is 49 smaller than k?
False
Let y = 51 - -62. Let v = -103 + y. Which is greater: v or 11?
11
Let x(r) = r + 13. Let h be x(-10). Let m be (h/2)/(14/168). Is 18 greater than or equal to m?
True
Let q = 146.6 + -142.708. Let j = -0.012 + q. Let t = 0.12 + j. Is -2 greater than or equal to t?
False
Let d = -2 - -6. Suppose 2*h = -5*t + 51, -2*t - 27 = -d*t - 3*h. Suppose 3*u - y - 4 = t, 17 = 3*u + y. Which is greater: -2 or u?
u
Suppose -4*z + 2*g - 264 = 0, -3*g - 248 = 4*z - g. Are -63 and z equal?
False
Let y(q) = q**2 - 44*q - 477. Let n be y(-9). Which is smaller: n or 29/20?
n
Let y be -7 - -7 - 2/818. Are 0 and y equal?
False
Suppose -3*o - 187 = -3*c + 77, o = 3*c - 98. Is -84 equal to o?
False
Let t = -29.15 + 28.77. Is t equal to 1/26?
False
Suppose 5*y = -4*t + 251, -5*y = -3*t - t - 259. Let q = -67 + y. Which is bigger: q or -15?
-15
Let t(i) = i**3 + 9*i**2 - 10*i + 9. Let c be t(-10). Suppose -113 = -13*p - 35. Which is bigger: c or p?
c
Let x be (-308)/(-20) + -11 + (-2)/(-3). Is x > 6?
False
Let l(d) = -d**3 - 5*d**2 + 5*d + 4. Suppose 0 = -3*a + 9, 0*a = -2*o + 4*a - 24. Let c be l(o). Let s = 1 + 8. Is c greater than or equal to s?
True
Suppose -13*w + 14*w = 4*d - 5, -2*d - 3*w = -13. Is d at least as big as 10/7?
True
Let s(h) = h**2 - 18*h + 76. Let v be s(18). Are v and 78 equal?
False
Let z = -1990/201 + 38/67. Which is smaller: z or -1/5?
z
Let b = 20 + -17. Let c be ((-46)/11 - -4)*b. Is c smaller than 0.2?
True
Suppose 4*s - 10 = -s. Suppose -s*o - 48 = -42. Suppose 3*q + q - 4*l = 20, -3*l - 15 = -5*q. Is o smaller than q?
True
Let g = -564 + 3958/7. Let z = 87/56 - g. Let s(x) = 2*x**2 + 14*x. Let q be s(-7). Is q smaller than z?
True
Let b = 23 - 13. Suppose f + f = b. Suppose 4*m = f*y + 58, 3*y - m - 18 = 5*y. Is y at least -10?
True
Let p = 77 - 76. Let k be p/(-4)*6 + 834/564. Which is smaller: 0.1 or k?
k
Suppose f = 5, 0 = -7*a + 2*a + 2*f. Let x be (-1)/(-1)*(-1 - (a + -2)). Let d be (-2 - -3)/(10/(-1)). Is d < x?
False
Let k = -255.925 - -256. Is k != -2?
True
Suppose -k + 2*i + 5 = 0, i = 5*k - 5 + 7. Let r(m) = 5*m - 2. Let h be r(k). Let a = -1.98 + -0.02. Is a greater than or equal to h?
True
Let g = 34 - 29. Let j be (18/(-24))/((-1)/4). Suppose -4*i - m = -g*m, -j*m = -i + 4. Is -2 less than i?
False
Let u = 83499/8 + -10399. Which is smaller: 39 or u?
u
Let w(z) = 2*z**2 + 18*z - 95. Let v be w(4). Which is smaller: v or 15?
v
Let l = 18 - 21. Let f = 3 + l. Which is bigger: 2/15 or f?
2/15
Let l = 1145 + 173. Is 1319 equal to l?
False
Suppose -3*w = 6 - 42. Let h(q) = -q + 19. Let v be h(w). Which is bigger: 8 or v?
8
Let v = 2837/885 - 1/177. Let j = -191/55 + v. Is j > 0?
False
Let l(v) = 0*v + 7 - 2*v + v - 1 - v**2. Let f be l(2). Suppose -q - 3*q - 100 = f. Is -25 less than or equal to q?
True
Let d(f) = f**3 + 14*f**2 - 15*f. Let s be d(-15). Let t be 4/(-6) + 4/(-12). Let i be (-13)/4 + t/(-4). Which is smaller: i or s?
i
Let k = 19 - -5. Let d(a) = a**3 - 25*a**2 + 23*a + 1. Let f be d(k). Which is smaller: f or -45/2?
f
Let u be 10/(-1)*5/(-2 + 232). Which is smaller: -1 or u?
-1
Let k = 45 - 59. Which is bigger: k or -11?
-11
Let v be 156/252 + -1 + (-4)/14. Which is smaller: -9.52 or v?
-9.52
Let h = -311/3444 - -2/287. Suppose 3*m + q = 2*q + 5, 0 = -4*m + 3*q + 10. Which is smaller: m or h?
h
Let a = 187/9 + -21. Let s = -5.109 - -4.509. Which is greater: s or a?
a
Let o(w) = w**3 + 13 - 9*w**2 + 13*w**2 + 6*w**2 - 4*w + 15*w. Let q be o(-9). Is -1 equal to q?
False
Let y = 218 + -218. Which is smaller: y or -4/383?
-4/383
Let n = -513 - -502. Suppose o - 15 = 2*o. Let g be n/(-3) - (-10)/o. Which is smaller: 8 or g?
g
Let a = 71/315 - 23/105. Which is greater: a or -1?
a
Let z = 102 + -52. Suppose -z = 5*t - 15. Suppose b + 4*a + 38 = -4*b, 36 = -5*b - 3*a. Does b = t?
False
Suppose t + t + 5*u + 12 = 0, 2*t - u = -12. Let c be (-2)/(-3)*t/12. Let a = 10 - 11.1. Is a bigger than c?
False
Let f = 3.4 - 3.2. Let k be (-18)/27 - (-2)/(-6). Which is greater: k or f?
f
Suppose -37*v = -36*v + 5*h - 37, 2*v - 5*h = 149. Let c = 18 - -46. Which is bigger: c or v?
c
Suppose 4*j + 16 = 4*q, -4*q - j = -7 - 14. Suppose q*v - 2*m = -0 - 7, 3*v + 5 = 2*m. Let l(h) = h**3 - h - 1. Let n be l(v). Are -1 and n equal?
True
Let l = -26.96 - -1.96. Is -0.11 bigger than l?
True
Let z = -7.92 + 7.7. Which is greater: -6 or z?
z
Let a = 6830 + -6845.074. Let m = a - -0.074. Which is smaller: -1 or m?
m
Let q = -0.0691 - -14.0691. Let m = 0 + 2. Is m < q?
True
Suppose 5*s = -3*c - 72, -4*c - 61 = -9*s + 4*s. Let l be -6*(70/12)/(-7). Is c at least as big as l?
False
Suppose 4*a + 342 = 26. Let d = -79 - a. Which is greater: d or -3/8?
d
Let a = 311/4 + -10891/140. Which is smaller: a or 2?
a
Let g be (-14)/4*(525/(-49) + 7). Which is smaller: 72 or g?
g
Let y = 627 + -325. Is y != -1?
True
Let u(z) = z**2 + 10*z + 10. Let d = -8 - 1. Let n be u(d). Which is smaller: 11/6 or n?
n
Suppose 5*y = y + 16. Let x be y - (-6 + 4 + -3). Is x at least 9?
True
Let r = 29 - 25. Let y be 9/(-6)*(-6 + r). Let b be ((-7)/70)/(y/(-12)). Which is bigger: b or -10/3?
b
Let a = -1277 + 1277. Is a >= -3/43?
True
Let q = -481663/591 - -815. Let a = q - -4718/2955. Let r = 4 - 3. Is a equal to r?
False
Let c be (-2)/10 + (-88)/10. Let p be 0 + c + (-1 - -4). Which is bigger: p or -4?
-4
Let i be (-1*2)/(11/((-132)/(-61356))). Is 1 at least i?
True
Let c = 26 - 58. Let y = -2027 + 1994. Which is greater: c or y?
c
Let i = 25 - 2. Which is smaller: i or 2/3?
2/3
Let h = 88 - 154. Let x be ((-1)/(-3) + h/36)/6. Let z be 2 + 2/(-2*1). Which is smaller: z or x?
x
Suppose -2*y - 2*r + 238 = 0, 4*r = 3*y + r - 381. Let q be y/38 - 3/12 - 3. Which is smaller: q or -1?
-1
Let x be 1/25*(62/(-4) + 15). Suppose -7*g = -3*g. Is x smaller than g?
True
Let n(y) = y**3 - y**2 - 20*y + 40. Let m be n(5). Which is greater: 43 or m?
43
Let r = 1849 + -1862. Is -44 at most r?
True
Let r = -30.9 - -8.1. Let f = -22 - r. Which is smaller: f or -1?
-1
Let y be 443/1001 + (-135)/315. Which is smaller: 0 or y?
0
Let t = -5.4976 + 0.0976. Is t less than or equal to 1?
True
Let x(p) = -3*p**2 + 3*p + 12. Let q be x(-4). Let w(r) = r**2 - 18*r + 23. Let t be w(12). Are q and t non-equal?
True
Let b be (-1 - 7/2)*8. Let y be ((-3)/(-210))/(b/1545). Let h = -3/56 + y. Is h smaller than -2?
False
Suppose 0 = -96*y + 108*y + 36. Which is smaller: -2 or y?
y
Suppose -4*c + 36 = 5*f, 25*c + 12 = 5*f + 23*c. Is f greater than -14?
True
Let x(p) = p**2 + 1