rue
Let h = 957 - 423. Let v = h + -550. Which is bigger: -21 or v?
v
Suppose -43*g + 14 = -42*g. Let n be (3 - 8/g) + 1. Suppose -18*i = -11*i - 28. Which is smaller: i or n?
n
Let w(z) = -12*z + 277. Let k be w(22). Is 32 >= k?
True
Suppose -7*t - 458 - 718 = 0. Let q be (-47)/18 - (-28)/t. Is -4 bigger than q?
False
Let w = -8.6 + -9.1. Let y = -18 - w. Let r = 2303/2097 + 3/233. Are r and y unequal?
True
Let v be (-8)/(24/(-63)) - 2. Let w(i) = -28 - v + 2*i - i + 2*i. Let k be w(15). Which is bigger: k or 3?
3
Suppose 3*s - 24476 - 27457 = 0. Which is smaller: s or 17312?
s
Let w = 46217359 - 25789314709/558. Let j = -458/9 - w. Is -1 at least j?
False
Suppose -137 = -3*x - 2*f, -x + 11*f + 59 = 15*f. Let s = -70 + 112. Is x <= s?
False
Suppose 1216 = -2*w - 5*f - 583, 5*f = 2*w + 1749. Let m = 52339/59 + w. Do m and -1 have different values?
True
Suppose -5*p - 69*n + 68*n = 11260, 4*p = -5*n - 8987. Which is smaller: -2254 or p?
-2254
Let k = -93 + 265. Let d = -0.1541 + 0.0541. Are k and d equal?
False
Let y = 979 + -676. Let g = y - 303. Is 40 > g?
True
Let b be (-2)/(-6)*6*1 + 4620/(-2079). Do b and 649 have the same value?
False
Let n(w) = -w**2 + 793*w + 287. Let m be n(0). Which is bigger: -27 or m?
m
Let f be (-9)/(-114)*5*(-4)/(-120). Let i be (-7 - 413/(-63)) + (-8)/63. Is f bigger than i?
True
Suppose -179 = -5*x - 59. Suppose 36 = 3*t + 4*z, 5*z - 84 = 4*t - 132. Let b = x - t. Which is smaller: 6 or b?
6
Let u(i) = i**3 - 34*i**2 - 38*i + 101. Let w be u(35). Let g = 38 - 106. Let z = 68.9 + g. Which is smaller: z or w?
w
Let l = 61.943 - -0.057. Let b = l - 59. Let w = -23 + 20. Is w > b?
False
Let y be -24*(-13)/546 + 3306/21. Is 1735/11 greater than y?
False
Let i = 109/1441 - -2/131. Let d = -255 + 256. Let t be (-6)/(-24)*4/d. Which is smaller: i or t?
i
Let x be 22638/4356*(-240)/21. Which is smaller: -60 or x?
-60
Let k(s) = 12*s**2 - 27*s**2 + 2*s**2 + 4*s + 12*s**2 - 5. Let v be k(2). Let n be (-3 - 136/(-46))/v. Which is smaller: n or 1?
n
Let k = -111.78 + 111.98. Which is smaller: 1302 or k?
k
Let d = 139 - 373. Let b = d + 177. Are b and -58 unequal?
True
Let w be -5*1 - (-17)/(85/165). Suppose o = 3*o + w. Which is greater: -17 or o?
o
Let n(k) = 12*k + 111. Let w be n(-9). Let t = -10 - -10.18. Let a = 0.52 + t. Is w at most a?
False
Let l(q) = 783*q - 1240. Let d be l(10). Which is smaller: 6589 or d?
6589
Let l = 16903 + -16939. Is -1202/33 less than l?
True
Let c = 1564 + -1563.5. Are -1/524 and c nonequal?
True
Let o(z) = 31*z - 1484. Let s be o(45). Which is smaller: s or -97?
-97
Let k = -37 - 2. Let i = k - -47. Let o(a) = 3*a - 7. Let s be o(6). Which is smaller: i or s?
i
Suppose -2 = -3*b + 1. Suppose -43*s = -44*s + b. Let k be ((-4)/12)/((4/(-12))/s). Which is greater: 1/32 or k?
k
Let m be ((-12)/3)/((3/17)/(60/80)). Which is greater: -105 or m?
m
Let a = 25/42 + -2/21. Let t = -3636 + 3578.73. Let k = t + 57. Is a <= k?
False
Let m(y) = -y**2 + 13*y - 39. Let t be m(7). Suppose t*b + 24 - 27 = 0. Let n be 18/(((-21)/(-6) - 3)/b). Which is bigger: 37 or n?
37
Suppose 0*w + 27 = 4*i - w, -3*i = -2*w - 24. Let t be (-217)/36 + (-14)/63. Let s = t + i. Which is greater: s or 0?
0
Let l(w) = -w**2 + w + 1. Let i be l(-3). Let u = 5 + i. Suppose 0 = -3*o - 2 - 16. Does u = o?
True
Let a = -16 + 28. Suppose -3*j + 21 - a = 0. Let s be ((-34)/(-10) - j)/((-1)/(-10)). Is s > -3?
True
Let h = -1084.3 + 1117.5. Which is smaller: -1/2 or h?
-1/2
Let m = 4680 - 4969. Does -293 = m?
False
Let g be 2/(-2) + 2 + 80/(-8). Let m be (-2 + (-15)/g)*0. Let l be (-15)/(-20)*32/(-140). Does m = l?
False
Let x = 0.4562 - -0.4438. Is x at most as big as 1.99?
True
Let c be (-2 + 0)*3/375. Let l be ((-4186)/312 + 13)*(-8)/(-5). Is l > c?
False
Let t(b) = b**2 - 343. Let a be t(18). Which is smaller: a or -109/6?
a
Let r(t) = -22*t + 2998. Let w be r(75). Is w equal to 1345?
False
Let d = -1.37 - -4.37. Let z = -5 + 4. Let y = z + d. Is y at most -4/5?
False
Let i(a) = 930*a - 5298. Let c be i(6). Which is smaller: c or 283?
c
Let l be 20/5 - (-1)/(-1). Let j be -15*(5/l - 3). Let c be -58*(1 - 18/j). Is c smaller than -6?
False
Let k = 97/3 + -33. Suppose -4*l - 83 - 47 = 2*r, 4*l = 4*r - 148. Let g = l + 34. Is k bigger than g?
False
Let s be (-147)/196 + 22/8. Let w be (-4)/(-22) - (128/110)/s. Is w greater than -4/19?
False
Let v be 197435/(-357) + 2/6. Let p = -552 - v. Is -0.2 > p?
False
Let u = -1010 - -401. Let t be 140/40*1/((-7)/(-80)). Let n be (-16)/t - u/(-15). Is n less than or equal to -41?
True
Let t = -11270 - -6570412/583. Suppose -27*n = -31*n + 4. Which is smaller: t or n?
t
Let j(c) = c**2 + 6*c + 4. Suppose -10 = -8*k - 42. Let r be j(k). Is r at least -11/3?
False
Let m(q) = q**3 - 6*q**2 - 2*q - 14. Let z be m(8). Let a = 393/4 - z. Which is smaller: 0.13 or a?
0.13
Let l(a) = a**3 - a**2 - a - 28. Let j be (-5)/25 - 2/(-10). Let r be l(j). Let g(f) = 36*f + 6. Let k be g(-1). Which is bigger: r or k?
r
Let p be (-2)/(-1 - (-21)/18). Let r(k) = k**2 + 9*k - 6. Let m be r(p). Let s be 20/m*(-27)/(-2). Is s less than or equal to 9?
True
Suppose 2*d = 4*d - 10. Suppose 4 = -d*x + 49. Let y = 3436/3 + -1135. Is y at least x?
True
Let n = -2449 + 2462. Let r be -50*(-62)/368 + 3. Let k = r - -15/46. Which is smaller: k or n?
k
Let b be (9/(-24))/3*-8. Let z = 1946/9 + -161410/747. Is b at least as big as z?
True
Let a be (-3)/(-4)*128/24. Let t be -2 - 1 - (a - (1 - -3)). Which is bigger: -31 or t?
t
Let d(v) = -v**2 + 95*v + 1950. Let p be d(-40). Is p at most as big as -3452?
False
Suppose -4*g = 6*g - 4890. Let h = -38629/79 + g. Which is greater: -1 or h?
h
Let o = 5.1 - -69.9. Let g = 31 + o. Let v = -93 - -93. Is v greater than g?
False
Let h(b) be the third derivative of -b**5/60 - 7*b**4/12 - 41*b**3/6 - 3*b**2 - 11*b. Let m be h(-10). Is -8/11 <= m?
False
Let n = -395 - -573. Let h = -177.9 + n. Is h equal to 173?
False
Suppose -n - 7 = -3*q + 6, -5*n + 2*q = 0. Let m be n/2 - 8/(-2). Is m at most as big as -16?
False
Suppose 5*c - 2427 = 2*c - a, -c - 4*a + 798 = 0. Suppose 2416 = -22*p + c. Which is bigger: p or -70?
-70
Let u = -2.6758 + 2.2658. Is -7/27 <= u?
False
Let b = -0.1 + -0.9. Let p = 2.557 + -4.657. Is p less than or equal to b?
True
Let x(t) = -t**3 - 12*t**2 + 14*t + 13. Let u be x(-13). Suppose u = 4*g + 16, -4*j + 23 = -5*g + 3. Which is smaller: j or 46?
j
Suppose -g + 7 = -5*i, 3*g = -3*i + 7*g - 11. Suppose -l = 5*h - 14 - 3, 5*h - 53 = -4*l. Let a = -12 + l. Which is smaller: i or a?
i
Let l = -214 - -218. Suppose 4*x + f = -788, 537 = -3*x - l*f - 67. Which is bigger: -195 or x?
-195
Suppose 0 = 15*t - 433 - 2612. Let b = 203 - t. Which is bigger: 14.4 or b?
14.4
Suppose -3*q + 0*q = 0. Suppose -5*n - 15 = q, -3*t = -0*t + 3*n + 12. Let w = -7115 - -832457/117. Are t and w nonequal?
True
Let a be (-642)/(-8679)*531/(-18). Let n = -1/2893 - a. Which is smaller: 1 or n?
1
Let w be 1*3 - (-5 - -64*2). Let j be 94/w - 5/(-20). Which is bigger: j or -1?
j
Let g = -138/41 + 332/123. Which is bigger: g or -5331?
g
Let l be ((-897)/39)/(4 - -5). Let f(m) = -m**2 - 6*m + 4. Let j be f(-7). Which is smaller: j or l?
j
Let m = 21809214333/107 + -203826415. Let a = m + 1982. Are -1 and a nonequal?
True
Suppose 2*x + 826 = -4*u, -801 = -604*x + 606*x - u. Which is smaller: -2018/5 or x?
-2018/5
Let q = 7624 + -7627. Is -1285 at least as big as q?
False
Suppose 2*m + 21 = 13. Let y be (0 + -4)/((2034/m)/(-9)). Let z = 1073/791 + y. Is 2 at least z?
True
Let t = 3.6 + -5.6. Let x = 156.6 + -154.4. Which is greater: x or t?
x
Let j(r) = 365*r + 5191. Let l be j(-13). Which is bigger: 440 or l?
l
Suppose -105*i - 666 = -114*i. Which is bigger: 53 or i?
i
Let m(b) = -18 + 74*b - 150*b + 74*b. Let l be m(-18). Let k be l/(-27)*(-3)/2 - 16. Is k less than or equal to -13?
True
Let c be 21/4*(-45)/((-5130)/(-304)). Is 5.1 > c?
True
Let o = -411 - -272. Is o greater than -143?
True
Let f be 1849316/(-700) + 18/(-150). Are -2644 and f non-equal?
True
Let p be 2/(-3) + 101/156. Let y = -5350 + 5351. Is y not equal to p?
True
Let d = 847 - 826. Is d at most -71?
False
Let x = 49 - 13. Let g be 3016/65 + (-12)/(-20). Let n = g - x. Is n less than or equal to 12?
True
Let f = -7575 - -4299. Let