 Is b at least r?
True
Let s = 8138 - 11775683/1447. Which is greater: 0 or s?
s
Let a = -18 - -32. Let j = 15.6 - a. Let k = j - -0.4. Which is smaller: -3 or k?
-3
Let t = 13303 + -13303.2. Is -386/17 smaller than t?
True
Suppose w = 7*w - 5076. Let y be 27/w*(-2 - (-3 - 1)). Is -3 less than y?
True
Let q = -1893 - -1906. Is q > 28?
False
Let p = -241109/1074 + 449/2. Let r = 541/1074 - p. Let f = -5 + 4.84. Which is smaller: f or r?
f
Let n be 2/(-5) + 60926/(-410). Which is bigger: -150 or n?
n
Let w(o) = -2*o**2 + 20*o + 1. Let m be w(10). Let j = 6141613/6057162 - -12/17711. Let h = j + -23/18. Are m and h equal?
False
Let y(g) = -g**3 + 14*g**2 + 17*g - 35. Let z be y(15). Let q be ((-5)/(-15))/(1/(-3)) + z. Let b be 88/(-1947)*q/(-8). Which is bigger: 1 or b?
1
Let b = 26 + -109/4. Let c be (-2)/(-10)*8*(-20)/(-4). Suppose -c = -3*v - 14. Is b at most as big as v?
False
Let k = 15352 + -15353.0363. Let s = -0.0363 - k. Which is greater: -0.81 or s?
s
Let w = -218143/3 + 77515. Let q = -4757 + w. Is 43 at most q?
True
Let c be 2 - (406 + (3 + 9)/4). Let i = c + 167. Which is bigger: -241 or i?
i
Let s = -1505 + 1506. Which is bigger: 2135 or s?
2135
Let l = 94 - 90. Suppose -l*q + q = -6*q. Let u = 4/35 + -111/665. Is u greater than q?
False
Let z be 4/6*(-20)/3. Let a = -107/18 - z. Let v be (-4)/28*448/96. Is v < a?
False
Let c(d) = -d + 18. Let x be c(13). Let z = -7607/6 - -1272. Are x and z equal?
False
Let x = 27/2 - 77/6. Let w = 0.103 - 0.705. Let c = 0.002 + w. Which is greater: c or x?
x
Let m = -148.9 + 165. Let g = 16.1 - m. Is g > 0?
False
Let o be (-1)/(-162)*-3561*-62. Let i = 1363 - o. Is 0.1 at most as big as i?
True
Suppose -558688 = -43*m - 82033. Let x = m - 22627/2. Which is bigger: x or 0.1?
0.1
Suppose 363*m - 360*m = -5*s - 3447, 3*m = 3*s - 3471. Which is smaller: -1151 or m?
m
Let y be 5 + 56/(-16) + (-4)/8. Which is bigger: -22/299 or y?
y
Let n = -22209 + 22071. Is n equal to -19?
False
Let f = -581 + 581.032. Let i = f + 33.968. Do i and 10 have different values?
True
Suppose 2*q - 24 = 4*g, 8 = -5*g - 4*q + 4. Let v be (6/4)/((-9)/(-102)). Let r = -19 + v. Is g less than r?
True
Let q = -140261/28861149 + 19/3713. Is -1 > q?
False
Let g = 157.31 - 156. Let k = g + -1.01. Is -15 smaller than k?
True
Let n = 0.1208 + 1.9048. Let z = 0.0256 - n. Is -0.09 > z?
True
Let q be (41/(-164))/((-7309)/(-4)). Is -1 at least q?
False
Let q = 261 - 222. Let x(a) = -a**3 + 40*a**2 - 40*a + 33. Let f be x(q). Which is bigger: 0.28 or f?
0.28
Let v be (-10)/(-5) - 1 - 952775/953064. Let n = v - -4/3843. Which is smaller: 1 or n?
n
Let q = -14671781/120663 - -3283/27. Let z = 35722/67035 - q. Do 0 and z have different values?
True
Suppose 27*p - 34 = -7. Let y be (6/14 - (-3540)/70) + p. Which is smaller: 53 or y?
y
Let d = -417004/47531 + 5/8642. Which is greater: d or -0.2?
-0.2
Let j be (-2)/4*1/(-2). Suppose -646*d + 181*d + 380*d = -352*d + 92115. Is d smaller than j?
False
Suppose -6*n = -2*n. Suppose -37*p = -34*p + 6, 0 = t + 3*p - 29. Suppose n = 31*y - t*y. Are -7 and y equal?
False
Let w(k) = k**2 + 46*k - 767. Let g be w(13). Which is greater: -7/318 or g?
g
Let h = 0.20508 + 0.19492. Which is smaller: -44.31 or h?
-44.31
Let b = 121588/8344009 - -2/20401. Let u(x) = 9*x**3 - 281*x**2 + 60*x + 63. Let j be u(31). Do b and j have different values?
True
Suppose -90*y = 10*y + 3*y + 7313. Let v = 76 - 3. Let o = v + y. Which is greater: o or 26/9?
26/9
Let o = 4660 + -4659. Is -9/34 != o?
True
Suppose -2 - 3 = -m. Suppose 10*i - 260 = m*i. Let k be (1*5/(-10))/((-2)/i). Which is greater: 12 or k?
k
Let u be 0/(-1*(0 - 1)). Let f = -17867.6 - -17868. Which is greater: f or u?
f
Let n = -109 - -165. Let r be (-8)/10 - (9 - (-1276)/(-20)). Let p be ((-30)/r)/(10/(-12)). Are n and p equal?
False
Suppose 3*p = 4*a + 37 + 16, p - 3*a - 16 = 0. Suppose 89*j - 84*j = -460. Let i = j - -111. Is p at most as big as i?
True
Suppose 348*t - 423*t = -2250. Is t equal to 1330/43?
False
Let q = 372 + 763. Are q and 1134 unequal?
True
Suppose -4*f + 0*z = -3*z - 65, 2*f - 3*z - 31 = 0. Suppose 2*c + 1 = 3*u - 5, 5*u = c + f. Suppose -m = -1, -o - c*m + 77 = -3*o. Is -38 bigger than o?
False
Suppose -2830 + 1384 = 482*i. Suppose l - 10 = -2. Which is greater: l or i?
l
Let z(p) = p**3 + 6*p**2 - 12*p - 22. Let y be z(-6). Let r = 56 - y. Let d be r/2 - (-152)/(-72). Which is bigger: 1 or d?
1
Let y be 270/27*(-1)/(-2). Suppose y*b - 4*i + 1 = 0, -2*b + 7 - 4 = -5*i. Which is smaller: -0.006 or b?
b
Let o be (-10)/129*(2070/25 - 30). Do -4 and o have the same value?
False
Let p(q) = 7*q**2 - 16*q + 33. Let z(v) = 7*v**2 - 15*v + 32. Let x(h) = 3*p(h) - 4*z(h). Let y be x(5). Let t = y - -82. Does -63 = t?
False
Let q be (-34)/(-8)*1 + (-61)/244. Suppose 5*w - 704 = -2*r, 11 = -r - q*w + 363. Let a = -9157/26 + r. Do a and 1 have the same value?
False
Suppose 4*f = 2 + 2. Let d be (1 - 23/8) + ((-4844)/16)/(-173). Is f > d?
True
Let f = 0.527 + 8.533. Let z = f - 9.06. Which is bigger: 58/3 or z?
58/3
Suppose 0 = -4*i + 171 + 261. Suppose 11*t = 24*t - 351. Suppose -9*z - t = -i. Is 8 at most as big as z?
True
Let n = 2 - 5. Let l = -56542 - -56481. Do n and l have the same value?
False
Let v(d) = -d**2 - 39*d - 74. Let j be v(-36). Which is smaller: j or 29?
29
Let b = 23 + -14. Suppose -b = y - 19. Let j = y + -10. Is j at most as big as 18/13?
True
Suppose 5*p - 3*o = -920 + 53, 4*p - 4*o + 692 = 0. Is p at most as big as -695/4?
True
Let z = -73 + 1. Let a be 1*16/(-60)*(-3)/z. Which is bigger: a or 0.1?
0.1
Let l = -520 - -6750/13. Let r = 10 - -32. Let c be (-5 + (-42)/(-12))/(r/8). Which is bigger: c or l?
c
Let h = -0.297 + -0.703. Are 206 and h unequal?
True
Let o be (1190/114 - (39 - 29)) + 4/(-38). Is 3340 at least as big as o?
True
Let f(y) be the first derivative of 69*y**2/2 + 62*y - 18. Let t be f(-6). Is t smaller than -352?
False
Let i be ((-6)/556)/3*4. Let a = -81214 + 81215. Is a >= i?
True
Let o(y) = -y**3 + 11*y**2 - 34*y + 32. Let t be o(8). Which is smaller: t or -14?
t
Let i be (-5)/80*-8*47*-2. Let y(m) = 19*m - 9. Let l be y(-2). Are i and l unequal?
False
Let q(a) = -4 - 2 + 3*a - 2. Let j = 33 + -28. Let k be q(j). Which is bigger: k or 8?
8
Let d = -6241/3 + 2154. Let k(q) = 3369*q + 101143. Let x be k(-30). Is x at most d?
True
Suppose -2*n - 7*n = -2520. Suppose -b - 13*b - n = 0. Is -19 smaller than b?
False
Let c = -1309 - -1314. Which is bigger: c or -210?
c
Let g(n) = n**3 + 17*n**2 - 80*n + 638. Let s be g(-22). Let i = 13 - 41. Is s >= i?
True
Let o = -28.33 - -8.33. Which is smaller: 1 or o?
o
Let a be ((-476)/(-8) + -5)*26*-2. Is a smaller than -2833?
True
Let s = 1127 + -502. Which is smaller: 623 or s?
623
Let l(q) = -q - 4. Let r be l(-6). Suppose -i - r = 2. Let z be (-6)/8*i/3. Which is greater: z or -0.04?
z
Suppose 2572*d - 2565*d = -35. Which is smaller: d or -414/71?
-414/71
Suppose 0 = -5*m - 4*y - 45686 + 3965, 0 = 2*m - 4*y + 16666. Which is smaller: m or -8338?
m
Let b = -0.014 - -0.184. Let x = b - 49.17. Is -2/9 at most as big as x?
False
Let u(c) = 2*c**3 + 36*c**2 - 37*c + 18. Let r = -18 - 1. Let y be u(r). Let j be 2/(-786)*(7 - 10). Is j less than or equal to y?
False
Suppose 0 = -4*z + 63 + 33. Let f be (2/148)/(2/z). Suppose 507*q + 164*q = -214 - 457. Is q at most as big as f?
True
Let g(v) = -23*v**2 + 143*v - 58. Let w be g(-5). Is -1346 less than w?
False
Let d(u) = -12*u - 2. Let w be d(-3). Let y = 8 - w. Let z = -27 - y. Is 4 <= z?
False
Let d be 2/(1 - 13) + -1 + (-28)/(-42). Let p = 0 - 1. Is d less than p?
False
Let o = 25 - 29. Let m = -2145 - -2339.4. Let i = -194 + m. Which is smaller: o or i?
o
Let f = 37.107 - 36.857. Which is greater: 0.0382 or f?
f
Suppose -3*o - 9888 + 1319 = -44*o. Which is smaller: 154 or o?
154
Let c = -11558.7 - -11559. Which is smaller: -14/13 or c?
-14/13
Let m be 2924/714 + 2/(-21) + -3. Let i be 1 + -4 + (-618)/(-108). Let w = i - 5/2. Which is bigger: m or w?
m
Let y = -123 + 123.003. Let m = -0.487 - y. Which is bigger: m or -1/2?
m
Suppose -t = 4*m + 11 - 8, 2*m + 6 = -2*t. Suppose -12 = 2*w - 14. Let o be w*-3*((-1944)/(-390) + -5). Which is smaller: o or m?
m
Let z be (-5)/2 - 754/(-299). Let j(b) = 4 + 7*b - 8*b + 0 - 5.