= -j. Suppose p*b + 10 = 5*b. Suppose 8 = b*s - 4. Which is bigger: s or 4?
s
Let l be 114*((-65)/10 - -9). Is l at most 285?
True
Let n = 7259195/103 - 70477. Which is smaller: 2 or n?
n
Let f(t) = -3089*t**2 + 91*t - 178. Let l be f(2). Is l <= -12354?
False
Let x = -6693 - -6916. Are 229 and x unequal?
True
Let l = 0.157 - -25.343. Let z = 22.5 - l. Let y = 8 + -2. Is z > y?
False
Let r(i) = -i**2 - 8*i - 12. Let h be r(-5). Let b be 15 - (66/(-99))/(1/h). Do 1 and b have the same value?
False
Let t(m) = 12*m - 70. Let y be t(7). Let h be (-6)/(-2) - y/49. Is 4 smaller than h?
False
Suppose h - 171 - 104 = 3*b, 0 = 2*h + 8. Let n = -30 - b. Let a be (-29)/(-21) - 42/n. Which is greater: a or -1?
a
Let s = 323153/29200 + -8/1825. Which is greater: s or -2/3?
s
Suppose 4*g - 33*d = -37*d - 792, -5*d - 10 = 0. Which is bigger: g or -202?
g
Let m(w) = -61*w + 4428. Let t be m(63). Is 598 at most t?
False
Suppose -86*q = -84*q + 62. Let x = -66 + 35. Let i = x - q. Does -2/9 = i?
False
Let t(z) = 26*z + 597. Let j be t(-23). Which is smaller: 8/541 or j?
j
Suppose -111 = -5*d - b + 4*b, 2*b = -2*d + 38. Let q(u) = -5400*u - 21606. Let p be q(-4). Is p smaller than d?
True
Suppose -35 = -t - y, 43 = t + 4*y - y. Let w(x) = -18*x + 26. Let n be w(-11). Suppose 5*j + 2*j = n. Which is smaller: j or t?
t
Suppose -24*p = 54*p - 119*p. Does p = 2/747?
False
Suppose -31 = -41*k - 59 + 28. Is -3/2167 less than k?
True
Let t be (-2)/(-9) + 1684/36. Let c = 86 - 85.57. Let x = -0.33 + c. Does x = t?
False
Suppose -4*h - 4*p = 552, 0*h - 534 = 4*h - 2*p. Let d = 1267 - 1401. Which is bigger: h or d?
d
Let x = -1 - -1. Let r(j) = -2*j**2 + j - 18. Let s be r(-6). Let l = 1147/12 + s. Is x greater than l?
True
Let g be (-1 + (-4402)/(-4405))/((-45)/(-30)). Which is smaller: g or -1?
-1
Let d = 3530 + -3530. Is d > -6/709?
True
Suppose 23*i - 81 = -4*i. Suppose -5*y + 2*l + 3*l = 0, -4*y + i*l = 0. Which is smaller: 2/187 or y?
y
Let l(b) = 2*b**2 - 21*b - 371. Let f be l(23). Which is greater: 1014/5 or f?
f
Let i = 441 + -380. Let m = i + -61. Let l = 11.17 - 0.17. Is l >= m?
True
Suppose 8*a = 22*a + 6944. Is a at least -494?
False
Let u = -50.05 + 77.05. Is u bigger than 3/86?
True
Suppose 0 = 34*q + 14446 - 78978. Which is bigger: q or 1897?
q
Suppose 0*q + 1656 = n + 2*q, -3267 = -2*n + 5*q. Let b = n - 225504/137. Suppose 28*w - 48*w = 0. Are b and w non-equal?
True
Let o be ((-18901)/9553 + (2 - 0))/(10/12). Is -0.09 <= o?
True
Let t = 13 + 9. Suppose 0 = t*c - 26*c - 56. Let w(u) = u**2 + 14*u - 4. Let k be w(c). Is k >= -4?
True
Suppose g + 6*g - 28 = 0. Suppose -f - 10 = 3*o, -10 = g*o - 2*o. Let s be -1*f + 70/98. Which is smaller: s or -4?
s
Suppose 0 = -l - 5*o - 1 + 2, 0 = -4*l - 4*o + 36. Let c be 3/24 + l/(-616). Which is greater: 0 or c?
c
Suppose -y + 2*o = 48, 2*y + 132 = -5*o + 54. Let q = y - -78. Suppose 21 = -5*z - q. Does -11 = z?
True
Let g = 12203 + -12180. Is g equal to -57?
False
Let w = 1764 + -1765. Let g = 1673 + -66927/40. Which is greater: w or g?
g
Let c(x) be the second derivative of -2*x**3/3 - 50*x**2 + 31*x. Let z be c(-25). Is z != 1.64?
True
Let u(k) = -k**3 + 26*k**2 + 23*k - 5. Let w be u(27). Suppose 4*s = 6*s + 222. Is s less than or equal to w?
False
Let f = 26230 - 3567259/136. Is f bigger than 0?
True
Let f be (66 + -68)*(-1*2)/2. Let u be (f - 3)*2/(-6)*45. Which is greater: 18 or u?
18
Let j(c) = 2*c**2 - 5*c - 17. Let n be j(-2). Which is smaller: n or -3/28?
-3/28
Suppose 34*h - 29*h = 2*z - 266, 5*h - 5*z + 275 = 0. Let g be (-4)/8 + 82*(-25)/40. Is h at least g?
False
Let h be 3 + (-34)/(-6)*-3. Let v = -12 - h. Let g be v*(-9)/(-6) + (-354)/(-12). Is g > 32?
True
Let h(m) = 38*m + 88. Let k(j) = 5*j - 43. Let b be k(8). Let x be h(b). Is x at least as big as -11?
False
Let u = -754 - -299. Are -446 and u equal?
False
Let h be (-12 + (13 - 0))/((-1)/8601). Which is greater: h or -8603?
h
Let g = 0.056 - -0.352. Which is bigger: 5/6 or g?
5/6
Let o = -27.15 - -26.88. Let w = -0.09 + 0.41. Let f = w + o. Is f at most as big as 9?
True
Suppose 2*r = -r - 9. Let q be (-3)/r*(-134)/(-2). Do q and 67 have different values?
False
Let j = 43/114 + -31/57. Let o(l) = -5*l**2 + 16 + 3*l**2 - l - 17 - l**3. Let m be o(-2). Which is smaller: m or j?
j
Suppose k + 2*b = 47, -k - 3 + 51 = b. Suppose -156 + 44 = -2*n - 4*z, 3 = 3*z. Is k greater than or equal to n?
False
Let b = -0.2 - -0.3. Let h = -0.15 + b. Let k = 17273 + -155455/9. Which is smaller: k or h?
h
Let t be ((-182)/(-4))/(1/(-10)). Let p be (t/(-7))/((-3)/12). Let j be (3 - p/(-8))*-2. Which is bigger: 60 or j?
60
Let u be (-5)/6*2*18/(-3). Let a be ((-4191)/(-420) - u)/(36/10). Which is greater: a or 0?
0
Let b = 26999 - 26532. Which is greater: b or -8/3?
b
Let k = -1658 - -1612. Let x = -112 - -67. Is k at least as big as x?
False
Let u be (-3)/2 + 65*-1. Which is smaller: 2 or u?
u
Suppose 353 - 1146 = 29*k + 1237. Which is greater: -57 or k?
-57
Let o = -18.219 - -16.519. Is o bigger than -1050?
True
Let d be 18166/61256 - (-18)/(-78). Do d and 1 have different values?
True
Suppose -4*p = 55 - 51. Let b = 619 - 100279/162. Which is greater: p or b?
b
Let v(z) = -z - 7. Let w be v(-10). Let m be (7/1 - w) + 1. Let p(f) = f**3 - 17*f**2 - 168*f - 2. Let a be p(24). Is m bigger than a?
True
Let p = 207/4 + -51. Let u be (-414)/(-897) - (-57)/(-546)*-12. Is p bigger than u?
False
Suppose 2*x = 2*f - 42, f - 7 = 3*x + 24. Let h(o) = 3*o**2 - 8. Let s be h(-4). Suppose 13*i - 168 = s. Are i and f unequal?
False
Let t = -7604.8 - -7604.64. Let b = -1 - -1. Is t bigger than b?
False
Let d(g) = 39*g**3 - 39*g**2 + 5*g - 4. Let n be d(1). Is -144/115 > n?
False
Let w(l) = l**3 - 11*l**2 + 9*l + 11. Suppose 3*r - 38 = -2*g - 2*g, 0 = 3*r - 5*g - 20. Let c be w(r). Let j be (-15)/2*(-1)/25. Which is greater: c or j?
c
Let f = 33870 - 34562. Which is bigger: 7 or f?
7
Let k be (-2637)/27 - (-1)/(-3). Let f = -62 - k. Let n be -2*f/(-8) + (0 - 3). Are n and 5 equal?
False
Let a = 37 + -63. Let c = a - -62. Let g = 628 + -591. Which is bigger: c or g?
g
Suppose -2*v = v. Let i = 449551/444 + -12151/12. Which is bigger: v or i?
v
Let p be (-27269)/4329 + 2/((-6)/(-21)). Which is bigger: 1 or p?
1
Let d(g) = 104*g - 3952. Let y be d(38). Is -51/298 less than or equal to y?
True
Suppose -94 = -2*x - 5*p, -x + 53 = p + 3*p. Which is greater: 896/25 or x?
x
Suppose 0 = 9*l + 1269 + 783. Is -680/3 equal to l?
False
Let w = -10617 + 15578. Is 4962 at most as big as w?
False
Let i be 1 - -7*81/(-441). Is i at most -0.0988?
True
Let l be (-4 - 29/(-5))/(9 + 184/(-20)). Is 11 smaller than l?
False
Let m(k) = -29*k**2 + 39*k**2 + k - 4 - 32*k**2. Let s be m(2). Let c be 3/(-5) - (-56)/s. Is -2 bigger than c?
False
Let s be 132/36*(-40)/(-110). Let y = -0.503 + 0.003. Does y = s?
False
Let u(h) = -5*h + 13*h - 20*h - h**2 - 26 - 18*h. Let v be u(-29). Do v and 22/13 have the same value?
False
Let r(m) = m**2 + m - 1. Let f(z) = 4*z**2 + 6*z + 16. Let a(l) = f(l) - 6*r(l). Let u be a(4). Is -12 bigger than u?
False
Suppose -d - 4*d + 319 = 4*z, 4*z - 3*d = 295. Suppose 94*g - z*g = 1998. Is g less than 111?
False
Let v = 665 + -666. Which is smaller: v or -50/291?
v
Let n = -127 - -126.777. Let y = n - -0.423. Is y at least 0.19?
True
Let r(c) = c**2 - 4*c - 736. Let i be r(-22). Which is bigger: -172 or i?
i
Let i = 387 - 388. Let l be i*(-6 + (-2 - -7) + 20). Do l and -20 have the same value?
False
Suppose 0 = 24*t - 17*t - 1239. Suppose -16*q + 3201 = t. Does 189 = q?
True
Let n be ((-19118)/(-22990))/(6/(-20)). Which is smaller: -2 or n?
n
Let n(w) = w**2 - 1. Let i be n(2). Let c be (-2)/i - 41/(-3). Let y(u) = -u**3 - 28*u**2 - 122*u - 610. Let b be y(-24). Is c at least b?
False
Let w = -6 + 5.997. Let r = 928 + -928.027. Let k = w + r. Is k greater than 0?
False
Let q = -706 - -541. Let l be q/22*(18/(-15) - 2). Which is greater: l or 189/8?
l
Let a = 392 + -2365/6. Let u be (-2 - 40/(-12))/(1/(-3)). Let t be (u/(-5))/((-12)/90) + 4. Is t bigger than a?
True
Let v(j) = j**3 + 13*j**2 + 12*j + 1. Let d be v(-12). Let r be (-1027)/(-553) + 12/(-14). Is r less than d?
False
Suppose -3*r - 12 = -3*j, r + 15 = -j + 9. Let u = 1.9 - 2.04. Let v = -0.24 - u. Which is grea