
True
Let h(q) = -2*q**3 - 5*q**2 + 4*q. Let s be h(-4). Let n = s + -1. Suppose 5*r = 3*w - n + 121, 3*r - 2*w = 55. Is r <= 16?
True
Let f be (-2 - 5/(-1)) + (-536)/224. Which is smaller: 0 or f?
0
Let v be ((-3)/14)/(12/16). Let w = 6.7 - 7. Let a = w - -8.3. Is v > a?
False
Let v = 0.16 + -0.13. Let z(w) = -4*w + 2. Let f be z(1). Is v bigger than f?
True
Let z be 2/(4/(-3))*(-3410)/2145. Let b = -8499/3575 + z. Which is greater: b or 1?
1
Suppose 0*f - 3*f + 3 = 0. Let l(s) = s**2 + 2*s - 6. Let b be l(2). Let d be f*(0 + b) - 1. Do 1 and d have the same value?
True
Suppose -5*t + 10 = -3*t. Suppose 10*q = t*q + 30. Let v be -5*(3 - q)/18. Is 0 < v?
True
Let r = 1 + 0. Suppose -1 = -2*d + r. Let o = -3408/13 - -262. Which is smaller: o or d?
o
Let t = -824 + 823.9. Let a = -1.54 + 1.2. Let m = -0.3 - a. Which is bigger: m or t?
m
Let v = -14.8 - -15.368. Let x = v + 0.002. Is x less than -0.1?
False
Suppose 0 = -4*b + 13 - 1. Suppose -5*j = -5*k, -j - 5 = j + b*k. Let i = -121/2 - -59. Which is smaller: j or i?
i
Let t(s) = 8*s**2 + 2*s. Let c be t(-2). Suppose 3*k = 82 - 1. Which is bigger: k or c?
c
Suppose -217*t = -210*t - 7. Is 2/33 greater than t?
False
Let z(y) = -2*y**2 - 6*y. Let g be z(-10). Let c be 6/(-4)*(g/(-21) - 6). Which is greater: 2/201 or c?
2/201
Let h be (-10 - 1) + (-11)/(-1). Which is smaller: h or 4/777?
h
Let t be -1*((-1)/3)/(116/12). Let v = -4 + 3. Which is greater: t or v?
t
Let t(m) = -m + 3. Let y be t(3). Suppose -6*h + 4*h - 60 = y. Let a = -19 - h. Which is greater: 10 or a?
a
Let i be (34/9)/((-84)/(-378)). Are 1/4 and i unequal?
True
Let z be 12 + 5/(-10)*8. Let y be 61/(-9) - 6/27. Let m be 4/14 + (-47)/y. Is m greater than or equal to z?
False
Let y = -889 - -816.8. Let q = y + 74. Which is smaller: q or 2?
q
Let d be (10/6)/(26/156). Are d and 0.03 unequal?
True
Let l = 663 - 685. Is l at most 2/7?
True
Let d(r) = -r**2 - 6*r + 5. Let k be d(-6). Suppose -3 = 18*p - 3. Suppose -2*l = x - 23, l + k*x + p*x - 34 = 0. Does l = 9?
True
Let s = 263/3 + -87. Let a = 0.83 + 44.17. Which is greater: s or a?
a
Let x = -376 + 387. Which is bigger: x or -2.3?
x
Let b = -432 + 241. Which is smaller: b or -192?
-192
Suppose 0 = 4*k - 3*k - 4. Suppose -a = k*a. Let o be (-1)/2 + 212/56 + -3. Which is bigger: a or o?
o
Let k(x) = x + 6. Let i be k(6). Let g be -3*(-5)/(-3) + 7. Suppose 16 = g*w - 6. Which is bigger: i or w?
i
Suppose 3*m - 56 = -2*y, 2*y + 5 = m - 3. Which is greater: m or 17?
17
Let t = -2646 + 2671. Which is smaller: 15 or t?
15
Let u = 291/164 + -1/41. Let z = u + -125/44. Which is smaller: z or 0?
z
Suppose 5*g = -s + 25 + 4, 3*s - 37 = -5*g. Suppose -s*p - 7 - 1 = 0. Is -4/5 less than or equal to p?
False
Let g = 48 - 46. Is 1/2 at least g?
False
Let f be ((-45)/6)/((-27)/(-18)). Suppose 0 = 3*n - 2*n + 4. Is f greater than or equal to n?
False
Let z = -6 + 7. Let g be ((-28)/24 + z)/((-5)/4). Are -1 and g unequal?
True
Let w(c) = c**3 + 13*c**2 + 8*c - 37. Let v be w(-12). Which is smaller: v or 2/27?
2/27
Let h(d) = -d + 6. Let o be h(3). Suppose -11 = -o*t + 4. Let q(v) = v**2 - 7*v + 10. Let b be q(t). Is 7 < b?
False
Let p be (-1)/(2/(16/2)). Suppose 5*c - 51 + 1 = 0. Suppose 0 = -c*b - 21 + 1. Is b not equal to p?
True
Suppose -a - 1 = 2. Let d be (2/(-4))/(a/9). Let m be (-20)/(-8) - 1/(-2). Are d and m nonequal?
True
Let d = 22 + -36. Let q be (-14)/7*d/(-4). Which is smaller: -5 or q?
q
Suppose -67 + 17 = 5*h. Suppose -85 = 6*i - 25. Is i less than or equal to h?
True
Suppose -23 + 121 = 2*j. Suppose 4*u + j = -3*v, -3*v + 7*v + 3*u = -63. Let i be (-30)/v - (-60)/(-34). Is i less than 1?
True
Let q = -30 + 70/3. Let g = -17 - -10. Is q >= g?
True
Let w = 210 - 207. Let b(f) = -f**3 - 5*f**2 - 4*f + 1. Let k be b(-4). Suppose -4*v - k = -13. Is w smaller than v?
False
Let j be 2/(-6) + (-6)/9. Let p be (120/(-10))/(-21 - 5). Which is bigger: p or j?
p
Let w be (-3 - -3)/(-2*(-3)/(-2)). Which is bigger: -1/126 or w?
w
Let i = -107 + 65. Let a = 49 + i. Which is bigger: -1/3 or a?
a
Let v be ((-6)/(-8) - 5/20)*18. Is 8 < v?
True
Let p be 4/3 + 12/(-36). Let x be 2 + (1/(-20))/(p/33). Are -1 and x nonequal?
True
Let u be ((-4)/12)/((-5)/480). Let q = 7 - u. Let g = -26 - q. Which is bigger: g or 8?
8
Let a = 14 - 8. Let p = 2 - a. Suppose q = -4*m - 14, -2*q = -47*m + 52*m + 13. Which is bigger: p or m?
p
Let i(p) = -4*p**2 + 26*p. Let f be i(11). Let m be (-98)/16 + f/(-48) + -4. Is 1 at most as big as m?
False
Let m = -14/5 + 13/5. Let j = 4.28 - -0.02. Let h = -3.3 + j. Which is smaller: m or h?
m
Suppose 0 = 5*x + 475 - 155. Let d be 925/10*x/20. Let r be (d/(-49) - 2) + -4. Is -1 bigger than r?
False
Let w(l) = l**2 + 10*l - 2. Let v be w(5). Let f = 102 - v. Let p = f - 21. Is p <= 7?
False
Let c = -87/38 - -71/114. Are 60 and c equal?
False
Let j be (-324870)/975 - (-2)/10. Is -332 at most j?
False
Let t be ((-68976)/84)/((15/7)/(-3)). Let r = -1162 + t. Which is smaller: -12 or r?
r
Let k(m) = -2*m**2 - 10*m + 19. Let i = 10 - 18. Let d be k(i). Which is smaller: d or -27?
d
Let i = 1360 - 1361. Is -5/223 less than or equal to i?
False
Suppose -13*g + 204 = -16*g. Is -67 at least g?
True
Let p = 441 - 431. Which is smaller: 124/13 or p?
124/13
Suppose 3*v - 7*v + 76 = 0. Let u be (-30 - (-30)/(-5))/(-2). Which is smaller: u or v?
u
Suppose -3*i - 2*i = 0. Let r be (-145)/6 + (-2)/(-3). Let d = 24 + r. Is i at least d?
False
Suppose -4*c - 31 = a - 0*c, 0 = 5*c + 20. Suppose 5*j - 82 - 38 = -2*q, -4*j - 3*q = -96. Let w be j*(a/(-6) - 3). Which is bigger: 2/5 or w?
2/5
Let n = -361 + 375. Are n and 1 equal?
False
Suppose 3*f = 4 - 1. Let x be (f/4)/((-21)/14). Is x at least as big as -0.08?
False
Let p(h) = 3*h - 25. Let r be p(7). Which is smaller: r or -21/4?
-21/4
Suppose 0 = 3*t + 3*u - 3, -3*t + 3 = -4*t - 2*u. Suppose 2*b = -2*r, -t*b = -r - 25 - 5. Let c be 4/r*(-45)/(-6). Is -4 not equal to c?
True
Suppose -5*i - 2026 + 276 = 0. Let r = -3846/11 - i. Which is greater: 1 or r?
1
Suppose 2*o + 103 = 3*d, -235 = 4*o - 4*d - 23. Which is smaller: o or -49?
o
Let s = -2211 + 15472/7. Which is bigger: 2/75 or s?
2/75
Let f = 1/1777 + 6591/918709. Let a = -2669/10857 + f. Let v = a + 125/84. Is v equal to 2?
False
Let c(u) = -u**3 + 2*u**2 - 2. Let t be c(0). Let f be (-5 - t)/(6/4). Let x be f/((-32)/45) - 3. Is x bigger than 1?
False
Let s = -155 + 173. Is -14 at least s?
False
Suppose -1 = 2*q - 3*q. Let z be 5/2 + q/(-2). Suppose -10 = -3*j - z*j. Is 3/4 at least as big as j?
False
Suppose 3*p - 3*z = -5*z + 4, -3*z = -p + 5. Suppose 3*u - 8*u = p*m - 34, 3*u - 5 = m. Which is bigger: 9 or m?
9
Suppose 0 = -4*k + l - 2, k - 1 = -l + 1. Let r be (-2940)/920*4/170. Let z = 1/85 - r. Is k != z?
True
Suppose 4 = 17*m + 21. Which is smaller: m or -16?
-16
Let l be 14319/(-18796) + ((-11)/(-4) - 2). Which is smaller: l or 1?
l
Let q be (-65)/13 - (-16)/4. Let x = 1049/21 - 149/3. Is x at most as big as q?
False
Suppose 2*c - 3*y = -86, 0 = c - 7*y + 8*y + 53. Which is smaller: -2/3 or c?
c
Let c = -0.7 - -0.2. Let d = 77.4 - 79. Let l = -1.3 - d. Which is smaller: c or l?
c
Let o = 3.97 + -4.97. Let r be 482/(-8) + (-3)/12. Let b = -611/10 - r. Is o smaller than b?
True
Suppose 0 = n - 4*s + 75, 33 = 3*n + 4*s + 242. Let l = n - -75. Which is smaller: l or 48/11?
l
Let l = -37.5 - -15.2. Let k = l + 22. Let y = -6 + 7. Which is smaller: y or k?
k
Suppose 2*g - 6 = -5*t + 3*g, 2 = -t + g. Let d be (-10)/(-25) + t/(-10). Which is bigger: -1/4 or d?
d
Let y(i) = i**3 + 8*i**2 - 11*i - 11. Let a be y(-9). Let x(o) = o**3 - 16*o**2 + 8*o - 5. Let r be x(a). Let w be (-18)/(-4)*(-20)/r. Is w smaller than 2/3?
True
Let p = -2749865490 + 41621964073119/15136. Let a = p + 3/1376. Is 2 > a?
True
Suppose i + 2*i = 5*o - 750, -5*i = 2*o + 1281. Let g be ((-3 - -1) + -1)/(i/(-10)). Which is bigger: -3 or g?
g
Let v = 70.2 + -70. Which is smaller: -21 or v?
-21
Let z be ((-13)/(-26))/(0 - 7/(-4)). Which is greater: 14 or z?
14
Let p be (56/(-49))/((-4)/14). Suppose f = 4*v - 1 - 11, p*v - 48 = 4*f. Let m(n) = -n**2 - 5*n - 4. Let w be m(-6). Which is bigger: f or w?
w
Suppose -2*n - 4 - 8 = 0. Let u be (-734)/1962 + n/(-10). Let h = u + -2/545. Is -1 < h?
True
Suppose 11*b + 54 = 5*b. Let 