aller: -2/69 or u?
-2/69
Let l = 0.616 + -0.616. Which is smaller: -23.6 or l?
-23.6
Let m = -703/217 - -22/7. Suppose -2*t - 4*w - 2 = -2*w, -t + 3*w + 3 = 0. Which is smaller: m or t?
m
Let o be (-2863)/574 - 5*-1. Are 1 and o nonequal?
True
Suppose -4*k = -3*l - 163, -l - 212 = -5*k - 0*k. Which is greater: k or 133/3?
133/3
Let h = -5701/147926 + -4/1999. Do 0 and h have different values?
True
Let h(u) = -u**2 + 9*u + 13. Let o be h(10). Suppose t + o*t = -76. Which is smaller: -17 or t?
t
Let q(f) = 178*f - 6. Let c be q(5). Let m = c - 30942/35. Do -3/7 and m have different values?
True
Let s = 94/2345 - -3042964/21105. Let u = 144 - s. Is -1 >= u?
False
Let s(f) = f**3 - 5*f**2 + 4*f - 1. Let z = 52 + -48. Let q be s(z). Is -9/4 < q?
True
Let s = 238 - 275.8. Let a = s - -38. Which is greater: a or -8?
a
Suppose 22*a = -5*a - 1620. Is -56 less than or equal to a?
False
Let w be (293/74 - 4)*6/(-15). Which is greater: -1 or w?
w
Let n(f) = f**2 + 20*f - 264. Let v be n(9). Is v < 2/377?
True
Suppose 12*w + 1421 - 569 = 0. Which is smaller: w or -67?
w
Let r be 1*(-1 - -1)/3. Suppose -4*o = -r*u - 2*u - 18, 0 = -3*u + 4*o - 17. Let m be 4/(-2) - 96/(-45). Is m equal to u?
False
Let y be ((-2)/(-3))/(3/9). Let i be (y/(-4))/(2/20). Let c be (-3)/(-1) + i + 1. Do c and 1/3 have the same value?
False
Let f(w) = -5*w**2 + 25*w + 2. Let j be f(5). Which is smaller: -3 or j?
-3
Let v = 8 + -5.1. Let d = -3 + v. Let y = 354.2 + -354. Is d <= y?
True
Let w = 6 - 10. Let z be (-2)/(6/w*-6). Let k(m) = -m**2 - 57*m + 180. Let g be k(-60). Which is smaller: z or g?
z
Let k be 1/4 - 57/132. Let d = -32961 - -230205/7. Let r = d - -75. Is r bigger than k?
True
Let m be 5 + 3/(-6)*-2. Suppose 13*s - 16*s = 408. Let w be 6/16 + (-629)/s. Are m and w unequal?
True
Suppose 76 = p + 23. Is 53 smaller than p?
False
Let m = 169 + -96. Let j = -93 + m. Which is bigger: -1 or j?
-1
Let g = 9 + -11.26. Let i = g - 0.04. Let k = -2.5 - i. Is k bigger than 8?
False
Let y = -48/13 - -248/39. Which is smaller: 2 or y?
2
Suppose -10 = 3*k + 5*v, -7*v + 5*v = k + 4. Suppose 5*y + l - 8 = -0*y, 2*y - 2*l - 8 = k. Which is bigger: 16/5 or y?
16/5
Let g = -473 + 473. Which is greater: g or 135/2?
135/2
Let d be 8 + -4 + -3 + 9. Suppose 3*s - 5*t + d = -63, -3*s = t + 61. Let o = s + 46. Is 25 not equal to o?
False
Suppose -o - 3 = -5. Suppose -5*m = 4*x - 17, -m + o = 1. Is x at least as big as 0?
True
Let t be (-32)/18 - (-2)/(-9). Let g be (15/12)/(2/(-70)). Let d = g + 44. Is t greater than d?
False
Let u(y) = y**3 - 10*y**2 - 33*y - 3. Let r be u(14). Is 317 bigger than r?
False
Let u = 936665/382 + -2452. Is u != 1?
True
Let z = 1 - -1. Suppose 6 = 3*g, -3*t - 5*g + 23 = 148. Let a be 2*(1 + 48/t). Which is smaller: a or z?
a
Let s = 3.6 + -3.47. Let m = -0.05 + -0.18. Let v = m + s. Is 0.08 less than v?
False
Let j = 0.5988 - 0.1378. Is j < -2/3?
False
Let x(b) = 7 - 3*b + 7 - 6*b**2 - 2*b**3 + 4*b**3. Let g be x(8). Let f be (-96)/g - 2/15. Which is smaller: 1/3 or f?
f
Let j be (2 - (-339)/(-69)) + 3. Suppose 2*t + 2 + 4 = 0. Let r be 0/(-5 - 9/t). Which is smaller: r or j?
r
Let q = 419/7 + -60. Let t = 592/5 + -119. Are t and q non-equal?
True
Suppose -49*k + 38 = 773. Is -23 <= k?
True
Suppose -5*v - 3*o = 151, 2*v + 18 + 37 = -3*o. Let z be ((-2)/(-4) + 325/(-30))*3. Which is smaller: v or z?
v
Suppose 792*g - 787*g - 70 = 0. Which is smaller: 13 or g?
13
Let w = 11.69 - -0.31. Let g = -2.57 - 10.33. Let j = 13 + g. Is j less than or equal to w?
True
Let g be (3*2/9)/2. Let y(n) = -2*n + 24. Let m be y(8). Let q be ((-4)/10)/(m/(-720)*-9). Which is smaller: g or q?
q
Let x = -0.4 - -0.14. Let o = x + 0.16. Which is smaller: o or -0.5?
-0.5
Let r = 1.72 - -1.28. Let z = -5 - -6. Is z greater than or equal to r?
False
Suppose -4*j = y - 2 - 1, -5*y - 9 = -4*j. Let b be (-9)/(-3) - (-419)/1. Let n = -5482/13 + b. Are n and y nonequal?
True
Suppose -5*d + 27 = -6*o + 2*o, 0 = 3*d + 5*o + 6. Suppose -5*u - 4*l + 7 = 0, 8 = -4*l - 0*l. Suppose u*w + 0*w - 12 = 0. Are w and d equal?
False
Let q = 31138/451971 - 2/3863. Is q less than -1?
False
Let j be ((-1848)/(-385))/((-1)/5 + 0). Is j smaller than -26?
False
Let d = -0.531 - 0.469. Which is smaller: d or 1/67?
d
Suppose -8*v = -10*v. Suppose v = 5*b - 3 + 13. Let o be (42/(-35))/(b/10). Which is greater: o or 5?
o
Let d = 10 - 4. Suppose -u + 4*u - 5*a = -9, -2*u - d = 3*a. Let h = 16 + -18. Which is smaller: h or u?
u
Suppose 3*m = j + 31, 5*m - 4*j - 2 = 45. Is m >= 11?
True
Let t = -511 - -582. Which is smaller: 69 or t?
69
Let o = -8.04 + 8. Let u(w) = -w**2 + 12*w + 5. Let l be u(13). Let q be (-1)/2 - (-12)/l. Is q bigger than o?
False
Let d = 23.033 + -0.033. Let i = d - 22.7. Is i less than or equal to -0.3?
False
Let k(l) be the second derivative of l**4/12 + 5*l**3/3 + 3*l**2 + 20*l. Let c be k(-8). Is c greater than or equal to -9?
False
Let m be 12/126 + 439/21. Which is greater: m or 28?
28
Suppose 5*q - 10 + 0 = 0. Let m(b) = b**2 - 2*b + 1. Let y be m(2). Let d = 8/3 - y. Is d less than q?
True
Let t(s) = -s**3 - 16*s**2 - s - 11. Let q be t(-16). Suppose 0 = -h - b + 4*b + 6, 8 = -q*h - 4*b. Let r be 0 + -1 + (-42)/(-46). Which is smaller: r or h?
r
Let r = 25.8 - 7.3. Let p = r + -20. Let t = p - -0.5. Which is greater: -0.4 or t?
-0.4
Let l = -501 + 502. Does -1/987 = l?
False
Let i = -2.98 + -162.02. Let b = -143 - i. Which is greater: b or 1?
b
Let n = 36 - 34. Suppose -5*y - 5*c = -n*y - 163, 0 = -y + 3*c + 31. Are y and 47 nonequal?
True
Let d = -223 + 281. Which is smaller: 115/2 or d?
115/2
Let l = 1286 - 1285. Is 1.24 at most as big as l?
False
Suppose 26*m = -130 - 130. Is -46 at least m?
False
Let h = 490 - 531. Which is smaller: 4 or h?
h
Suppose -3*p + p - 2*v + 412 = 0, -2*p = -5*v - 433. Which is bigger: p or 211?
211
Let x be ((-8)/6)/((-376)/12). Is -1 <= x?
True
Suppose -23 = 5*o + 12. Suppose 7*v - 13*v - 204 = 0. Let f = v - -28. Is o at most as big as f?
True
Let u be (49/(-2))/((-3)/30*-5). Let y be (1/(-6))/((-6 - 1)/u). Is y equal to -1?
False
Let o be ((-2538)/12)/9*(-6)/(-21). Do o and -8 have the same value?
False
Let o = -6.7 + 4.8. Is -1 < o?
False
Let s = 788 - 22061/28. Let f(l) = -6*l**2 + 4*l - 2. Let b be f(1). Let t = b + 5. Which is smaller: s or t?
s
Let s = 313 - 1561/5. Which is smaller: -76 or s?
-76
Suppose 4*c + 24 = 72. Suppose -5*n + n - 4*d + c = 0, 0 = n - 5*d + 21. Is n > -3?
True
Let v be (-11)/(6930/1603) + 8/18. Which is smaller: -1 or v?
v
Let v = -4.76 + 4.23. Which is smaller: v or -0.3?
v
Let r be (5 + 1 + 4 + 13)*2. Which is bigger: r or 50?
50
Let s be 51*1/(-3)*10. Let j = -573 + 403. Is s != j?
False
Let y(t) = -t**3 - 11*t**2 + 8. Let z be y(-11). Suppose 3*x + z = 5*x. Let w be (-2 + x)/(-11 - 0). Is -1 greater than w?
False
Let j be (-1)/3 + (-1)/(-3). Let g = -126 - -128. Let l be ((-3)/36)/((-2)/(-10))*g. Which is smaller: j or l?
l
Let l = -2.65 + 2.11. Does l = 0.1?
False
Suppose k - 12 = -8. Suppose m = k*l + 5*m + 20, -5*m = -4*l + 25. Is 6/13 greater than l?
True
Let c = -116/7 - -7445/448. Which is smaller: 1 or c?
c
Suppose -y = 2*y. Suppose -5*o + 5 = -5*f - 5, y = -3*o - 2*f + 26. Let j = -17 - -23. Is j at most as big as o?
True
Let w = 41697883/10 + -4337041577/1040. Let s = w - -3873/13. Let r = -146 - s. Which is greater: 0 or r?
r
Let z(q) = q**3 + 9*q**2 + 22*q + 10. Let n be z(-7). Is n not equal to -52?
True
Let m be (-473)/(-2) - 1/((-4)/(-6)). Let u be m/(-700) - (-6)/21. Let h = 0 + -1. Are h and u unequal?
True
Let a be (-306495)/637 + 2/13. Is -480 smaller than a?
False
Suppose -d + 2*v = 42, 27 = d - v + 66. Suppose -6*a + 2*a = -140. Let q = d + a. Which is greater: q or 5?
5
Suppose -6*a - 52 = 32. Which is smaller: a or -16?
-16
Suppose -18*z + 14*z - 18 = 2*o, -5*z = -5*o - 60. Suppose -5*q - 84 = -9. Which is greater: q or o?
o
Let r be (-1 - -2 - 9) + -1. Let n be ((-3)/r)/((-2)/6). Let k be n/(-6) - (-5)/(-390). Is 0 less than or equal to k?
True
Let b = 6 - 4. Let v be -1 + -2 + 3 + 0. Suppose -l + v = b. Which is smaller: l or -4?
-4
Let n = -297 + 5051/17. Suppose -80*m - 62*m - 224 = -30*m. Which is bigger: m or n?
n
Let h = -226.0695 + 0.0695. Which is smaller: h or 0?
h
Suppose -1 = l - 2. Let 