u or a?
a
Suppose -144 = -4*q + 10*q. Let y be (-12)/q + 30/(-4). Let t be (y/(770/(-12)))/((-8)/(-5)). Which is smaller: t or 0?
0
Let g(f) = -5*f**2 - 2*f + 3. Let h be g(0). Let k be ((-2)/(-6126))/(h/(-18)). Is 1 at most k?
False
Let y(a) = -548*a + 1678. Let n be y(15). Is n equal to -6541?
False
Let d = -87 - -109. Suppose 0 = 3*t - h - d, -t + 32 = 2*t + h. Let q be (t + -7)*(-2)/4. Is -6 at most q?
True
Let h(q) = -q**3 + 9*q**2 + 13*q - 21. Let k be h(10). Suppose v = -2*j + 34, 2*j - 37 = -4*v - k. Let t be (-4)/j + 27060/270. Which is smaller: 99 or t?
99
Let p = 1068 - 1069. Let x = -490 + 238. Let c be x/(-54)*(5 - p). Is 29 greater than c?
True
Let u(g) = -2*g - 20. Let p be u(5). Let l be 2/(p/(-35)) - (-18)/(-9). Let m = -68 + 168. Is l greater than m?
False
Suppose f - 18 = -4*s, -3*s + 29 = -5*f + 4. Suppose 8*c = 3*g + 3*c - 1, -4*g + s*c - 2 = 0. Let h = g + 2. Which is greater: 1/5 or h?
1/5
Let a(c) = 6*c. Let i be a(-5). Let u be 3200/18 + 4/18. Suppose -5*b - u + 28 = 0. Does b = i?
True
Suppose 4*u = -39 + 43, -3*u - 287 = -5*k. Which is bigger: 56 or k?
k
Let a = -20020 + 220541/11. Let i = a - 33019/1133. Which is greater: -1 or i?
i
Let f be (-7)/((-14)/20)*(-4980)/(-150). Let b = f + -326. Which is smaller: 12 or b?
b
Let x be (3/(-9))/(1/(-234)). Which is smaller: x or 16?
16
Let q = -52 - -77. Let d = -9 + 34. Let c = q - d. Is -12 not equal to c?
True
Let p be 2/(-9) + 236/1224. Let m = 321 + -292. Let f = m + -29. Is f bigger than p?
True
Let f = -1298 + 845. Suppose 3*c = -4*u - 55, -2650 = 2*c + 4*u - 2596. Which is smaller: f or c?
f
Let i be 13/(-5) + 0 - 9/(-15). Let g be i + 3/(3/1343). Let k = -50955/38 + g. Is k at most 0?
False
Let d(c) = c**2 - 11*c - 5. Let f be d(13). Suppose f = -0*p + 7*p. Let q(r) = -2*r + 29. Let k be q(13). Is p <= k?
True
Let g = 3737/1330 - -52/95. Let p = 159 + -311/2. Let k = g - p. Is k at most -1?
False
Let f = 1372.285 + -0.285. Is f at least as big as -0.1?
True
Suppose 96*v = 91*v + 5. Let p be (-8)/(-20)*95*v/2. Let w = 33 - 12. Which is greater: w or p?
w
Suppose 8 = -4*z + 2*s, -8*s + 4*s + 16 = 5*z. Suppose -6*l - 38 + 32 = z. Is 45 not equal to l?
True
Let l = 7.409 + -44.498. Let u = 0.089 + l. Let k = u + 37.1. Is -22 at least as big as k?
False
Let k = 859 + -858. Suppose -66 = -5*l + 4*v, 3*v - 71 = -5*l + 2*v. Let f = l - 9. Is k bigger than f?
False
Let l = 9 + 1. Let m be 2950/(-15)*(-30)/(-28). Let r = m - -211. Which is smaller: l or r?
r
Let n(y) = 4*y + 17. Let z be n(-24). Let m = z - -77. Is -20/17 less than m?
False
Suppose -5*k = 5*d + 12770, -4*k + 522 - 10738 = -4*d. Are -2554 and k nonequal?
False
Suppose 2*y + 85 = 5*g, g - 4*g - y + 40 = 0. Which is greater: g or -20?
g
Suppose 15 = 5*x - 0. Suppose -3*k + 460 = 3*c + k, -x*c + 470 = 2*k. Is c at most as big as 161?
True
Let w = -2587/9 + 288. Let b be 3/36*3 + (-9)/(-12). Is w less than or equal to b?
True
Let c = -108/209 + -6869/1672. Let x(z) = 2*z - 2. Let w be x(-2). Are c and w non-equal?
True
Let z(s) = -1012*s + 955. Let q be z(9). Do q and -8153 have the same value?
True
Let m be ((-11318)/(-20))/(167/4008) + 2/5. Which is greater: m or 13581?
m
Let l = 276 + -537. Let g = l - -248. Let z = -1157 - -5724/5. Which is bigger: z or g?
z
Let f be 4/(-18) + (-263)/(-9). Let u = f + 16. Let h be (-2)/3*u/(-195). Which is greater: h or -1?
h
Let i = 8944291/2504 - 3572. Is i < 0?
False
Suppose -28 = -c + 4*v + v, 0 = 4*c + 3*v + 3. Suppose c*k + 3*k + 6 = 0. Which is greater: k or -5/16?
-5/16
Let h(j) = -3*j - 49. Let z be h(-17). Suppose -2*q = 4*r - 2, -z*r - 10*q = -15*q + 17. Let d be (-3)/(-23)*4/(-6). Is d at least as big as r?
True
Suppose 16*b + 2659 = 323. Is b equal to -146?
True
Let v(p) = -151 + 5*p - 2*p**2 + 142 + 4*p. Let n be v(2). Is -4/11 at most as big as n?
True
Let w = 20823 + -20444. Which is bigger: -7/2 or w?
w
Let h be 1980/315*266/20. Let s = -84 + h. Let l = 4 + -20. Is l less than or equal to s?
True
Suppose -4*j = 5*r - 35, 3*j - 6*r = -5*r + 31. Let m be (2/j)/(9*(-3)/234). Are -0.1 and m non-equal?
True
Suppose 340*n + 9500 = -6*n - 188. Let l = -8611/324 - 14/81. Is l >= n?
True
Let q(x) = -x**3 - 16*x**2 + 20. Let t be q(-16). Suppose -5*c = -5*l - t, -4*c - l - 3 = 6. Let z be (c + -3)*2/(-24)*2. Which is bigger: 2.3 or z?
2.3
Let b be 12/16*(-32)/18. Let d = -818.3 + 854. Let k = -33.7 + d. Which is greater: k or b?
k
Let x = -0.03 + 0.03. Suppose 529 + 603 = -4*m. Let z = 224 + m. Which is greater: z or x?
x
Let l = 250 - 177. Let g = -20708 - -20708.1. Is g greater than or equal to l?
False
Let s be (-744)/(-9)*6966/364. Let j = s - 1582. Let h = -155 + 156. Which is bigger: j or h?
h
Suppose 0 = 155*o - 144*o - 726. Suppose o*f + 32799 + 597 = 0. Are -505 and f nonequal?
True
Let i be (88/(-24) + 2)*(248/28 - 2). Which is smaller: i or 0.8?
i
Let q(g) = g**2 - 21*g - 47. Let s be q(23). Let r(d) = d + 5. Let k be r(-9). Which is bigger: k or s?
s
Let n = 18927 + -18928. Which is bigger: n or 1333.9?
1333.9
Let b = 1.408 + -1.358. Let t = -0.023 - -18.523. Let k = 18 - t. Which is smaller: k or b?
k
Let y be (-2*(-15)/(-130))/((0 + -4)/(-4)). Suppose 6*k - 20 = 4*k + 2*d, -2*k + 5*d + 32 = 0. Suppose x - k*x = 0. Which is greater: y or x?
x
Suppose -f = 5*h - 10, 2*f + 4*h + 4 = -0*f. Let u(c) = 2*c + 19. Let x be u(f). Let g = -595/11 - -53. Which is bigger: x or g?
x
Suppose -297 = c + 2*n - 343, 0 = -2*n + 8. Which is smaller: 29 or c?
29
Let l = -4196 - -2946. Is -1251 equal to l?
False
Let b = -10 + 9. Let s be b/4 + (-51)/(-12). Let z be 33/9 - (-104)/312. Is s < z?
False
Let u be 143/(-22) + 5 + -2 + (-104805)/(-29946). Which is greater: 1 or u?
1
Let b be ((-5)/(-2) + -1)/(-17). Suppose -k - 5 = -a - 1, 3*k + 2*a - 8 = 0. Suppose 3*m = 2*p + 6, k = 24*m - 20*m - 5*p - 15. Is b smaller than m?
True
Suppose 12 = -4*p + p + 3*w, -5*p = -w + 20. Let h be 6 - ((p - 0) + 4). Suppose h = -7*o + o. Is -6/17 less than or equal to o?
False
Suppose 77*r - 84*r + 84 = 0. Suppose -13*m = -r*m + 1. Which is bigger: m or -2/339?
-2/339
Let z(r) = -2*r**2 + 24*r + 17. Let d be z(12). Let t be (d/(-8))/(15 - (-890)/(-60)). Which is smaller: t or 0?
t
Let z = 0.105 - 12.305. Let i = -12 - z. Which is greater: i or -0.24?
i
Let z be (0 + -2)/(3 + -1). Let n be (40/4 - (-2927040)/(-274464)) + (-2)/(-3). Which is smaller: n or z?
z
Let k(j) = -2*j - 5. Let t be k(5). Suppose 3*g + 3*y = -22 + 178, 5*g - 266 = -2*y. Suppose g = -3*h - z, -3*h = -h + z + 37. Which is greater: h or t?
t
Suppose -y + u - 7 = 0, 0 = 4*y + 3*u - 74 + 60. Is -3/2027 != y?
True
Let u(c) = c**3 + c**2 + c + 3. Let n be u(0). Suppose 6*j - 47 - 30 = 37. Are n and j equal?
False
Let a be 42 - (3/(-1))/((-3)/(-2)). Let f = a + -23. Suppose -3*u = -4*q - 20 + 1, 5*q + f = u. Is u smaller than 2/33?
False
Let q be 272/(-9) + (-6)/(-27). Let w be -1*q/(-280)*(-2)/48. Which is smaller: 1 or w?
w
Suppose j - f = -4*f - 2, 0 = j - 4*f - 33. Suppose 8*v - 355 = j*v. Which is smaller: v or -72?
-72
Let j = 59 - 48. Let r(q) be the first derivative of -q**2/2 + 11*q - 9. Let i be r(j). Which is smaller: -1/13 or i?
-1/13
Suppose -20*n - 65*n - 100*n + 51800 = 0. Which is smaller: n or 2237/8?
2237/8
Let t(l) = -l**2 - 12*l - 24. Let i be t(-9). Suppose i*q = -2*q - 10. Let x be (-141)/(-15) + q - 3/(-5). Is 7 at least x?
False
Suppose 5*a = -0*a - 125. Suppose 117*n - 152*n - 875 = 0. Is a less than or equal to n?
True
Let y = -219 - 256. Let q = y + 479. Does q = -16?
False
Let t = 15523987/1002 + -15493. Which is bigger: t or -4?
t
Let y(v) = -v**3 + 10*v**2 + 9. Let z be y(10). Let i be z*1/(-2)*340/(-51). Are 31 and i unequal?
True
Let b = -43484460 + 135323637599/3112. Let t = 3/389 - b. Let z = t + -37/72. Which is greater: -1 or z?
z
Let l = 3/1097 + -1947187/4388. Is -444 less than or equal to l?
True
Let g(c) = c**3 - 18*c**2 + 8*c - 173. Let t be g(18). Is -31 greater than t?
False
Suppose -92 = -2*p - f, 17*p - 4*f - 64 = 16*p. Suppose 2*u + p = -2*u. Which is smaller: -14 or u?
-14
Let t = 2132 + -2121. Let l(n) = n**3 + 6*n**2 - n - 3. Let h be l(-6). Suppose -h*i + 14 - t = 0. Which is greater: i or 0?
i
Let b be 2/((-30)/(-111))*10/(-152). Let x = -14/19 - b. Let a = -21/320 - -1/20. 