ller: b or 17?
b
Let q = 508 - 729. Let f = -2868/13 - q. Is 1 equal to f?
False
Let p(j) = -26*j - 156. Let g be p(-7). Suppose -2162 = -21*u - g*u. Suppose -y - 4*y + 2*q = -3, -8 = 4*y + q. Which is smaller: u or y?
y
Suppose 5*r - 4*y + 17 = 0, 4*r + 25*y + 1 = 24*y. Which is smaller: r or 15/287?
r
Suppose 0 = -o + 3*j - 406, -816 = -0*o + 2*o - 2*j. Let v = -459 - o. Which is smaller: -53 or v?
-53
Let c = 26064 + -26066. Let q = 14.03 + -14. Is q at most c?
False
Suppose 15 = 5*y - 3*v - 33, 2*y + 4*v = 40. Let i be (y/(-8))/((-9)/606). Suppose i*s + 16 = 105*s. Is s greater than or equal to 3?
True
Let t(p) = 2*p**2 - 11*p + 43. Let k be t(11). Suppose -3*m + k = -100. Is m not equal to 87?
True
Let h = 2 + -3. Let x(y) = 2*y**2 + 4*y + 14. Let i(f) = 6*f**2 + 11*f + 37. Let g(s) = -3*i(s) + 8*x(s). Let p be g(h). Which is smaller: p or -0.16?
-0.16
Let c(u) be the third derivative of -u**5/60 - 17*u**4/8 - 3*u**3 - 7*u**2. Let f(z) = 17*z + 6. Let w(x) = -3*c(x) - 8*f(x). Let v be w(-7). Is 35 != v?
True
Let w(f) = -2*f**3 - 2*f**2 + 4*f. Let m = -187 + 189. Let l be w(m). Is l smaller than -18?
False
Let z = -7/1223467750 + -20778151818719/171203512660750. Let m = 2/3413 - z. Which is bigger: -1 or m?
m
Let a = 13/5 + -791/185. Let q = 4365/2627 + a. Are -1 and q non-equal?
True
Let a = 0.67 - 0.07. Let g = -9.5 + 10. Let w = g - a. Which is bigger: w or -15?
w
Let u = 479 - 658. Let d = 632 + u. Is d at most as big as 0?
False
Let c be 28/(-14) - (-3 + -347). Let h be (-9 + 3126/c)/((-2)/(-8)). Let m = 7 - 11. Does h = m?
False
Suppose 0 = -370*x + 368*x + 4*d - 38, -9 = -d. Which is smaller: -2/122809 or x?
x
Suppose 4*k + 18*k - 132 = 0. Suppose -k*n - 246 = -240. Let d = -2227/957 + -2/319. Which is smaller: n or d?
d
Let y(g) = g**3 + 6*g**2 - 541*g - 15. Let k be y(21). Is k equal to 529?
False
Let i = -0.0032 + -22.5968. Let x = i - -23. Which is greater: 67 or x?
67
Let d = -4 - -4. Let l = d - 0.01. Let b = 2519.2 - 2519. Which is greater: b or l?
b
Suppose 3*v + 1 = -3*o + 10, -2*v - 3*o = -6. Let d be (4 + 44/(-12))/(v/(-9)). Does -16/15 = d?
False
Suppose 5*a - 81*i + 590 = -76*i, 3*a + 357 = 2*i. Let x = -299 + 178. Is a equal to x?
True
Suppose 57 = -9*k - 50 + 89. Let v(y) be the third derivative of -2*y**5/5 + y**4/12 + 5*y**3/3 - 2*y**2. Let a be v(k). Is a less than or equal to -90?
True
Let p(y) = 5*y**3 - 19*y**2 + 16*y + 26. Let t(o) = -o**3 + o**2 - 1. Let q(h) = -p(h) - 6*t(h). Let g be q(-14). Suppose g = n + 7. Is -5/12 less than n?
True
Suppose 27*f + 357 = -15*f + 357. Are f and 77/136 unequal?
True
Let q(m) = -m**2 + 9*m - 4. Let d = 66 - 59. Let z be q(d). Let j = -8 + z. Are 1 and j nonequal?
True
Let x = 106 - 69. Suppose -3*w = 7 - x. Let o be 3/15 - (-176)/20. Are w and o unequal?
True
Let d(g) = 4*g**2 + 14*g - 74. Let r be d(-16). Let f be (-7)/(-42)*4*(-9)/r. Do 1 and f have the same value?
False
Let t = 18 - 34. Let k = 17 + t. Suppose 0 = -3*y - 0*y + 6. Which is smaller: y or k?
k
Suppose -93*f = 132*f + 79 + 146. Which is smaller: -1/38873 or f?
f
Suppose 0 = -4*q - 8, g + 231 - 40 = -3*q. Let p = 77 + g. Let i = p - -132. Is 0.2 greater than i?
False
Let t = -347 + 367. Suppose -6 = -w + 5*y, t*y - 22*y = -w + 12. Which is smaller: 17 or w?
w
Suppose 13*f + 4938 = 8178 + 9149. Which is bigger: f or 952?
f
Let h = -95.22 - -95.62. Which is smaller: h or 171?
h
Let m be 8/(1 + 0 + 1). Suppose n - 30 = -m*n. Let q be 3 + 0 + (-16)/n. Which is smaller: q or 0.1?
0.1
Suppose 0 = -u - 0*i - 3*i - 6, 3*u - 2 = -5*i. Suppose -6*t + 22 = b - 2*t, 3*t = u. Let v be b/25 + (-654)/(-15). Is v greater than 44?
False
Let t = -346 - -421. Suppose -42*y = -39*y - t. Which is smaller: 4 or y?
4
Suppose -5*c = 3*g - 1, c = -0*c + 4*g - 9. Let d be 30/3 - 2 - c. Which is bigger: 75/8 or d?
75/8
Let z = 560 + -175841/314. Let k(i) = 7*i - 64. Let u be k(9). Which is smaller: z or u?
u
Let s be (5*652/400)/(-4). Let d = s + 21/10. Is 1 < d?
False
Let f = 35.89 - 35.354. Are f and -0.2 equal?
False
Let s = 0.1118 + -0.1148. Let w = -6938 - -6931.003. Let j = s + w. Is -0.2 < j?
False
Let p be 9 + (-2 - 5) + (-3262 - -2). Is -3258 less than p?
False
Suppose 61*z = 65*z - 8. Suppose z*t - 15 = 2*p + 59, -2*p + 185 = 5*t. Let s be 2 + -1 + -2 - -38. Does s = t?
True
Let y = 50 - 47. Suppose -4*s - 119 = 5*o, y*o - 2*s + 44 = o. Let p = o + 15. Which is smaller: -11 or p?
-11
Let c(b) = b**3 - 11*b**2 - 10*b - 20. Let u be c(9). Let h = u + 270. Let p = 9 - 13. Which is smaller: p or h?
p
Let l = 134 + -127. Let m be (-326)/(-84) - (2/l)/(-1). Which is smaller: m or 4?
4
Let i be 7/28*(-3 - 3 - (11 - 9)). Is i >= -61/84?
False
Suppose 3*g - 3*r - 1515 = 0, 57*g - 52*g = -10*r + 2630. Is 502 less than g?
True
Let y = -10829 + 10830. Which is smaller: -41 or y?
-41
Let w = 982/595 + -30/17. Suppose 3*u = v - 5, -v + 6 = -5*u + u. Suppose -3*t = v*t. Which is smaller: w or t?
w
Let x(r) = -r**2 + 2. Let a be x(0). Suppose -p - a + 1 = 0. Let k = 1/123 - -113/1230. Are p and k non-equal?
True
Let r be 0 + -11 + 57708/5520 - (-3)/5. Is 7 at most as big as r?
False
Let s = -151.7 + -22.3. Let i = s - -174. Which is greater: i or -2/331?
i
Let l(f) = f**2 + 14*f. Suppose -4*i + 50 = -3*q, q + i - 3 + 15 = 0. Let h be l(q). Let g = 58193/119 + -489. Which is smaller: g or h?
h
Let g = -6791.99 - -6792. Is g greater than 22/25?
False
Let q be (0 - -1)*12/(-8 + 2). Which is smaller: -115/59 or q?
q
Suppose -5*k + 4*k = 2*f + 2, 5*f - 25 = 5*k. Which is greater: -12/601 or f?
f
Let t = 239 + -240. Let u be (-3)/(-5)*t + (-77364)/(-315). Is u <= 246?
True
Let k = -285 - -579/2. Let d = -73/14 + k. Is d equal to 0?
False
Let v(i) = -i**3 + i**2 + 0*i**2 + 2 - 2*i - i**3. Let f(u) = u**3 + 3*u**2 + u + 1. Let k be f(0). Let a be v(k). Is a equal to -2/27?
False
Let v(c) = -c**3 + 63*c**2 - 60*c + 582. Let o be v(62). Which is smaller: -1 or o?
-1
Let l = -671 + 4079/6. Is l at least 8?
True
Suppose 692*k = 694*k - 4, 305 = -5*z + 5*k. Which is bigger: z or -57?
-57
Let a be (-1 - (-18926684)/4784) + 9/12. Let x = a - 3956. Is x at most as big as 1?
True
Suppose 125*a - 435 = 86*a + 735. Suppose 5*n + 166 - 6 = 0. Let k = a + n. Which is smaller: k or -14/25?
k
Let l = 30.5 + -31. Let s = 103.9 - 128.9. Which is smaller: s or l?
s
Let p = 44041 + -44108. Which is smaller: -70 or p?
-70
Let t = 22916/3 - 7639. Is 5300 >= t?
True
Let v = 1787 + -1585. Which is smaller: 403/2 or v?
403/2
Let q(x) = -110*x**2 + 233*x**2 + 4*x - 98*x**2. Let a be q(-3). Is a bigger than 212?
True
Let m be (15*(-77)/(-140))/(2/(-24)). Let s be (-438)/(-4)*(-66)/m. Is 73 <= s?
True
Suppose -5*i - 6 = 2*b, 5*b + 6 = -2*i + 12. Suppose 0 = 4*c + f - 2088 + 177, 2*f - 948 = -b*c. Do c and 1/2 have the same value?
False
Let y = 101.343 + -102. Let m = y + 1.157. Which is smaller: -40 or m?
-40
Let p = -5129 + 5024. Which is bigger: p or -946/9?
p
Let z = -2132 - -2124.0404. Let p = z + -0.0404. Is p greater than -3.4?
False
Suppose 18 = -v - 2*z, -43 = 6*v - 11*v + 9*z. Which is greater: -228/43 or v?
v
Suppose 13*m + 256*m = -88146 - 29945. Are m and -17 unequal?
True
Suppose 334*v - 16419921 = -267*v. Which is bigger: v or 27320?
v
Let i(d) = -11*d**2 + 13*d + 23. Let u be i(-2). Is u less than -46?
True
Suppose 0*f + 63 = 7*f. Suppose -f = 4*l - j, 4*l + j + 1 - 2 = 0. Let y be -2 - l/2*6. Is y less than or equal to 3?
True
Let g be 3535/(-1) - (103 - 114). Is g bigger than -0.1?
False
Suppose -7*c = -9272 - 11833. Let o be 3*-1 + 0 + 9179/c. Is o greater than or equal to -3/2?
True
Let q = -8.14 + -4.16. Let z = q - -12.4. Which is greater: z or -161?
z
Let i be 5490/35*168/(-108)*3. Are -0.1 and i unequal?
True
Suppose -3901*r - 768 = -3907*r. Is r less than 128?
False
Let w = 20 - 10. Let s be (88/5 - (1 + -2)) + (-1020)/(152 + -50). Which is smaller: w or s?
s
Let y = 122 - 124. Let l(g) be the third derivative of g**6/120 - g**5/15 - 5*g**4/24 - 2*g**3/3 + 3*g**2. Let k be l(5). Which is greater: y or k?
y
Let l be (0 + 0 + -1)/(-1). Let y = -734 - -354. Let m = -15578/41 - y. Is m > l?
False
Suppose 47*p = 33*p + 37*p + 23. Is p at least as big as -1/4761?
False
Suppose 0 = -a + 2*g + 7, -3*a + 5*g = -2*a - 16. Let r be 2 + (-33)/9 + a. Is r at le