re j and l non-equal?
True
Suppose -27*k - 242 = -5*k. Let q(y) = -y**3 - 8*y**2 + 33*y - 4. Let m be q(k). Is -4 bigger than m?
False
Let p be (1/(6 - 52/8))/(24/16). Is -417 <= p?
True
Suppose 5*n + 106 + 64 = 0. Let u(l) = l**2 - 16*l - 26. Let f be u(-2). Suppose 16 = 4*p, -2*i = f*p - 12*p + 78. Is i at least as big as n?
False
Let p(a) = -5*a - 2. Let o be p(-4). Let r = o - 20. Let t be (-3)/((-7)/(-2) + r). Is t at most as big as -1?
True
Suppose u - b - 28 = -5*b, 2*u - 2*b - 16 = 0. Suppose 3*h = -0*h + 5*i + 126, -4*h - 3*i + 139 = 0. Suppose -40 = -7*d + h. Is u greater than or equal to d?
True
Let u be (-4 - -5)*-7 + 30 + -23. Is u at least as big as 4/603?
False
Let c = 2119 + -2226. Do c and -1/5 have the same value?
False
Let x = 0.8386 - 1.1386. Which is greater: x or 3750?
3750
Let p = 6901/4 + -1725. Which is smaller: 7/8 or p?
p
Let c be (-4)/14 + (-46)/(-14). Let q = 45 + -40. Suppose 0 = -5*a - b - 87, c*b = 3*a + q*b + 55. Which is smaller: -18 or a?
-18
Let n be (15/((-450)/(-501)))/((-6)/(-50)). Which is bigger: n or 138?
n
Let n(w) = -w**2 - w + 2. Let k be n(-2). Let b = -7/184 - -129/368. Which is greater: k or b?
b
Let j(r) = 3*r**2 + 25*r + 7. Let i be j(-10). Suppose -i = 6*g - 645. Suppose -g = m + 13*m. Is -10 bigger than m?
False
Let a = -86 - -91. Suppose -j + a = 0, 10*t - 6*t + 4*j - 372 = 0. Is t < 88?
False
Let k be (-11)/((-22088)/22096) + -8 + (-3)/1. Is 0.32 smaller than k?
False
Suppose -2*s + 588 = 2*s. Suppose 5*t = 2*t - s. Let o = -67 - t. Which is bigger: 0.2 or o?
0.2
Suppose -3*y - l = 3746, -2*l - 655 - 592 = y. Which is bigger: y or -1252?
y
Let l = -127/675 + 458663/2409075. Is l bigger than 1?
False
Let q = 9713.92 + -9709. Is q bigger than 6?
False
Suppose -986 = 5*x - 3*t + 2*t, -3*x - 582 = t. Are x and 0.14 equal?
False
Let w = -407 + 444. Let u be (w/(-2) - 2)*108/54. Which is bigger: -44 or u?
u
Suppose 3*s = s. Let i be 387/1892*((-114)/(-189) + (-8)/36). Which is greater: s or i?
i
Let a = 846503/5 + -168648. Is 652 bigger than a?
False
Let d be (8/(-28))/(258/301). Which is greater: 1.71 or d?
1.71
Let o be 16/(-6)*(-210)/(-20). Let l be 40/(-6)*273/o. Is 60 less than or equal to l?
True
Let r = 378 - 800. Let h = r - -423.69. Let g = -0.31 - h. Is -13 less than or equal to g?
True
Suppose -74 = 3*k - 221. Let b be -27 - 0 - 7/(k/(-35)). Which is greater: b or -11?
-11
Let v = 5977 + -5972.6. Which is smaller: 2/27 or v?
2/27
Let c(f) = -2*f**3 + 9*f**2 + 5*f - 17. Let u be c(-7). Which is bigger: 8 or u?
u
Suppose -134 - 136 = -18*n. Suppose -n = 3*c, -3*x + 10*c = 5*c + 170. Which is bigger: -131/2 or x?
x
Let h = 2/6721 + -6725/13442. Is h > -118.2?
True
Let n = 187 - 125. Let d = n - 116. Let x = 56 + d. Which is greater: x or 1?
x
Let d = 19821/405896746 - -1/32363. Are d and 0.1 nonequal?
True
Let i = 0 + 1. Let t = 288.4 + -390. Let a = 101.5 + t. Is a greater than i?
False
Let q(o) = -210*o - 3350. Let j be q(-21). Which is bigger: j or 1058?
j
Let s = -15739/117 - 3710/117. Which is smaller: -166 or s?
s
Let a(f) = f + 58. Let l(h) = -2. Let s(u) = -a(u) + 2*l(u). Let w be s(-10). Do w and -52 have the same value?
True
Let d = 41 - 43. Let y = d - -2.46. Let j = -0.36 + y. Which is smaller: -3 or j?
-3
Let q(m) = m**2 + m - 3. Let c be q(-3). Let f be (8/6)/((-3)/(-108)). Suppose -c*p - f = 5*p. Is 2 >= p?
True
Let f(m) = m**3 - 9*m**2 - 12*m + 17. Let q be f(10). Suppose 107 = 2*j + 27. Let g be -14*(3 - 114/j). Does g = q?
False
Let x be (-19 - -6)/((-238)/5202). Is x not equal to 285?
True
Let h(s) = -76*s**2 - 4*s + 3. Let k be h(2). Let z = -3395/11 - k. Let l = -25 + 26. Are z and l non-equal?
True
Suppose 3*a + w = -202, -2*w + 74 = -a - w. Let l be (165/66)/((-15)/130)*3. Is l greater than or equal to a?
True
Suppose 17 = 6*w - 139. Suppose 4*k = -s - 0 - w, 3*k = -3. Is -20 greater than s?
True
Let p = 2204044612/22256571 + 15/322559. Let o = p + -99. Is o smaller than 1?
True
Let c be (-4 + ((-185)/(-15) - 6))*-27. Let h be (c/(-14))/((-375)/(-20)). Which is smaller: -1 or h?
-1
Let f be ((-6)/28630)/((-75)/(-21) - 5). Do 0 and f have the same value?
False
Suppose -51*z = -42*z - 540. Suppose -z = -5*g - 4*x, 3*g + x + 4*x - 36 = 0. Is 12 at least g?
True
Let s = -51808.9058 - -51802. Let h = -0.0058 - s. Let r = 4 - 5. Which is bigger: h or r?
h
Let k be 33 + -46 + 2 + 6 - (-1364)/278. Is 1 < k?
False
Suppose -12*k + 136 - 76 = 0. Suppose -k - 14 = 2*r + 5*x, 2*r + 16 = -4*x. Let f = -1 + 1.01. Is f != r?
True
Let h(d) = d**2 + 5*d - 9. Let j be h(2). Suppose -2*p - 3*v = -52, -2*v - 6 + 136 = j*p. Suppose p - 40 = -2*f. Which is greater: 9 or f?
9
Let z(j) = j**3 - 14*j**2 - 14*j - 7. Let w be z(15). Suppose 0 = w*f - 10*f + 16. Let i(r) = r**2 - 8*r - 5. Let x be i(f). Which is bigger: 1 or x?
1
Let i(h) = h**3 + 9*h**2 + 6*h + 39. Let r be i(-9). Do r and -23 have different values?
True
Suppose 3*g + 578 = 1823. Let j = -469 + g. Are j and -55 nonequal?
True
Let s = 118178/5 - 23540. Is 97 > s?
True
Let p be 6*(-3)/6*(-10)/(-6). Let i be (319/(-682))/(p/(-10)). Which is smaller: i or -2?
-2
Let c = -182/19 + 100483/10488. Let f = -4189 + 4190. Which is bigger: f or c?
f
Let g = 46 - 79. Let b(p) = 28 + 10*p + 6 - 10 + 142. Let l be b(-20). Is l at most g?
True
Suppose 5*s - 7*s = -6. Suppose 2*z = -s*z. Let i(a) = 2*a. Let o be i(z). Are 24 and o equal?
False
Let s be (6 - -5*(-8)/40)/(-1). Is 10 greater than or equal to s?
True
Suppose 29 = -d - i, 5*d + 44 = 3*i - 109. Let k(g) = -8*g - 207. Let s be k(d). Are s and 3 nonequal?
True
Suppose 0 = -82*c - 9*c - 728. Let u = 4.1 + -6.1. Is u > c?
True
Let u be (-2)/(-4) + 2/(-4). Let r be ((645/100)/(-1))/(3/36). Let t = 77 + r. Which is greater: t or u?
u
Let h = -8497/110 - -309/4. Suppose -3*x + 21 = 223*m - 227*m, 3*m = -3*x + 21. Which is smaller: m or h?
m
Let w = -121676608 - -1102241623018241/9058780. Let g = w - -193078836883/335174860. Let f = g + -576. Which is greater: f or 1?
1
Let d = 111335 - 111335. Let z = -10747/1524 + 85/12. Are z and d equal?
False
Let r(h) = h**3 + 30*h**2 + 2*h + 61. Let w be r(-30). Suppose -5*s = -y - 23, 0 = 6*y - 4*y - s + w. Let b = -40.7 + 44. Is b bigger than y?
True
Let p be 3/(((-40)/100)/(52/14)). Is p bigger than -29?
True
Suppose -5*v - 2*k - 2*k + 397 = 0, 253 = 3*v - 5*k. Suppose 158*t + v = 149*t. Which is smaller: t or 3/2?
t
Let g(z) = -z**3 - 23*z**2 - 44*z + 154. Let j be g(-7). Which is smaller: j or -1925/6?
j
Let s(a) = 29*a**2 - 33*a - 67. Let b be s(-3). Which is smaller: 4388/15 or b?
4388/15
Suppose 804 = 4*i - 356. Let g = 291 - i. Is 4/71 < g?
True
Let k = 48 + -29. Suppose -7*z = -k + 236. Suppose 4*u - 4*f + 112 = 0, 3*u + 65 = u - f. Do u and z have the same value?
True
Suppose 0*g - g - 49 = 0. Let k(o) be the third derivative of o**5/60 + 7*o**4/12 - 8*o**3/3 - 2*o**2 + 16*o. Let d be k(-11). Is d > g?
False
Suppose -4633*y + 4673*y + 4120 = 0. Is y >= -145?
True
Let f = -280 - -338. Let i be -1*3 + 7 + 27/(-6). Which is bigger: f or i?
f
Let n(r) = -r**3 - 14*r**2 - 29*r + 14. Let o be n(-12). Which is smaller: o or 80?
o
Suppose 0 = -3*r - 5*j + 45 + 14, 3*r = 5*j + 19. Suppose -4*l + 25 = g, -29*l + 31*l + g = r. Which is smaller: l or 7?
l
Let t = -3555 + 4658. Do t and 1098 have the same value?
False
Suppose -48*t = -54*t + 3882. Suppose 0 = 56*o - t + 7031. Which is bigger: o or -116?
o
Let d = 15556 + -15489. Which is greater: 71 or d?
71
Let o be 1/(-5*(-2)/40). Suppose 14 = 4*i - 2*i + 2*z, -i - 8 = -o*z. Suppose -l + 3 = i*k, -4*l - l - 6 = -k. Is l <= 2/33?
True
Suppose 2*w - 257*c + 259*c + 26 = 0, -2*w = 4*c + 32. Which is smaller: 1102 or w?
w
Let n(f) = 12*f + 157. Let j be n(-14). Suppose s + 2*s = 0. Suppose s*g + 28 = -2*g. Which is greater: g or j?
j
Let v be -2 - 350/(-45) - (-4)/18. Suppose -s + v*s = 365. Suppose -w - 5*q = 20, 4*w + s = -3*q + 10. Is w != -57/4?
True
Let z be 4 - 5/(-20)*0. Let a be ((-2)/z)/((-99)/18). Are 1 and a non-equal?
True
Suppose -1824 = -5*s - 27*s. Let j be (-760)/s*(-216)/5. Does j = 575?
False
Let q be -9*7/((-1617)/12). Let k = 13/11 - q. Let m = 372 + -372. Which is greater: k or m?
k
Let v = 90 + -88. Let g = -17 + 30. Is v less than g?
True
Let g(y) = y**2 - 22*y + 122. Let m be 