 j. Let r = 890 - 4449/5. Which is smaller: r or n?
n
Let i = 74 + -70.5. Let x be (-6)/3*(-50)/(-4). Let l be (-9)/15 - 5/x. Is l bigger than i?
False
Let f = 11118 + -11116.2. Is 14 less than f?
False
Let j = 2748/55 + -554/11. Let m = -12.5 + 14.5. Which is greater: j or m?
m
Let u be (-2033)/798 + 3 + 3/(-18). Which is bigger: -68/47 or u?
u
Let x = 22225 - 22228. Let b = -8.97 - 0.03. Let r = -9.9 - b. Is x equal to r?
False
Let i = -5723 - -5731. Which is greater: i or -110?
i
Let j be -1 - 2/(-3) - (-72)/12096*49. Do j and -42 have the same value?
False
Suppose h = 0, -6 = v + h - 4. Let t be 3/(-3)*(0/v + -1). Which is smaller: t or 1/118?
1/118
Let h be (-225)/675*(-9)/(-75). Let f = 2 + -6. Is h not equal to f?
True
Let j = 270 + -300.7. Let f = 155536 - 155538. Is f >= j?
True
Let w = -152 + 88. Let c = w + 67. Suppose -y = c*y - 92. Which is bigger: 25 or y?
25
Let p be (-265 + 1)/(-4) + (-168)/(18 + 3). Is p at least 70?
False
Suppose -10 = 2*t - 20. Suppose -3*b + 6*b + 199 = 4*j, 3*j - 142 = -t*b. Is 49 bigger than j?
False
Let q = -0.02 + 3.02. Let j = -664 - -12618/19. Which is bigger: q or j?
q
Suppose 5*m + 9 = 3*f, -189*m + 2*f = -190*m + 6. Is m smaller than 3/10021?
True
Let k be (-6)/4*(-4)/279. Let l = 853 - 599. Suppose l*j - 243*j = 0. Which is smaller: j or k?
j
Let s = -619.2312028 - 0.7950972. Let m = s - -620. Which is bigger: 1 or m?
1
Let o = 17.3 - 10.1. Suppose 0 = -2*c + 3*d - 8, 4*c - 1 = 4*d - 13. Which is greater: o or c?
o
Suppose 0 = -13*s + 43 + 9. Suppose -34 = -s*c - 13*c. Which is smaller: -32 or c?
-32
Let c = -12266598 - -1275703057/104. Let b = c + 1835/8. Is 7 greater than or equal to b?
True
Let b(j) = -j**3 + 15*j**2 - 21*j + 152. Let f be b(11). Are 404 and f equal?
False
Let f = 3901 - 4376. Is f < -477?
False
Let m be 8/4*46111/(-16). Let w = m - -5702. Let f = w - -62. Do 1 and f have the same value?
False
Let x(s) = 4*s**3 + 4*s**2 + 7*s - 51. Let j be x(-6). Let i = -811 - j. Let v = -8611/10 + 862. Which is bigger: i or v?
i
Suppose 7*z + 11 = 5*b + 10*z, 5*b - 5*z = -5. Let f be 720/(-160)*(0 + (b - 0)). Which is greater: -4 or f?
-4
Let k = 4677 - 4518.05. Let d = -159 + k. Which is smaller: 2/13 or d?
d
Suppose 174*f - 208*f - 218*f = -35532. Suppose b = 102 + 39. Is b at most f?
True
Let n(y) = y**2 - 15*y + 17. Let h be n(15). Let v(d) = -d**2 + 16*d + 15. Let p be v(h). Let x(c) = -c. Let b be x(p). Is 8/5 less than b?
True
Let d = -7216.01 - -7215. Let t = -132 - -130.89. Let f = d - t. Is 3/7 > f?
True
Let x = -2566 + 2566. Is -7/9 at least as big as x?
False
Let s = 15920449/586 + -27168. Which is smaller: -7/5 or s?
-7/5
Let q = -0.029 + 25.029. Let h = 10.79 + 17.21. Let d = h - q. Are -10 and d unequal?
True
Let t = 224 + -107. Suppose 2*s + s + 5*g = -166, 2*s - 3*g = -t. Which is greater: -55 or s?
-55
Let a = -1.84 + 0.96. Let v = -0.68 - a. Which is bigger: v or 4/23?
v
Let h(f) = 7*f**2 + 4*f. Let c be h(-4). Suppose -15*d + 21*d = -c. Let j be (d/(-1))/((-3)/6). Is j smaller than -33?
False
Let n = 623 - 4369/7. Let l = n - -25/28. Let f = -75319 + 75328. Which is greater: l or f?
f
Let v = -29/26 + 1273/442. Which is greater: 0.1 or v?
v
Let a be -2*(0 + (4 - 10/2)). Suppose 2*x = 4*p - 2, -a*x + 10 = 5*p + 3. Do 2/197 and p have the same value?
False
Let w = 3231 - 3234. Which is smaller: w or -2/143?
w
Let p = 19359 - 58609/3. Is p greater than or equal to 0.1?
False
Suppose -5*p = -2*l - l - 10, -5*l = 0. Let q(j) = -30 + j - j**p - 21 + 52. Let u be q(3). Is u at most -3?
True
Let i be (-25)/(-60)*6 - 2/4. Suppose -i = 2*x - 2*n, -2*x = 5*n - 4*n - 4. Let d = 297 - 13364/45. Is x not equal to d?
True
Let v be 4668/12220 - (-3)/(45/(-6)). Let i = -625/170469 - v. Let h = i - -1484/279. Which is bigger: 6 or h?
6
Let w be (80/(-240))/(2/(-24)*1). Suppose -5*c - 107 = u - 527, -w*c = -5*u + 2245. Which is smaller: u or -2/3?
-2/3
Let v(z) = 2883*z + 3122. Let l be v(-1). Let b = 575 - 335. Which is greater: b or l?
b
Let x = 4971 - 4930. Which is smaller: x or 75?
x
Suppose -3*q + 17 + 4 = 0. Let m be q/(-14)*(-6)/(-11). Suppose 5*u = 5*k + 61 - 51, -3*u - 1 = -2*k. Which is greater: u or m?
m
Let w be (-62)/6 - -3*2/(-9). Let f(u) = -12*u + u - 2*u**2 - 6*u - 4*u + 2. Let b be f(-11). Is w > b?
False
Suppose 2 = 5*a - 6*a - c, -1 = c. Let o(j) = 2*j - 9. Let d be o(7). Let u = 11 - d. Is a bigger than u?
False
Let s = -107.692 - -48.692. Let f = 1.95 + 0.05. Which is smaller: s or f?
s
Suppose 6*y = -103 + 199. Which is smaller: y or -2?
-2
Let m be (17 + 204)*4/56. Is m at most as big as 15?
False
Let j be ((-3)/((-42)/98))/(-7). Is j less than -19/310?
True
Let v = -3518 - -2000. Is v less than or equal to -1518?
True
Suppose -n - 2 = v, -2*n - 24 + 2 = 5*v. Let j be (-256)/528 - v/(-33). Let x be 2*-1 - (4 + -4). Which is bigger: x or j?
j
Suppose -b - 8 = -3*b. Let u(z) = 5*z - 16. Let p be u(b). Suppose -1 + 9 = -p*r. Is -8/3 at least r?
False
Let b(j) = j**3 - 3*j**2 - 9*j + 43. Let w be b(5). Let v be (-6)/(-9) + (-3584)/w. Is v >= 0?
False
Let q = 0 + 0. Suppose q*w + w - 2*g - 2 = 0, 2*g = 8. Let j be 3876/190 - 4/10 - 12. Which is bigger: j or w?
w
Let f = 4238 - 4238. Which is greater: f or -1537?
f
Let v(n) = -n**2 - 18*n - 7. Let c be v(-8). Let s = 0 - c. Let r = -88 - s. Are 0 and r equal?
False
Suppose 0 = 4*k - 3*k - 1. Let u be (-5947)/(-37050) - (95/(-30))/(-19). Which is bigger: k or u?
k
Suppose -40*s + 24*s - 20300 = 34*s. Is -406 less than s?
False
Suppose 0 = -7*o + 3*o. Let c = 156 - 160. Let m be 2/c*((-16)/44 + o). Which is greater: m or 0?
m
Let b be (-28)/49 + 95028/(-252). Is -379 at most b?
True
Let d be (-25990)/342 + (-110)/(-1045). Is -75 > d?
True
Let g(y) = -3*y**2 + 52*y - 16. Suppose -4*i = -6*i + 34. Let t be g(i). Is 1/170 equal to t?
False
Suppose -7 = p - 4*u, 0 = 2*p + 2*p + 4*u - 12. Let o = -139 + 141. Let i be o*(-132)/67 + -1 + 5. Which is greater: p or i?
p
Let d = -1855 + 7419/4. Which is smaller: -29.468 or d?
-29.468
Let y(b) = -65*b**2 - 120*b + 38. Let v be y(-10). Which is smaller: v or -5263?
-5263
Let x = -1553 - -1554. Which is greater: x or -20/59?
x
Suppose -322 = -4*h + k, -h - 2*h + 5*k + 250 = 0. Suppose -h*l - 135 = -77*l. Which is smaller: -47 or l?
-47
Let j be (9700/(-5))/4 - 2. Let c = 1440 + j. Suppose 14*a + 363 = -c. Is a equal to 2/5?
False
Let j = 303/77 + -55485/5236. Which is smaller: -8 or j?
-8
Let y be (9/1)/(-3) - -64. Suppose -7*s = -9 - y. Do 10 and s have the same value?
True
Let i = -1447 + 1194. Which is greater: i or 2/7?
2/7
Let f be (-3)/9 - 4/(-12). Suppose -10 = -4*c - 2, f = 2*y + c - 10. Suppose 0*n + y*i + 52 = 3*n, -35 = -2*n + 3*i. Which is bigger: 10 or n?
n
Let c be (-1 + (2 - 18))/1. Let t(o) = -o**3 - 8*o**2 - 12*o - 30. Let g be t(-7). Suppose -2*s - 37 + g = 0. Is c >= s?
False
Let t(h) = -11*h**3 + 2*h**2 + 2*h. Let o be t(-1). Suppose 8 = -o*b - 3. Is b < -3/59?
True
Let b = 37 + 50. Let u be (1/(-10))/(29/b). Is -0.3 > u?
False
Let k be (-13)/(-8) + 57/152. Let w be (0 - -5)*k/5. Let d be (5 - 4)/28*w. Which is smaller: 1/3 or d?
d
Let p be -2*(-15)/10*1. Suppose -w + 64 = 2*g, p*w - 3*g = g + 182. Let h = w + -62. Which is smaller: h or 7/26?
h
Let t = -43 + 50. Let i = -1 - -14. Suppose u = t + i. Is u at least 20?
True
Let s = -120 - -14. Let u = s + 106.1. Is -4/115 at least as big as u?
False
Suppose -3*j + 9 = -3*u, 5*u - u = -2*j. Let w be u/3*-3 + (0 - -1). Let d be ((-4)/((-8)/(-1)))/(w/(-12)). Which is smaller: d or 18/5?
d
Let k be 104/12*(-15)/(-10). Let w = -14 + k. Let y be 4/14 - (-1 - (-317)/252). Is w less than or equal to y?
True
Let j = -656 + 597. Let p = j - -65. Suppose -3*t + 15 = 2*t. Which is bigger: t or p?
p
Suppose -3*m - 28 = v + 81, -5*v = 4*m + 138. Let h = 370892 - 370896. Which is bigger: m or h?
h
Let z be 51/54 + 1/(-2). Suppose 2*n - 12 = 4*d, 2*d = -4*n - 16 + 40. Is d at most as big as z?
True
Let u(r) = 2*r - 12. Let x be 2 + (-2 - -20) - -4. Suppose -11*g + 15*g = x. Let k be u(g). Is k greater than or equal to -5?
True
Suppose 55*t + 47*t - 122*t = -3380. Which is smaller: 171 or t?
t
Suppose -139*t = h - 136*t + 3828, -11510 = 3*h - 4*t. Are -3834 and h non-equal?
False
Suppose 0 = 5*i - 294 - 51. Suppose -2*p + 95 = -41