 3*s + 0 - 5 + y*s. Let l be f(-12). Is -1 > l?
True
Let f = 21 - 14. Suppose 14 = f*k - 14. Suppose k*o = -79 + 19. Is o not equal to -14?
True
Let q = -68 - -70. Suppose x - 2 = -3*n, -2*n + 0*n - q*x = 0. Let r be (-2 - 1/4) + 2. Which is greater: r or n?
n
Suppose -41*w + 44*w - 6 = -2*k, -4*w + 12 = 3*k. Which is greater: k or 277/21?
277/21
Let s = 4.01 + -4. Let t = 11081/60 + -1097/6. Let z = t + -8/5. Is s greater than z?
False
Let w(y) = -6*y + 42. Suppose -3*u = -11 - 7. Let n be w(u). Which is greater: n or 9?
9
Let o(i) = -12*i**2 - 8*i - 12. Let t be o(-5). Let u be (-14616)/54 + -6 + 28/6. Is u > t?
False
Let u = -183/95 + 29/19. Let h = 14.8 - -48.2. Which is smaller: h or u?
u
Let d = -1519 + 525. Let c = 999 + d. Which is bigger: 1/5 or c?
c
Let m(t) = t + 3. Let g be m(0). Suppose -2*y + 362 = y + 4*d, 2*d = -g*y + 364. Which is bigger: 124 or y?
124
Suppose -2*j = 18 + 70. Let m = j - -45. Let n be ((-19)/(-23) - m)/2. Which is greater: n or 1?
1
Suppose -19*a = -5*a + 1946. Suppose 512 = -5*q - 193. Which is bigger: q or a?
a
Let g = 324 + -321.82. Let h = g - 2.48. Is -6 less than h?
True
Let k be 0/(-2*1 + 2/(-1)). Suppose k = -9*o + 283 + 14. Does 34 = o?
False
Let j be (1 + (-11330)/(-24))*(-111)/(39627/(-66)). Let w = 304687/3482 - 6/1741. Let c = j - w. Is c greater than 1?
False
Let h(c) = 3*c**2 + 27*c + 2. Let u be h(-8). Let p be 7 - (6 - 7)*-4. Is p greater than or equal to u?
True
Let p be 1 + (-1956)/(-1958) + 12 + -14. Do p and -0.1 have different values?
True
Suppose -7*d = -8*d + 2*s - 10, -3*d + 2*s - 26 = 0. Let b be (-1 - 4)*4/d. Which is smaller: 4 or b?
b
Suppose -4*t - 15*i + 542 = -13*i, -134 = -t - 2*i. Which is smaller: 4 or t?
4
Let f = -18 - -17. Suppose 0 = 158*b - 101*b - 118*b - 244. Is b equal to f?
False
Let a = 40279 + -40279. Which is smaller: 18/1711 or a?
a
Let w(d) = -d**2 + 2*d + 7. Let q be (-4)/(-2) + 1 + -2 + 4. Let s be w(q). Let c be ((-2)/(-91))/(16/s). Is 1 > c?
True
Let p be ((-41)/(-246))/(2/(-16))*117/(-12). Is p greater than 163/12?
False
Let w be (5 - 2)*3/(-45)*-5. Let l be ((-12)/3)/(w/(-13)*2). Suppose 2*u - 34 = 22. Which is greater: l or u?
u
Let j be 1/9 - 4/(-18). Let z(u) = -u**3 + 10*u**2 - 11*u + 17. Let n be (-30 + 12)*(10/(-4))/5. Let y be z(n). Which is bigger: j or y?
j
Suppose -s = 3*a - 6, 4*s - 5*a + 10 = -0*a. Is s > -2/395?
True
Suppose 2*n = -2*z + 44, -z - 34 = -2*n + 4. Suppose n*c - 5 = 19*c. Is 4 > c?
False
Let a be 10/(-15) + (-1 - 51/18). Let m(b) = b**2 + 1. Let r be m(2). Suppose 3*x = 4*f - 1, r*x = -4*f + 7 + 2. Which is greater: f or a?
f
Suppose 70 - 139 = -184*c + 115. Which is bigger: c or -3/2572?
c
Let q = 21.91 + -22. Suppose 0 = -8*x - 29 + 1181. Let t be (-4)/(x/116) + 3. Does t = q?
False
Let q be ((215/20)/1)/(3/(-12)). Let k = q + 34. Let n be (-1)/(((-6)/4)/(k/6)). Do -2/173 and n have different values?
True
Let j = 435 + -77. Let b = -374 + j. Let n = 2 + -4/3. Which is bigger: b or n?
n
Let k(h) = -87*h. Let p be k(3). Let d = 227657 + -227917. Which is smaller: p or d?
p
Let h be 10/155*1 + 62660/(-620). Is h less than -1107/11?
True
Let y = -361/3 + 119. Suppose -5*l = -4*n + 2, -9*l - 3*n = -8*l + 8. Which is greater: l or y?
y
Suppose 0 = -4*r + 4, 2*s = 3*r + 6 - 9. Suppose 4*x + i = 157, x + 0*i - 2*i - 28 = s. Is 41 smaller than x?
False
Let w = 1.9706 + 4942.0294. Are 1 and w nonequal?
True
Suppose 3 = 2*f + 19. Let d(q) = -4*q - 41. Let p be d(f). Let w be p/27 - 66/(-9). Which is smaller: 2 or w?
2
Let a = 6.2 + -3.2. Let x = -35.0187 + 0.0187. Which is smaller: x or a?
x
Let u = 535 + -107. Let n be (u/(-280))/(3/2) + 1. Are 1 and n equal?
False
Let h = 61/10 - -32/5. Suppose 6*o = 5*o + 84. Let y = o + -72. Which is bigger: y or h?
h
Let b = -3081/10 - -308. Which is smaller: 1.38 or b?
b
Let f = 162.839 + 0.161. Let a = f + -163. Is 4.5 at most as big as a?
False
Let b(q) = 5*q + 3. Let s be b(-3). Let o(c) = 4*c - 99. Let w be o(25). Let z be 34/s + w/(-6). Is -3 less than z?
False
Let u(p) = -96*p**2 + 1 - p - 93 + 27*p**2 + 34*p**2 + 37*p**2. Let t be u(7). Is -1/148 less than t?
False
Let k = 5.4 - 4.97. Let o = k + -78.33. Let j = 78 + o. Is j >= -26?
True
Suppose -15*u + 7*u = 48. Let c be ((-12)/42)/(u/21). Are c and 7/76 equal?
False
Suppose -20 = -4*b, 2*m - 18*b + 21*b - 15 = 0. Which is bigger: m or -52/157?
m
Let o = 0.907 - 450.907. Let s = -466 - o. Is -5 bigger than s?
True
Let x = -9.5 + 20.6. Let z = 10.1 - x. Which is smaller: -42 or z?
-42
Let a = 14141 + -9945. Which is greater: 4194 or a?
a
Suppose -5*u + 439 = 2*f + 215, 3*u + 24 = 0. Is 72 at most as big as f?
True
Let a = -11945/4218 - 1/703. Let d(z) = 4*z**2 + 42*z + 4. Let n be d(-12). Suppose 80*o - n*o = -16. Which is smaller: o or a?
o
Let w be -4 - 1600/90 - 2/9. Is -43/2 not equal to w?
True
Let j(l) = -3*l + 44. Let p be j(24). Let k = 34 + p. Suppose -2*c + 4 = -k*c. Which is smaller: c or 2/5?
c
Let m(q) = -7*q**2 - 10*q - 18. Let j(r) = -r**2. Let y(k) = 6*j(k) - m(k). Let l be y(-12). Let b = l + -47. Which is greater: -6 or b?
b
Let p(i) = 2*i - 103. Let a be p(17). Let j be (a/138)/((-155)/(-156) - 1). Do j and 78 have the same value?
True
Let p(x) = x**2 + 2*x - 414. Let a be p(-24). Which is smaller: 123 or a?
a
Suppose 0 = -11*h - 4*h. Suppose h = -5*f - 2*s - 6 + 38, -3*f = 4*s - 22. Let x(y) = y**2 + 5*y - 8. Let c be x(-6). Is c less than f?
True
Let g = 251746 + -17118741/68. Suppose 2*k = 4*k. Which is smaller: k or g?
g
Let a = 49/38 + -264137/204782. Let k = a - 161644/70057. Which is bigger: -3 or k?
k
Suppose 7*t - 4*p = 6*t + 21, -4*p = -4*t + 144. Does t = 40?
False
Let t be ((-374)/(-55))/(5/25). Suppose -t*p - 1620 = 2*p. Which is smaller: -221/5 or p?
p
Let z = 682.65 - 683.25. Let y(d) = d**2 - 7*d + 1. Suppose -2*g = -7*g + 35. Let k be y(g). Is k bigger than z?
True
Let y(k) = 108*k - 447. Let z be y(-5). Are z and -986 non-equal?
True
Let f = 6969913/6447840 - 227/210. Which is smaller: f or -1?
-1
Let d be ((-4968)/(-805))/((-4)/10) - -4. Which is smaller: d or -11?
d
Let r(m) = 326*m**2 - 6*m + 1. Let s be r(-3). Let b = s - 747110/253. Which is smaller: b or 0?
b
Suppose 83 = -4*s + 19. Let r = 571 - 495. Suppose l + 29 = -3*k, 4*l + 7*k - 5*k = -r. Which is bigger: s or l?
s
Let o(g) = g + 17. Let l be o(-6). Suppose 3*s = 4*s + l. Let w(x) = 4*x + 46. Let z be w(s). Is z equal to 1?
False
Let m = -1533 - -1610. Does m = 67?
False
Let l = 0.19655 - 0.09655. Are l and 550 non-equal?
True
Let n = 4 - 3. Let b be (3 - (-225)/(-78))/((-2925)/60). Let t = b - 187/3380. Do t and n have the same value?
False
Let j(c) = -22*c + 1. Let k be j(-14). Let i = k + -468. Is i != -159?
False
Let d(t) = t**3 + 15*t**2 + 23*t + 66. Let l be d(-13). Let o = 3888/37 - l. Do o and 0 have different values?
True
Suppose 5*z + 20 = 30*n - 33*n, -8 = 4*n + 2*z. Which is smaller: 19/122 or n?
n
Let p(k) = 7*k + 30. Let w be p(15). Let n be -3 + -2 + 2 - (107 - 245). Is n smaller than w?
False
Let j be -2*((-9)/(-24))/((-9510)/(-200)). Which is greater: 1 or j?
1
Suppose 2*s + 4*t = -s + 45, -4*s + t + 79 = 0. Let y = -310 - -334. Let u = s - y. Is u < -5?
False
Suppose 664 = 4*q - 112. Let u be (-7)/21 + 0 + q/(-6). Which is smaller: -34 or u?
-34
Let l(f) = f**3 + 10*f**2 - 43*f - 108. Let o be l(-13). Does o = -56?
True
Let v(s) = -3*s - 18. Let t be v(-8). Suppose -2*k = -t*k - 400. Let b be 70/k - (-2)/4. Which is bigger: b or 0?
0
Let q be (-454135)/66 - 105/(-126). Which is bigger: q or -6878?
-6878
Let w = -2968 + 2929. Let u(c) = c**2 + 20*c - 19. Let v be u(-19). Is v greater than or equal to w?
True
Suppose 7830 = -15*p + 24*p. Suppose -4*k = 6*m + p + 1566, -5*m - 2*k = 2034. Which is bigger: m or -407?
-407
Suppose -12*d - 16*d = 3500. Let m = d - -61. Which is bigger: -59 or m?
-59
Let n(b) = b**3 - 7*b**2 - b + 10. Suppose 2*d - 5 = -j - 4, 5*d = -15. Let u be n(j). Suppose -3*z - 2*y + 4 - 2 = 0, -5*z = u*y - 3. Are z and 7 non-equal?
True
Let x(g) = 2*g**2 - 12*g - 17. Let v be x(8). Let y be (-114)/(-30) + 3/v. Let d be 5/((-5)/y) - -52. Is 48 less than d?
False
Let c be (-1681456)/700 - ((-127)/25 + 5). Is -2401 less than or equal to c?
False
Let y = 13545 - 13448. Which is bigger: 54 or y?
y
Let v(f) = f*