/18 - 127/(-2). Which is smaller: j or n?
n
Suppose 15*j = 3*j + 9408. Which is smaller: j or 783?
783
Let b be 21 - (-2)/3*-6. Let m(h) = -235*h + 4946. Let d be m(21). Which is bigger: b or d?
b
Let b(j) = 3*j**2 - 206*j + 181. Let d be b(66). Which is smaller: d or -339?
d
Let q be 9/((-441)/196) + (-47180)/(-2). Which is bigger: q or 23585?
q
Let j = 18494 + -13649. Which is greater: j or 4846?
4846
Suppose -103*y + 106*y - 27 = 0. Suppose -y*t - 4*t = -5*t. Is t bigger than 4/37?
False
Let s = -4.42 + 4.9. Let v = -0.38 - s. Let r = 4.86 + v. Is 0 bigger than r?
False
Let r be -1 + 11/12 + (-68438)/(-456). Is -29 less than r?
True
Let d be ((-36)/10 + 4)/(66/68079). Which is bigger: 414 or d?
414
Suppose -34 = -4*w + 46. Let i be (-25 - -28)*2/(w/(-66)). Is -20 equal to i?
False
Let u be 6/9*-2*((-30)/(-104212))/(-5). Is u at most 1?
True
Let o be (-39624)/650 + 2/(-50). Is o equal to -49?
False
Let m be (0*3/12)/(-49 - -53). Are -1/3896 and m non-equal?
True
Let t be (-1488)/184 + 14/161. Let u = 19 + -21. Which is smaller: t or u?
t
Suppose -y + 166 = 2*a, a + 3*y = 5*a - 312. Suppose 0*u + 3*u + 4*h - 257 = 0, -h = 4*u - 321. Which is bigger: u or a?
a
Suppose -364*j = -90*j - 35033 + 1331. Is j less than or equal to 155?
True
Let b be 1092/168*4/26. Is -2/283 > b?
False
Let n = -6 + 8. Let i(w) = 2*w**2 - 4*w + 2. Let q be i(n). Let t be (3 - q)/(-1 - 0). Is -2/55 > t?
True
Let t(l) = 575*l + 28. Let m be t(-8). Let f be (m/(-34))/((-20)/(-50)). Let d = 336 - f. Is d != 1?
True
Suppose -2*m - 12 = 2*d, -5*d + m = -m + 65. Suppose 35*j + 90 + 464 = -181. Which is bigger: j or d?
d
Let r(v) = v**2 + 76*v + 61. Let s be r(-67). Which is smaller: -2707/5 or s?
s
Let l(f) = 4*f**2 - 410*f + 185. Let n be l(102). Which is smaller: -318 or n?
-318
Let z = -29875/31 - -961. Which is smaller: -2 or z?
z
Suppose -41*b + 8*b + 266805 = 30*b. Which is smaller: 4236 or b?
b
Let s(u) = u**2 - 17*u - 47. Let k be s(-12). Let o = k - 187. Is 115 greater than o?
True
Let l = -0.6 + 0.5. Let d = l + -9.9. Let w = 59/265 + -33/53. Which is smaller: w or d?
d
Let l = 4790 - 4791. Which is smaller: l or 0.071?
l
Let a(c) = c**3 - c**2 + c. Let j(u) = 2*u**3 + 3*u**2 + 10. Let m(n) = a(n) - j(n). Let y be m(-5). Let b(z) = -z**2 + 8*z - 9. Let l be b(y). Is l > -29?
False
Let y = 41 - 45. Let m(k) = 2*k**2 + 31*k + 23. Let p(x) = 1. Let q(s) = y*p(s) + m(s). Let a be q(-15). Which is smaller: a or 2?
2
Let m = -344 + 1144. Let y = -770 + m. Let a(b) = -b**3 + 6*b**2 - b. Let n be a(4). Which is greater: y or n?
y
Let c = -130 - -96. Let k(l) = -l - 6. Let i(f) = -2*f - 7. Let b(z) = -6*i(z) + 7*k(z). Let a be b(-7). Which is bigger: a or c?
c
Let c = -65 + 44. Let h(q) = q**3 - q**2 + q + 3. Let v be h(0). Suppose -5*t = 4*j + 90, 105 = -v*t - 2*t - j. Which is smaller: c or t?
t
Let q = -3496 - -3552. Suppose -2*h = 4*v - 226, 2*h - 279 - 4 = -5*v. Let u = v - q. Which is smaller: u or 2/43?
2/43
Let c = -24 + 55. Let y = -31.056 + c. Let x = y - -2.056. Do x and 0.2 have different values?
True
Let m = 20/2693 - 46166/5491027. Which is smaller: m or 0?
m
Let m = 48.4792 - -0.5208. Is 32/11 smaller than m?
True
Let v(k) = k**3 + 6*k**2 + 5*k - 2. Suppose 0 = -9*a + 2*a - 35. Let j be v(a). Let p be 0 + j - (14 + -10). Which is greater: p or -3?
-3
Let p = 15.234 - 31.534. Is 1/16 bigger than p?
True
Let y be (-8)/(-12) - 14/3 - 1. Let j(s) = s**3 + 2*s**2 - 15*s + 1. Let p be j(y). Let x be (-2)/5 + (-144)/(-385). Does x = p?
False
Let v = 36523339/35 - 1043342. Let j be (27*9)/((-14)/(-10)). Let i = v - j. Which is bigger: 8 or i?
i
Let r = 21.011 - 20.81. Which is bigger: -2/5 or r?
r
Suppose -12*d = -13*d - 2. Let g be (-15)/(-345)*(1*-20)/d. Let s = -93 + 92. Is s at least g?
False
Let t = 26.78 + -27.905. Which is smaller: 0 or t?
t
Suppose 0 = -6*t + 27 - 3. Suppose r + 2*s - 58 = 6*r, -16 = -t*s. Let w(h) = h**3 + 11*h**2 + 9*h - 11. Let o be w(r). Is o bigger than -1?
False
Suppose 3299*s - k = 3300*s + 373, -5*s - 3*k = 1855. Is -375 smaller than s?
True
Let u = 104 + -217. Let l = 99 + u. Is l at least as big as -0.3?
False
Let k(a) be the second derivative of a**4/12 + 5*a**3/2 + 11*a**2/2 - 11*a. Let i be k(-14). Let l = i + 6. Is l smaller than 3?
False
Let x(q) = q**2 + 30*q - 96. Let l be x(-34). Let j be 8 + (-336)/l - 0/2. Let g = -3.5 + 3. Is g != j?
True
Let d = -28 + 26. Let b = 8 + -11. Let y be (10/15)/(b/9). Is d smaller than y?
False
Let x(g) = 12*g - 1. Let h be x(1). Let j = -246 - -222. Let f be (j/(-16))/((-3)/(-22)). Is f greater than h?
False
Let n(v) = 7*v**2 - 178*v + 72. Let r be n(25). Suppose -10 = 5*z - 4*j + 5*j, 0 = 4*z - 4*j + 32. Let x be 2*z/(6*1). Which is bigger: x or r?
x
Let s = -7817/1914 - -265/66. Is s bigger than -4.81?
True
Let p = -69841/10218 + 3/1703. Let c = 55/2323 - -1178117/181194. Let x = p + c. Which is smaller: x or 1?
x
Let j = -121 + 81. Let p = 1688 - 1687. Which is bigger: j or p?
p
Let j = 360 + -190. Let u = 159 - j. Is 16 > u?
True
Let r = 392 - 395. Let b be (10/(-8))/(r*3/(-36)). Let f = 0 - 12. Are f and b non-equal?
True
Let r be 8/(-6) + 4 + (-22)/6. Let h be (r*24)/6*(2 + -1). Which is smaller: h or -48?
-48
Let l = 31 + -28. Let w be 8/6*18/4. Let t(j) = j**3 - 5*j**2 - 7*j + 11. Let u be t(w). Which is smaller: l or u?
l
Let l(k) = -12*k**3 + k**2 - 53*k - 336. Let d be l(-6). Which is smaller: d or 2612?
d
Let n(x) = -11*x**2 - 1852*x + 9249. Let l be n(5). Let t = -310 - -24. Is t != l?
False
Let g(b) = -b**2 - 12*b - 19. Let t be g(-9). Suppose 0 = 3*v, -2*d + 2*v = -2*v - t. Let u be (5/10)/(1/12). Which is greater: d or u?
u
Let a = -22 + 24. Suppose 3*v = s + 270, 0 = -0*s + a*s + 4*v + 500. Does s = -259?
False
Let v be (5448/40)/(-4*1/20). Is -682 greater than or equal to v?
False
Suppose 2*a - 329 = -a - 2*n, -440 = -4*a - 4*n. Suppose 13*y - a = 14*y. Which is smaller: y or -110?
-110
Let z = -29684 - -29683.1. Is z at least as big as 47.5?
False
Let o = 22914 + -22859. Which is greater: o or 205?
205
Let p be -160*((-6)/4 - 114/(-60)). Let f(i) = -17*i - 11. Let u be f(-6). Let g be p/14 + (-39)/u. Which is greater: 0 or g?
0
Let k = 701 - 1359. Let j = -854 - k. Which is smaller: j or -1?
j
Let v be 28/(-7) + -33 + 37. Is v greater than or equal to -14/841?
True
Let u(t) = t + 11. Let i be u(2). Suppose -i*h = -14*h. Which is smaller: h or 6/53?
h
Let f = -0.2 - -0.66. Let g = 0.9 - -0.64. Let h = g + f. Which is bigger: h or 0.05?
h
Let j be (-7)/(308/(-40) + 7) - 2787. Do j and -2781 have the same value?
False
Suppose 0 = 2*z + 2, 7 = b - 5*z - 15. Suppose 0 = -68*k + 290 - 154. Is k != b?
True
Let g(l) = -3*l - 13. Let a be g(-5). Let d be (18/(-5) - a) + 3. Let c = 9 - 11. Is c at most as big as d?
False
Let r(m) = -83*m**3 + 7*m**2 - 12*m + 3. Let b be r(2). Which is greater: b or 3?
3
Let u be 39 - -2916 - (-8 - -3). Which is smaller: u or 2959?
2959
Let p = 1788.3 - 1759. Let g = -0.061 + 1.061. Do p and g have the same value?
False
Let j(r) = -2*r - 2. Let m(a) = 13*a + 49. Let o(q) = -6*j(q) - m(q). Let n be o(-38). Let u be 4/14 - (-90)/(-21). Is n at least as big as u?
True
Let b be -1 + -3 + -14 + 1. Suppose 2*n = 4*p + 64, -4*p - 3*n - 37 = 27. Is p > b?
True
Let f = -990913/18 - -55037. Is f greater than -14?
True
Let w = -23 - -26. Let s be (w + -4*1)*(-6 + -459). Let g be ((-6)/s)/(4/40). Which is smaller: 1 or g?
g
Suppose 98*v + 64382 = 76*v + 2430. Is v at least as big as -2816?
True
Suppose 3*w - 15*k + 17*k - 1144 = 0, -k - 1138 = -3*w. Is 375 > w?
False
Suppose -5*l = 3*r - 8*r - 55, 0 = 4*l. Let m be (-2555)/(-21) + (-20)/12. Suppose 133*f = m*f - 104. Is r bigger than f?
False
Suppose 68*z = p + 66*z + 16, -3*p = -5*z + 35. Suppose 0 = 5*t - 3*t - 4. Suppose 0 = -4*s + 16, -q - 7 = -2*q - t*s. Which is bigger: q or p?
p
Let n be 308/39*((-21)/2 + -23 + 36). Is n < 20?
True
Let v(l) = l**3 + 21*l**2 - 28*l - 34. Let y be v(-22). Suppose 0 = 2*d + 5*d + y. Suppose 2*x + b = -29, 2*x + 3*b - 6*b + 41 = 0. Which is bigger: x or d?
d
Let o = 616/9 - 187/36. Which is smaller: 64 or o?
o
Let u be 12/(-2)*(-18)/(-4). Let j be u/(-36) + 5/20. Is 17/9 > j?
True
Let x be ((-38)/57)/((-1)/12*2). Let m = 134 - 128. Is m less than or equal to x?
False
Let 