 = 198/2275 + -29699/29575. Let a = d + -1/169. Which is smaller: a or l?
a
Let t = -0.101 + -55.899. Let w = t + 55. Is w < 0.9?
True
Let a = 10299 - 11805. Is a equal to -1499?
False
Let a(q) = 2*q + 25. Let v be a(-10). Suppose 4*n = v*w + 203, 5*w = 5*n - 30 - 220. Suppose -j + n = 21. Is 49/2 less than or equal to j?
True
Let d(y) = 2*y. Let f be d(1). Let p = -18747/455 + 3804/91. Does p = f?
False
Let o = 30 - 11. Suppose 0 = 57*i - 56*i - 11. Suppose i*q + 104 = 313. Is q < o?
False
Let a(x) = x - 7. Let f be a(10). Let p be (3 - f)/(2/(6/(-3))). Suppose -5*j - k + 3*k - 4 = p, 0 = -j - 4*k + 8. Which is smaller: j or 1?
j
Suppose -10 = -3*n + 5*p - 0, 0 = 4*n + 3*p - 23. Let y = -1 - -4. Suppose n*l - 6*l = -y. Are l and 1 equal?
False
Let c = -64271/101018 - 32/953. Is -1 != c?
True
Let k = -18149004/13645 - 195452409276/20208245. Let a = k - -11002. Which is smaller: a or -1?
-1
Suppose -135*t + 134*t + 3*f - 116 = 0, -2*f = -2*t - 216. Is t >= -154?
True
Let d be 18430/4600 - (4 - 0). Let f be (2573/920)/((13/(-2))/(-13)). Let r = f + d. Which is smaller: r or 5?
5
Let x = 12361 + -11699. Which is greater: 1 or x?
x
Let y be (1/6*-2)/3. Let k = 466 - 41. Let o = 426 - k. Is y at least as big as o?
False
Suppose -4*m - q = -63, -3*m = 2*q - 76 + 25. Let u = 19 - m. Let b = -101 - -112. Which is smaller: u or b?
u
Let p(h) = -213*h + 720. Let v be p(5). Which is smaller: -3 or v?
v
Suppose -431890 = -484*j + 252776 - 162430. Which is smaller: 1081 or j?
j
Suppose -2*n - 5*o = -3*o - 58, 3*n - o - 95 = 0. Let g be (0 - (-2)/(-4))*(-175 + 111). Which is bigger: g or n?
g
Let c be 52*(15/20 + 9637/(-92)). Which is smaller: -21633/4 or c?
-21633/4
Let d(n) = -n**3 + 15*n**2 + 18*n - 36. Suppose o - 15 = -x, 3*x = -2*o + 30 - 1. Let p be d(o). Let w be (p/2 - -3)/(6/186). Is 30 > w?
False
Suppose 9677*k + 2873 = 9659*k + 16805. Is 3095/4 > k?
False
Let k = 356816/41 + -8700. Which is bigger: k or 3?
3
Let z = 720 + -93601/130. Suppose f - 3*p = 2, -1002*f = -999*f + 2*p + 5. Is f bigger than z?
False
Suppose 2*j + 0*j - 31 = 3*u, -2*j + u + 29 = 0. Suppose 0 = 5*k - 7*k + j. Suppose 0 = 14*h + 3*g - 28, 4*g = 7*h - 12*h + 10. Which is greater: k or h?
k
Let n be 22/(-17 - 71)*(1 + 1)*-2. Which is smaller: 2/8695 or n?
2/8695
Let s = -1380 + 1343. Suppose -2*u = -4*c + 2*u - 168, c + 3*u + 22 = 0. Is s smaller than c?
False
Let a be (45297/(-2373) + 19)/((-8)/14). Is 1 at least as big as a?
True
Let n be 2/(-9) + 12/63. Let f be (-10 - -3)/((-1)/3). Let o be (2/3)/(4 + (-70)/f). Is n smaller than o?
True
Suppose 9*j - 5*j = 388. Suppose -20 + j = 7*d. Let b = 10 - d. Which is smaller: b or -4/77?
b
Let f be ((-1)/20)/(172/(-688)). Which is smaller: f or -1/5?
-1/5
Suppose -2*o - 5*f - 13 = 0, -2*o + 6*f = 5*f - 5. Which is bigger: -413 or o?
o
Let m = 0.114 - -84.886. Let d = -85.06 + m. Let b = 19 - 12. Is d bigger than b?
False
Let k(w) = w**3 + 37*w**2 + 38*w + 79. Let o(q) = -14*q - 148. Let b be o(-8). Let g be k(b). Is 7 less than g?
False
Let v = -10 - -20. Let n be 4/10 - 4/v. Let i be -1*9 + 36 + -30 + 292/100. Is i less than or equal to n?
True
Let k(g) = g**3 + 32*g**2 - 188*g - 98. Let b be k(-37). Is b less than 4?
False
Suppose -4*n = -4, -4*n - 165 - 451 = 4*l. Let r = l + 150. Suppose 2*i + 5*p + 14 = 0, p + 1 = -1. Does i = r?
False
Let l(q) = q**2 + 30*q + 192. Let u be l(-19). Let d be (-13 - u)*(1 + -219). Which is bigger: d or -0.1?
-0.1
Let o(a) = -3*a - 12. Let z be o(-6). Suppose -10*r + 0*r + 30 = 0. Is r at most z?
True
Suppose -2*g - 2 = -2*i, -4*g - 2 = -5*i + 6. Let r(h) = 3*h - 18. Let p be r(g). Let x = 886 - 4481/5. Which is smaller: x or p?
x
Let n be 1*60/(-240)*-14. Let a = -38 + 24. Which is smaller: a or n?
a
Let v be (-5 - -3)*(-14 - -175). Let s be 92/v + 1/((-14)/(-424)). Which is bigger: 157/5 or s?
157/5
Let a(m) be the second derivative of 5*m**3/3 + 71*m**2/2 + 93*m. Let q be a(-7). Which is smaller: q or -3/70?
-3/70
Let l = -12 - -21. Let n be 8 + l/(-2 - 1). Suppose 0 = 3*z - n*z - 12. Which is bigger: -14/3 or z?
-14/3
Let p = 1445/294 + 86/147. Is p less than -33?
False
Suppose -7*n + 31*n + 480 = 0. Which is greater: n or 1/40?
1/40
Suppose 0 = 68*v - 75*v + 6804. Suppose -49*g = 4320 + v. Do g and -107 have the same value?
False
Let k = -11341/322953 + -4/3891. Which is bigger: k or 24?
24
Suppose 82*s - 2121 = -5*x + 80*s, -3*s + 9 = 0. Is x less than or equal to 417?
False
Suppose -12 = -7*b + 9. Let s be (-4)/6 + 2/b. Suppose s = -5*x - 4*z - 11, 2*x + 5 = -2*z - 1. Which is bigger: 2/151 or x?
x
Let l be ((-3)/(-9))/((-74)/(-6)). Suppose -129 - 125 = -83*c - 171. Is c at least l?
True
Let o(y) = -y**2 - y + 4. Let g be o(-2). Let d be ((-16)/(-10) - g)*(-1 - -6). Let z be d/(-8) + (-9)/24. Does 1 = z?
False
Suppose 0 = -6*s + 36 - 18. Suppose -h + s*w = -6*h - 135, 0 = -2*h - 5*w - 73. Which is bigger: -178/7 or h?
h
Let v = -12480 + 12481. Is v less than or equal to -15/1733?
False
Suppose 0 = -4*y + 2*t + 460, y + 3*t - 109 = 2*t. Let l = 846 - 732. Which is smaller: y or l?
y
Let u = -38 - -35. Let y = u - -3.042. Let m = y + -0.092. Which is greater: 0 or m?
0
Let z = 52538 - 24535162/467. Do -1 and z have the same value?
False
Let u(a) = 10*a**2 + a - 2. Let p be u(-1). Suppose -8*i = -7*i - p*i. Are 2/11 and i non-equal?
True
Let z be (9/(-4))/((-6)/(-48)). Let v = -17933/3 + 5978. Do v and z have the same value?
False
Let r = 3722 + -3712. Which is greater: 3/44 or r?
r
Suppose 3*r - 8*r = -4*b - 30, -r + 5*b = -27. Let u be (r/6)/(4/6). Let o = 2913 - 2911. Which is bigger: u or o?
o
Let a be (-3)/21 - ((-12456)/10017)/8. Suppose 0 = -5*k - 2*p - 18, -3*p = 4*k + 29 - 9. Let m be k/(-11) + (-2)/11. Which is smaller: m or a?
m
Let z(w) = 398*w - 385. Let p be z(-15). Is -6354 greater than or equal to p?
True
Let j = 11012.27 - 11066. Let t = j - -53.4. Is -11/2 at least as big as t?
False
Suppose 0 = -69*t - 290404 + 64084. Is -3279 >= t?
True
Let q = -55 - -78. Let v = -212.2 + 191.8. Let j = v + q. Is j greater than or equal to 1?
True
Suppose -4*t = 3 + 5, 2*z + t = 28. Let l be 1/((-3)/z) + 3. Let p be 28/8 + l + -1. Which is smaller: p or 9?
p
Let y = 297 + -1329. Which is greater: -1036 or y?
y
Let p = -3/50 + 121/350. Let a = 2 + -2.8. Let n = a + 3.8. Is n != p?
True
Suppose -3*p + 3*z + 157 = 19, 0 = -3*p - 2*z + 148. Let c be p/(-126)*(-5 + (-84)/(-18)). Is c greater than or equal to 0?
True
Let w be (-6 - 530/35) + 3/21. Let k be 1*(-18)/w - (-125)/(-35). Is k equal to -3?
False
Let y = -210 - -214.2. Let t = -3.8 + y. Which is greater: -70 or t?
t
Let q(c) = -3*c**2 - 202*c + 597. Let w be q(-70). Which is smaller: w or 337/9?
w
Suppose -3*c = -369 + 111. Let m(s) = -7*s**3 + 55*s**2 - 66*s + 14. Let g be m(6). Do c and g have the same value?
True
Let v = -1182431/7 - -168355. Are -563 and v equal?
False
Let m = 2771 - 55461/20. Let w = -527/60 + m. Suppose -z + 10 = -l, -4*l - 2*z - 16 = 36. Is l less than or equal to w?
True
Suppose 18 = t + 2*t. Let q be 3/(-2) + t/12. Let s be (-11)/(-22) + 69/(-136). Which is bigger: s or q?
s
Let x be (10/(-4) - -1)/((-99)/2904). Let v = x + -45. Let f = -178 - -4095/23. Is f < v?
False
Let b be 0 - (1 - ((-114 - 2) + 2)). Let p = 79 + b. Let v be (2 + p/8)*-12. Is v != 30?
False
Let l be ((-74)/4 + 18)/((-2)/(-4)). Is 34/189 >= l?
True
Let g = 421369/181 - 2328. Let s = -13037 + 13036.9. Is s greater than g?
False
Let j = 9208 + -9324. Let n = -3 - -2.8. Which is bigger: j or n?
n
Let p be (2/(-4))/(((-56)/8)/(-1358)). Let w = p - -93. Suppose -2*o - 6 = -0. Which is smaller: w or o?
w
Let m be (-855518)/(-1008) - 112/(-392). Suppose o - 3400 = 4*b, 5*b + o + 845 = 4*b. Let u = b + m. Is u less than -1?
False
Let w(y) be the third derivative of 4*y**2 + 0*y - 29/24*y**4 + 0 + 1/120*y**6 - 3/2*y**3 - 1/10*y**5. Let l be w(9). Is -29 at least as big as l?
False
Suppose 38*g = -702 - 476. Do g and -31 have the same value?
True
Let t = -2 + -1. Let i be 18/10 + t/(-15). Let g be ((-310)/45)/i - -3. Which is smaller: g or -2?
-2
Let m = -9554 + 28660/3. Let c(u) = u**2 + u + 3. Let v be c(-7). Is v less than m?
False
Suppose -2*y + 100 = -2*u, 0 = -5*u - 2*y - y - 290. Let b = u - -70. Suppose 0 = v - 15 + b. Which is bigger: 