z - 52, -3*z - 3*d = -0*d + q. Which is greater: z or i?
i
Suppose 0 = 3*c - 0 - 9, -2*l + 4*c = 952. Let w = -542 - l. Which is smaller: w or -73?
-73
Let h(m) = 7*m**3 + 3*m - 1. Let n be h(2). Suppose -20 = -5*k, 3*k + 5 = -c + n. Suppose 5*o = x - c + 5, 2*o + 10 = -x. Is o at most -5?
True
Let i = 0.0075 - 488.0075. Let w = 485 + i. Are w and -3/2 equal?
False
Let r(l) = -5*l**2 - 12*l - 14. Suppose 4*y + 3*o + 33 = -0*y, 3*y + 2*o = -24. Let t be r(y). Let d be 1/((t/(-8))/((-1)/4)). Are -1 and d equal?
False
Let n = -506 + 773/2. Let x = n + 118. Let q(b) = b**2 + 11*b + 15. Let h be q(-9). Which is smaller: x or h?
h
Let a = 6324 + -1287. Is a at least as big as -1?
True
Suppose -77*p - 2 - 73 = 2. Is 47/109 < p?
False
Let w = -353 + 350. Let s be (80/(-50))/(2/10). Let f = 7 + s. Do w and f have the same value?
False
Suppose 63 = -0*y - 3*y. Let f be ((-11020)/(-150))/(-19) + ((-56)/(-30) - 2). Which is smaller: f or y?
y
Let b = 333752/7 + -47910. Is b < 1?
True
Let l be (1 - 0)/((6/56)/((-90)/150180)). Which is greater: l or 1?
1
Let i be ((-1)/64)/((-2)/12). Suppose 243*n = 245*n + 2*a - 8, -a = -7*n - 4. Is n smaller than i?
True
Let r = -13 + 4.4. Let g = 8.06 + -0.06. Let n = r + g. Which is greater: 0 or n?
0
Let o be (4/16)/(1/48). Suppose 9*s + 20 = p + 5*s, -o = 4*s. Is p smaller than 0.08?
False
Suppose -5*n - 20 = 3*r + 12, 4*r + 31 = -5*n. Is -3/943 < r?
True
Let b = 390 - 399. Let i = -5/26 + 101/52. Let o = i - 2. Is o less than b?
False
Let d = -620 + 378. Let s(m) = -33*m**3 + 12*m**2 - 12*m - 1. Let b be s(2). Which is smaller: b or d?
d
Let c(o) = -41*o**2 - 2*o - 1. Let b be c(-3). Let v = -45332/33 - -433028/429. Let t = b - v. Which is greater: t or -1?
t
Let j = 4/653 + -4688/338907. Let y = j - 554/62799. Let f(d) = -d + 5. Let g be f(6). Which is smaller: y or g?
g
Let t(l) = 61 - 8*l**2 - 71 - 2*l + 6*l. Let o be t(3). Is o >= -70?
True
Let r = -234 + 182. Let j be ((-12)/(-3) - 1)*r/3822. Let i = 4 + -3. Is i at least as big as j?
True
Suppose 5*p = -5*o - 30, -2*o - 3*p - 13 = -0*o. Let c = -5 + 7. Let v be (567/(-54))/(o/c). Is v at most as big as 4?
False
Let f be -1*(6 + (-35)/7). Let c = -1975 - -1151. Let s = c - -84871/103. Do s and f have the same value?
False
Let i = -483 + 135. Let w = -137841.9 - -137842. Is i greater than w?
False
Suppose -7*m + 2*m + 4*x + 59 = 0, -4*m + x + 45 = 0. Is m smaller than -40?
False
Let j(h) = -64*h**2 + 30*h**2 - 2*h + 33*h**2 + 53. Let s be j(-10). Is -26 at least as big as s?
True
Suppose 188 = -2*b - 4*z, 5*b + 497 = -0*b - z. Let m be ((-120)/b)/(964/10). Is -1 <= m?
True
Let f be (-14 + (-19233)/(-54))*3. Is 1027 equal to f?
False
Suppose -14*n + 13*n - 198 = 0. Let k = n + 197. Which is greater: -4/71 or k?
-4/71
Let o(s) = -45*s - 1. Let l be o(-1). Suppose 147 = -53*a - 65. Let t be a/10*-10*(-430)/(-40). Which is smaller: t or l?
t
Let z = 63 + -57.7. Let w = 2693 - 2693. Which is bigger: w or z?
z
Let f(j) = j**3 + 8*j**2 - 15*j - 161. Let q be f(-6). Is 83/11 at least q?
True
Suppose 0 = -2*k - 0*s + 3*s + 14, 61 = 5*k - s. Let g be (-3)/((45/(-54))/(((-50)/(-15))/2)). Is g bigger than k?
False
Let i = 54413 + -161771/3. Let v = 497 - i. Is v at most 8?
True
Let m = 443383/32747 - 3/2519. Let n = 3436/273 - m. Are -1 and n non-equal?
True
Let g be 3/3 + -15 + 3. Let c = -9 - g. Let u = 717 + -713. Is u less than c?
False
Suppose -a + 82 = -115. Suppose -458 = 17*w - 1440 - 2367. Is a at most w?
True
Suppose 5 = -2*a + 3*a, -3*d + 13 = 2*a. Let l = 7142054/153 - 46680. Which is bigger: l or d?
d
Let q = -0.108 + 55.108. Let d = -256 + 206. Let a = d + q. Is a > 0?
True
Let n = 9876 - 9879. Suppose 2*j + 3*j = -2*l - 21, -24 = -2*l + 4*j. Let s be 3/(-2) - (l + n). Is -7 greater than s?
False
Let j = -4593 - -18371/4. Do j and -1708 have different values?
True
Suppose 5 = b + 3*m + 6, -2*m = b. Suppose 3*a - 21 = 6*a. Let y be b/a*(0 - 7). Is 8/11 at most as big as y?
True
Let j = 9633404/25 + -385436. Is -100 equal to j?
False
Let p = -1075 - -1085. Let d = 29 - 15. Let j = 14 - d. Are p and j equal?
False
Let u = 17666 + -17669. Is u >= -79?
True
Let n be (-6)/(-9) - 222/252. Which is smaller: n or -17?
-17
Let t(a) = 15*a**2 - 3*a + 12. Let n be t(5). Let f = 373 - n. Which is bigger: f or 1/40?
f
Let j be -1 - 18/(-22) - 1288961/(-803). Which is smaller: j or 1602?
1602
Let u(j) = 5*j + 2. Let i be u(16). Suppose 0 = 16*h - 14*h + i. Let v = h + 31. Is v bigger than -11?
True
Let c be 1 - (-1 + 61)*1. Suppose -77*z = -64*z - 4030. Suppose 5*o = 5*n + z, -n - n - 5*o = 96. Which is smaller: n or c?
c
Suppose -123*z - 19*z + 172 - 30 = 0. Which is bigger: z or -5/134?
z
Suppose 18 = -4*f + 6. Let x = -4181/399 - -410/57. Which is smaller: f or x?
x
Let j = -9904 - -69403/7. Suppose 3*d + 2*d - 55 = 0. Is j >= d?
False
Let d = -1/12192 + 573277/3084576. Let n = d + -1/253. Which is bigger: n or 3/4?
3/4
Suppose 10 = 3*v + 4. Let g be (4/3)/(v/69). Let w = 47 - g. Which is smaller: 2/115 or w?
2/115
Let n be 480/(-76) + (3/(-7) - 1485/(-231)). Is 3/5 <= n?
False
Let v(t) be the second derivative of t**5/10 + t**4/6 + 2*t**3/3 + 3*t**2/2 + 7*t - 1. Let j be v(3). Is j less than 86?
False
Let w = 432 - 1719/4. Let j be (-2)/4 + 22/4. Let l = j - 3. Which is smaller: l or w?
l
Let t = -0.07 + 0.17. Let z = -37327/15 + 2489. Is t at most z?
True
Let o(m) = m**2 + 4*m + 3. Let n(b) = -14*b - 45. Let u be n(-3). Let k be o(u). Is k greater than -1?
True
Let l be (-1 + -140)/(-2 - (-49)/14). Let j be (3/4)/((-4)/496). Is l at least as big as j?
False
Suppose t - 47 = -3. Let k be ((-155)/(-3) - -7)*(-42)/(-8). Suppose 0 = 126*c - 133*c + k. Is t >= c?
True
Suppose -5*y + 0*y + 2*y + 4719 = 0. Is 1575 at most as big as y?
False
Let b = -190 + 396. Let t = b + -206.1. Which is greater: t or -90?
t
Let k = -1701 - -1739. Suppose -2*x + 6 = x. Is x < k?
True
Let n(k) = -1 + 2 + 321*k + 0 - 326*k - k**2. Let b be n(0). Is 12/37 equal to b?
False
Let w = -24136/25 - -965. Let h = 664 - 663. Is h equal to w?
False
Let p = -1721.1 + 1332. Let t = p - -389. Which is bigger: t or 1/113?
1/113
Suppose 12 = -2*q - 4. Let u be q/(-48)*(-1)/(16/(-6)). Let f be (2/(-12))/((44/24)/11). Which is bigger: u or f?
u
Let g = 7493 - 7513. Are 3.1 and g unequal?
True
Let f = -56.47 + 48.07. Which is bigger: f or 17?
17
Suppose 5*d + 22 = n + d, 2*d = -3*n - 4. Suppose 2*t - 70 = 7*t + 5*c, -2*t - 16 = -n*c. Is t greater than -132/13?
False
Suppose 0*t + 14*t = -t - 0*t. Let g = -6152.33 + 6184. Let u = 0.67 - g. Which is smaller: u or t?
u
Suppose 0 = 5*s + 3 + 2. Let n(r) = 5*r + 59. Suppose 2*q + 32 = 8. Let y be n(q). Is s bigger than y?
False
Suppose 217*f - 96 = 225*f. Which is greater: -24 or f?
f
Suppose 2*f = 5*p - 20, -3*p + 4*f = -p - 24. Suppose 0 = -3*z - 5*j + 2, 0 = 5*z - 3*z - p*j + 4. Which is smaller: -9/22 or z?
z
Suppose 135439 = -474*a - 347567. Which is smaller: a or -1023?
-1023
Suppose -38*u - 3418 + 12538 = 0. Which is smaller: 27 or u?
27
Let o be -3 - 7/(7/523). Let x = 525 + o. Which is bigger: x or 126?
126
Let h = -216 - -216. Suppose 4*o + 4*t = -16, h*t + t - 26 = 5*o. Is -1 not equal to o?
True
Let d be (-35)/(-2010)*184/(-8050). Is d at most as big as -1?
False
Let w = 833.28 + -833.2. Are 16/33 and w non-equal?
True
Let x = -484.5 + 297.4. Let m = 206 + x. Let l = 19 - m. Which is smaller: 0.35 or l?
l
Let s be ((-8374)/(-2862))/(-2 - (-615)/306). Which is greater: s or 298?
s
Let q = 0.01192 - 0.01192. Which is smaller: 1/488 or q?
q
Suppose 238 = 1053*d - 1046*d. Let v(z) = z**2 - 8*z + 4. Let c be v(8). Let r be (2/c)/((-17)/d). Do r and -2/389 have the same value?
False
Let q(y) = -y**3 + 7*y**2 + 9*y + 9. Let i be q(8). Suppose -4*g + i = 29. Is g <= -1?
True
Let j(s) = 45*s**2 - 118*s - 36. Let v be j(3). Let z(p) = 2*p**3 - 2*p + 1. Let t be z(2). Which is smaller: t or v?
t
Suppose -274*b + 272*b + 10 = 0. Let r(h) = h**2 - 12*h + 39. Let g be r(b). Which is greater: 8 or g?
8
Let g be (-600)/(-500) - 2926/180. Suppose -4*h = 3*r - 54, -4*h - 5*r - 32 = -82. Let u = h + g. Is u smaller than 0?
True
Let q = 1.1556 - 121.1556. Is 32 bigger than q?
True
Let n(t) = 30*t - 563. Let c be n(19). Are 29/4 and c nonequal?
True
Let i(j) = -j**3 - 2*j