 11*f**2 + 13*f - 6. Let z be m(j). Let k be 17/(-12) + z/8. Are k and -6 equal?
False
Let x = -9/1294 + 8373/645706. Which is smaller: x or -1?
-1
Let o be ((-27644)/(-90))/(10/(-15)). Let w = o + 461. Is w > 1?
False
Suppose 4*q + 5 = -4*u + 1, 4*u - q = 1. Let z = -0.46 - 0.2. Let c = z - -0.36. Is c bigger than u?
False
Let l(b) = -5*b + 3. Let u be l(2). Suppose 0*m + 5*m + 3*y + 44 = 0, -m - 4 = -y. Let p(o) = o**3 + 7*o**2 + 2*o + 6. Let s be p(m). Which is greater: s or u?
u
Let s = 125 + -119. Let p be (-2)/(-5)*-1*5. Which is greater: s or p?
s
Suppose 444 = -2*x - 2*y - 2*y, -x - 226 = -2*y. Let a = 3811/17 + x. Is 0 greater than or equal to a?
False
Let y(i) = -i**3 - 4*i**2 + i + 1. Let x be y(-4). Let g be x - (-1 + -2) - 13. Let z = 14 + g. Is z not equal to -3/7?
True
Let k(f) = 2*f + 6. Let m be k(4). Let z(v) = -v**2 + 6*v + 7. Let q be z(5). Is q equal to m?
False
Let x be (2/(-12))/(-5 + (-9532)/(-1908)). Which is smaller: x or 41?
x
Let c = -703 + 652. Is -16 at most c?
False
Let a = 14.6 - 16.5. Let z(w) = -w**2 - w + 2. Let v be z(0). Suppose 0 + 2 = v*r. Is r less than a?
False
Suppose -2*z + 1 = 11. Let d be 16/(-88) + (-223)/44. Which is smaller: z or d?
d
Let y(w) = -w**2 + 8*w + 9. Let d(j) = 2*j**2 + 4*j + 4. Let s be d(-3). Let o be ((-12)/s)/((-18)/135). Let a be y(o). Is 2/11 bigger than a?
True
Suppose -3*s - 5*j = -3*j + 23, -s - j - 9 = 0. Let g be (-42)/35*s/2. Suppose 6 = 3*k, -5*k + 0 + 22 = 3*o. Which is bigger: o or g?
o
Let j be (0 + 0)/((-9)/(-9)). Suppose -8*v + 13*v - 35 = j. Let x = -33 + 42. Is v smaller than x?
True
Let s(a) = -5*a - 8. Let w be s(-37). Which is greater: w or 175?
w
Let j be (-5)/(-2) + -2 - (-4455)/12. Let s = j - 370. Which is bigger: 3 or s?
3
Suppose -3 = -i + h, -4*i - 4*h + 24 - 36 = 0. Let y = 57/143 - 14/33. Do i and y have the same value?
False
Let s be (3/6)/((-19572)/126). Which is greater: 0 or s?
0
Let n(r) = -4*r**3 + 11*r**2 - 14*r + 75. Let a be n(6). Is -953/2 at least as big as a?
True
Let i(p) = 2*p + 59. Let g be i(-17). Does g = 31?
False
Suppose -9 = -2*x - 1. Suppose 2*g = -x*g. Suppose g = 2*y - 4*y. Which is bigger: -3 or y?
y
Suppose 2*o - 11*j - 319 = -14*j, -5*j + 142 = o. Which is smaller: o or 0.1?
0.1
Let n be (-2)/(-5) - 265/475*1. Let s(t) = -t**3 - 7*t**2 - 6*t - 4. Let u be s(-6). Let k = u - -4. Is n at least k?
False
Let p = 1374 + -1141. Which is bigger: p or 232?
p
Let r = 1253 - 1248. Let p be 4/14 + (-85)/(-21). Is p < r?
True
Let w = 70.7 - 1.7. Let o = w - 68. Is 12 greater than o?
True
Let q = 0.01 + -2.01. Suppose 7*y - 4*u = 2*y - 4, 3*y + 5*u = 5. Which is greater: q or y?
y
Let n = -6 - -1. Suppose -4*l - 58 = 5*u, 4*u - l + 3*l = -44. Let s be 2/u + (-16)/n. Is s at least 3?
True
Let h(u) = u**3 + 17*u**2 - 5*u - 86. Let a be h(-17). Let z(b) = b + 6. Let s be z(-6). Is s < a?
False
Suppose 4*i = 197 + 43. Let s be i/(-18) + 0 + 3. Let f be (-2)/4 - (-2)/4. Is s smaller than f?
True
Let f = -42 + 47.84. Let t = 0.16 + f. Let s = -109.73 - -107.73. Is s at least t?
False
Suppose -x - 2*p + 3 + 1 = 0, 5*x - 11 = -p. Let g(d) = -d + d + 2*d + x. Let h be g(1). Is 3 greater than h?
False
Suppose 0 = -g + 2 - 1. Let o = 5 - g. Is 3 at most as big as o?
True
Let z be ((-18)/4)/((-2)/(-4)). Let t = 13273/5 - 2665. Which is greater: t or z?
z
Suppose 74159 + 1032044 = -4*k + n, 0 = -2*k + 5*n - 553079. Let b = k + 120299908/435. Let y = -18/29 - b. Is 0 >= y?
True
Let b = -100.1 - -100. Let m = -3.02 - -0.02. Which is greater: m or b?
b
Let g be 7*((-96)/7)/(-4). Suppose -k + 3*k = -4*s + g, 2*k = -s + 12. Let d = -4 + 7. Which is bigger: d or k?
k
Let j = 9.5 + -11. Let x = j - -1.72. Is x smaller than -0.1?
False
Let j be (-148)/180 - 4/(-18). Let u = 1077 + -1128.3. Let y = u - -51. Is j <= y?
True
Let p be (-80)/(-280) + 752/14. Which is smaller: p or 51?
51
Suppose 16*i = 12*i + 4. Which is smaller: i or -78?
-78
Let b(k) = k**3 - 8*k**2 + 5*k + 12. Let a be b(7). Which is smaller: -54/31 or a?
a
Let s = 0.408 - 0.508. Let m be ((-2)/24)/(4/(-6)). Which is bigger: s or m?
m
Let a be -1*25*5/20. Let h be 183/(-27) - 1/((-18)/(-4)). Let o = a - h. Do o and 0 have the same value?
False
Let c(k) = -8*k**3 + k**2 - 1. Let t be c(-1). Let u be 1/((-52)/t) - 187. Let r = u - -187. Is r smaller than 1/2?
True
Suppose 11*i = -13*i + 17*i. Which is smaller: i or -9?
-9
Let v = -34847 - -3449546/99. Let p = 28/11 + v. Which is greater: p or 0?
0
Let g = 306 - 308. Let f be (-2)/7*(-70)/(-9). Is g at least f?
True
Let p be 428/(-144) + 4/18. Let s = 19 - 19.1. Is s less than p?
False
Let o = -6/25 - 113/50. Let q = 1/30 - -13/60. Which is smaller: o or q?
o
Let a = 41 + -35. Let b be (-3 + a + -2)*1. Do -9/4 and b have the same value?
False
Let w = 4.92 + 0.08. Let o(m) = -8*m - 21. Let r be o(-3). Suppose -h - h = r*h. Which is smaller: w or h?
h
Let u(i) be the second derivative of i**5/20 + i**4/3 - 2*i**3/3 + 7*i**2/2 + 6*i. Let j be u(-5). Which is smaller: j or -0.12?
-0.12
Let h(p) = p**3 + 8*p**2 - 12*p - 18. Let c be 10/55 - (-404)/(-44). Let k be h(c). Is k equal to 10?
False
Let f = 127072/97 - 1310. Which is smaller: f or 0?
0
Suppose -q - c = -11, 6*q - 5*c - 25 = q. Which is greater: 5 or q?
q
Let t = -25403/1002366 + 6/239. Let x = -123721/8388 + t. Is x greater than -15?
True
Suppose -3*i + 69 = 4*l - 13, -126 = -5*i - 4*l. Suppose 4*w - 106 = -y - y, 4*y = w - i. Which is bigger: w or 25?
w
Let t = -657 - -668.96. Let c = 0.04 + t. Let s = c + -11. Which is smaller: s or 10?
s
Let a = -0.2 + 0.1. Let f = 0.2 + -2.1. Let g = f - -6.9. Which is bigger: g or a?
g
Suppose 4*j + 8 = b + 21, -5*j + 17 = -b. Suppose -7 - 1 = -b*w - i, w + 5*i - 26 = 0. Is -7 bigger than w?
False
Let t be (-3 - -2 - 3) + 0. Let f be (t + 3)/((-651)/(-333)). Let m = -7/31 - f. Is 1 bigger than m?
True
Let q = 92 - 277/3. Suppose 0 = j - 6*j. Suppose -p = -5*p - 2*f, 4*p + 5*f = j. Which is smaller: q or p?
q
Suppose g - 2*g = 0. Suppose -2*j - 10 = g, 2*t + 0*t + j + 25 = 0. Let f be t/(-5)*6/(-33). Is f greater than or equal to 0?
False
Let x(g) = -15*g + 30. Let s be x(2). Which is smaller: 21/38 or s?
s
Let q = 0.96 - -44.04. Let u = q - 46. Which is bigger: u or 2/103?
2/103
Let r be (2/(-2))/(2 - 11). Let l be (-2 + -5)*4/(-14). Suppose l*a = -4*y - a + 6, -a + 2 = 3*y. Is r smaller than y?
False
Let a(n) = 3*n - 20. Let y be a(8). Suppose 7*o + y*k + 70 = 9*o, 3*o + 2*k - 97 = 0. Is o less than 32?
False
Let u be (-6)/(-4) - 3/6. Let c be 86/12 - 1 - 168/28. Is c not equal to u?
True
Let q(d) = -d**3 + 2*d**2 + 11*d - 12. Let t be q(4). Suppose t = 5*m + 3*u - 9, -u + 4 = m + 3. Which is bigger: m or 14?
14
Let v = 14 - -1. Suppose 5*q = -4*y - 45, -4*q - y - v = -2*q. Is 0.3 less than q?
False
Suppose 4*z + 5*v = -21 - 59, -5*v - 105 = 5*z. Which is smaller: -22 or z?
z
Suppose 44*o - 57*o - 2457 = 0. Is -189 bigger than o?
False
Let p = 1497 + -76351/51. Let m = p - 26/969. Which is bigger: m or 1?
1
Suppose 24*k - 16 = 22*k. Let p be 11*(1 - 0) - -1. Is k at most p?
True
Let o be (2 - 2)/(0 + 2). Let r = 36 - 19. Which is smaller: r or o?
o
Let l(w) = 46*w + 4. Let v be l(-8). Let q be (-4 + v/12)*-3. Which is smaller: 104 or q?
q
Let f = 43 - 43. Let n be -2 + 15*(-6)/9. Let j be (-10)/(-6)*n/44. Which is smaller: j or f?
j
Suppose -5*c = -5*n - 30, -5*c + 2*n + 20 = -n. Let h(s) be the third derivative of s**4/6 + s**3/6 - 17*s**2. Let f be h(c). Which is bigger: 4 or f?
f
Suppose 3*g - 3*a = -9, -a + 18 = 4*g + 10. Which is smaller: 2/4971 or g?
2/4971
Let p = -29840 - -746103/25. Which is greater: 3 or p?
p
Let i = 196 - 133. Let o = i - 66. Which is bigger: o or -1?
-1
Suppose 0 = 3*s + 3*h + 21, 7 = -5*s + 2*h - 56. Is -75/7 > s?
True
Let n be ((-4)/(-10))/((-9)/(-945)). Let j be n/6 - (-4)/(-1). Suppose -9 = 3*h + 5*l, 5*h + j = -5*l - 2. Is h equal to -0.2?
False
Let j = -389.7 + 386. Do j and 1/3 have different values?
True
Suppose 5*i = 161 + 69. Is 47 less than i?
False
Let j = -29.85112 + 0.02112. Let t = -30 - j. Let q = -0.07 - t. Is -0.08 at most as big as q?
True
Let o be -2 + 2 - (-6)/24. Suppose l - 4*c + 4 = 0, 72 - 15 = 2*l + 5*c. Let y be 4/(-16) + 20/l. Does y = o?
False
Let f be (-3)/5*(-7)/84*4. Suppose 0 = 2*r - 7*r -