03566/83. Which is bigger: d or 0?
d
Let d = 0.299 + -1.669. Let f = d + 1.63. Is f < 1/9?
False
Let w be (2/19)/(4/6). Let o = 8453/3720 - 55/24. Let k = 289/1085 - o. Is w != k?
True
Let a(q) = -1061*q**3 - 2*q**2 + 10*q - 8. Let b be a(1). Are -1064 and b nonequal?
True
Let c = -206 - -927. Which is greater: c or 4?
c
Let s = 2/21 - 71/84. Let q = -15796 + 1437434/91. Is q less than s?
False
Suppose -4*y + 1 = -15. Let c(m) = m**3 - 2*m**2 + m + 1. Let z be c(2). Suppose 12 = -z*l, -2*l - 2 = -5*w + 21. Which is smaller: w or y?
w
Let j = 0.226 + 11.074. Let b = -18.3 + j. Which is smaller: 4/3 or b?
b
Let z = -279.3 + 253.48. Let c = z - 4.18. Do 2/3 and c have the same value?
False
Suppose -4923*a + 20436 = -4910*a. Is a > 1573?
False
Let j(b) = 0*b + 17 - b + 2*b. Let a(k) = -6*k + 181. Let i be a(31). Let z be j(i). Which is greater: z or 10?
z
Suppose -2*a - k = a + 135, a + 2*k + 45 = 0. Let p be (-9)/(a/(-10))*(-1)/(-2). Is p smaller than 5?
True
Let u = -54 + 54. Let q be (-16)/3*(-9)/6 - 0. Let j be 0 + 28/q + -1. Which is smaller: u or j?
u
Suppose -y = -2*u - 14, -10 = -y - y - 2*u. Let j be (-2)/7 + (-158)/(-14). Let d = j + y. Which is bigger: d or 21?
21
Suppose 36 = 10*a - a. Suppose -a*r - 270 = -3*d, 5*d - 197 = 4*r + 245. Suppose d = 16*h + 1222. Is h at least as big as -72?
True
Let j = 531.8 - 817.8. Which is smaller: j or -1/6?
j
Let w = 330 + -13199/40. Let f(k) = -k**3 + 5*k**2 + 15*k - 1. Let t be f(7). Let s = t + -7. Do w and s have the same value?
False
Suppose 2*j = 5*m + 529, -412 = 4*m + 3*j + j. Suppose 3*o = 3*d - 321, o + 4*d = 3*o + 210. Which is smaller: o or m?
o
Let b = -24 - 29. Let y = -48 - b. Suppose -5*p - 68 = 3*l, y*l - 2*p + 107 = -4*p. Are l and -21 non-equal?
False
Suppose -4*p + 46 = -5*h, -8 + 0 = -2*h - 5*p. Let z(y) = 24*y + 49. Let q be z(h). Let m = q + 191/2. Is 20 at least m?
True
Suppose -1866*b = -2027*b + 6279. Which is greater: 1158/29 or b?
1158/29
Let w be (-1778)/(-63)*((-120)/(-10) + -2). Which is smaller: 283 or w?
w
Let v = 1643 + -11531/7. Suppose -4*l + 15 = 3. Suppose -2*f + l = 11. Is v less than f?
True
Let o be -8 + 37 - (8 - 2). Suppose o*w = 1048 - 312. Is 31 not equal to w?
True
Let n = -13 + 25. Let x = 4 + n. Let m be 4 + 14/(112/(-36)). Which is bigger: x or m?
x
Let b be 1/(((-34)/(-68))/(605/2)). Suppose -2*q + 577 = b. Which is bigger: q or -10?
-10
Let i = 1 - 0. Let k be (i - 1 - -73)*(6 - 7). Is k < -72?
True
Let x be (93447/93465 + -1)*40/(-6). Let k = x - -1084106/68541. Which is smaller: k or 15?
15
Let m(y) = 7*y - 25. Let q be m(4). Suppose 4*x = 19 - q. Let f be (78/(-12) - -2)/(21/x). Is -1 <= f?
True
Suppose 30*z = 13*z + 4148. Let n = z - 342. Which is greater: -682/7 or n?
-682/7
Let t be -2*1/12 + -593*3/18. Which is greater: -129 or t?
t
Let o = -1846 - -1847. Which is greater: o or -1/326?
o
Let q = 473.66 - 480. Let m = q + 6.34. Which is bigger: 2/111 or m?
2/111
Suppose -3*h + 1 = 16. Let n(i) = -i**2 + 5*i - 10. Let p(t) = -t**2 + 5*t - 11. Let a(f) = h*n(f) + 4*p(f). Let x be a(3). Is x > -4/3?
True
Let q = -368 + 1797. Which is smaller: q or 2?
2
Let s = -379/14 + 27. Let x = 21 + -15. Suppose -x*c - 2 = -4*c. Which is smaller: s or c?
c
Suppose 3 = 3*q - 6. Let j(c) = 8*c**3 - 10*c**2 + 2. Let b be j(1). Suppose -z + 3 = 0, b = -2*s - 8*z + q*z + 43. Is s equal to 12?
False
Suppose 3 - 27 = 4*f, -4*o + 3*f = -82. Let a = 12 - 16. Which is smaller: a or o?
a
Let j = 3840 - 19198/5. Is j greater than -4332?
True
Let n be 376/(-141) - (21/9 - 4). Is n at most as big as 2/17119?
True
Suppose 67*g + 98 + 63 - 94 = 0. Which is greater: g or 4.99?
4.99
Let x(n) = n + 67. Let t be x(0). Suppose -3*q = 4*f - 196, 5*f = -7*q + 3*q + 262. Let a = t - q. Which is smaller: 1/8 or a?
a
Let v be (44/(-2208))/(5/50). Which is smaller: 0 or v?
v
Suppose 1312 = -4*l + 5*v, 2*l = 2*v - 3*v - 670. Let d = -333 - l. Which is smaller: -168 or d?
-168
Let s(f) = f**3 - 25*f**2 + 56*f - 35. Let v be s(16). Is -1443 bigger than v?
False
Let v = 63 - 37. Suppose 8*y = v + 22. Let r be (-12)/(-9)*y/(-3). Which is greater: -0.03 or r?
-0.03
Suppose 534*b - 472 = -472. Let c = -11 + 10.56. Which is bigger: c or b?
b
Let b(r) = -r**2 + 13*r + 32. Let k be b(15). Let s be k - 4*2/4. Suppose -x = s, x + 5 - 3 = -q. Are -10/7 and q unequal?
True
Let s be (-1032)/(-185) + -2 + 154/55. Which is greater: s or 7?
7
Let f = 553.8 + -414. Let g = -140 + f. Which is smaller: 13.5 or g?
g
Let d be 12/(-15) + 339276/(-280). Is -1213 greater than d?
False
Let g(j) = -3*j**3 + 70*j**2 - 23*j - 2. Let m be g(23). Let w(i) = -i - 4. Let q be w(-4). Let p be q/2 + 48/(-88). Which is bigger: m or p?
p
Suppose -2*d = 3*o - 443 + 2094, -2*d = 2*o + 1650. Which is greater: -822 or d?
-822
Let l be (0 - 1)*(7 + (-444)/(-30)). Let o = l + 753/35. Is -1 <= o?
True
Let f(p) = p**3 - 6*p**2 + 2*p + 5. Let k be f(5). Let a be -5 - 78/(-18) - k/6. Let l be (a/(-57))/((-4)/(-8)). Is -1 not equal to l?
True
Let c = 13 - 9. Suppose -5*d - 40 = 5*x, 2*d - 28 = 7*d + 2*x. Let m be (-100)/(-16)*d*c/(-2). Which is smaller: 51 or m?
m
Let x = 16 + -14. Suppose 0 = 2*a + 3*p - 64, -x*p - 3*p + 32 = a. Let l be ((-8)/a)/(1/(-4)). Is l less than or equal to -2/27?
False
Suppose -2*q = 3*q + 50. Let m be q/4*(-2)/5. Let x = 1131/1630 + 1/163. Is x equal to m?
False
Suppose -4 = -4*s + 4. Suppose -4*f + 2*a + 2 = -s, -3*f + 10 = -5*a. Let c be 12*(-120)/736 - (2 - 4). Which is greater: c or f?
c
Let u = -24 + 24. Let o be (-131)/8 + 3/8. Let q be ((-76)/36 + 2)/((-4)/o). Is u != q?
True
Let p = -28425293/405979 - -4131/59. Is p equal to -1?
False
Let t = -28631878882/1578237 + 9323531/514. Let h = t - -58/23. Is 0 at most h?
True
Let f = 99.11 - 98. Let i be ((-225)/(-72) + -3)/((-4)/8). Which is bigger: i or f?
f
Let o be 43 + (42/(-7) + 4 - -9). Let l be 8/(-70)*(-5)/2. Are l and o nonequal?
True
Let w = 307 + -306.9. Is -4497 not equal to w?
True
Let h(p) = -p - 3. Let j be h(-2). Let z = -242 + 238.8. Let w = z - -3.6. Is w at most j?
False
Let k = 0.093 - 0.523. Let h = k + 3.83. Let x = h - 3.43. Is x greater than -1/4?
True
Let v be (-184)/168 + (-6 - 140/(-21)). Suppose 2*c - 4 = 3*m - 0*c, -3*m + 16 = 2*c. Suppose m*d - 2 = -4*s, s + 3*d + 0*d - 8 = 0. Which is greater: s or v?
v
Let q = 1028 + -1029. Which is smaller: -2/6887 or q?
q
Let n be (-8)/296 - (1 + -1). Let g be (-1015)/777 + (-4)/(-4). Let b = g + n. Is b bigger than -9?
True
Suppose -2*k = -3*i, -5*k + 3*i = -0*k + 9. Let w be k/9*7*-3. Suppose -w*v = 2*v - 252. Is 29 equal to v?
False
Suppose 10 + 2 = z. Suppose -u - 1 = 5*b, 4*b + 3*u = -u + z. Let x = 13/8 + -25/8. Are x and b equal?
False
Let f = 6020.46 + -6019. Which is bigger: 2/3 or f?
f
Let n be (0*(-1)/(-3))/(-9*7/21). Let s = -8432/3 + 5674730/2019. Is s at least n?
False
Let q(x) be the first derivative of x**4/4 + 4*x**3 + 27*x**2/2 + 21*x + 35. Let z be q(-9). Which is smaller: 12 or z?
12
Let c be -18*((-4)/((-8)/14) - (-3035)/(-435)). Which is smaller: c or 30/13?
c
Let b be -184 - -173 - 12/(-2 + 1). Suppose -z = -3*n + 3 + 6, 13 = 2*n - 3*z. Let r = n + 0. Which is bigger: r or b?
r
Let d = 286 + -277. Let a be (130/45 - 3) + (-899)/d. Which is bigger: a or -103?
a
Let k = 179 + -14. Let m = 827/5 - k. Which is greater: m or 27?
27
Suppose -27 = 3*i - 3. Let v be ((-75)/(-4) - 5)/((-7)/4). Which is smaller: v or i?
i
Suppose t + 9 = d + 15, -2*d = -4*t + 12. Which is greater: 1/13409 or t?
1/13409
Let h be -94*(9/(-2) - -4 - 0). Suppose -57*m = -h*m. Let x be 5/(-8)*6/50. Do x and m have the same value?
False
Let h(s) = 35*s. Let y be h(-3). Let z(m) = -12*m**2 - 98*m - 123. Let v be z(-8). Does v = y?
False
Let n be ((-14)/8)/(201/536) - -4. Which is smaller: 202.8 or n?
n
Let s(g) = 13*g**3 - g**2 + 2*g - 1. Suppose -44*j - 10 = -46*j. Let h be 6/12 - (j/2)/(-5). Let l be s(h). Which is greater: 11 or l?
l
Let j = 1 + 8. Let c(b) = 7*b**2 - 279*b - 319. Let y be c(41). Is y greater than j?
False
Let l be (-4)/(-18) + 3857/(-63). Let n = l - -64. Suppose 9*z = -n*z. Is z smaller than 1/8?
True
Let h = -30 + 25. Let y be (h + -61)*(-2)/(-4). Let u be y/(-55) - (-36)/(-10). Which is smaller: u or -10?
-10
Let i(d) be the first derivative of d**4/4 - 13*d**3/3 + 13*d