7/42). Is w < 32?
True
Let s(n) = -49*n + 627. Let w be s(37). Is -1186 bigger than w?
False
Let i = -14.925 + 16.9. Let u = i + 0.025. Let y = 0.2 + -0.3. Which is bigger: u or y?
u
Suppose 0 = -47*l + 32*l. Is l > 3/557?
False
Suppose q + 9 = -2*q, 3*n + q = -6. Suppose z - 3*i = -11, z = 5*i - 0*i - 19. Let f be (z - 0)*(-5)/140*4. Which is bigger: f or n?
f
Let a = -3 + 13. Let j = -1 - -8. Let r = a - j. Which is smaller: 2 or r?
2
Let u = -593/98716 + -1/1334. Is u less than -1?
False
Suppose 8 = 3*s - 5*s. Let p be s/6*(-18)/(-12). Let b(d) = 2*d + 12. Let r be b(-8). Which is smaller: r or p?
r
Let u be 94/18 + 2/(-9). Suppose 0 = u*t - t. Suppose -10 = -5*x - 5. Do x and t have the same value?
False
Suppose -3*w + 0*w + 3 = 0. Let t be (-12)/(-36) - (-13)/(-3). Let y be ((-12)/t - w) + 1. Which is smaller: y or 2?
2
Suppose h + 5*h + 162 = 0. Let g be ((-15)/(-10))/(4/(-72)). Is g greater than h?
False
Let g be 2 + (2 + -3 - -1). Let u = g + -1. Let n be 3/(-9)*(-2 + u). Is n bigger than -4/7?
True
Suppose -m + 17 = -2*m + 2*j, -m + 3*j = 15. Let t be 65/(-3) + 4/6. Is m > t?
False
Let n be (-2)/(-4) - (6 + -4). Let z be (-22)/18 - 4/(-18). Are z and n nonequal?
True
Let h(z) = -2*z - 3. Let f be h(-8). Let r be (f/(-2))/(1/(-2)). Suppose -o + r = 9. Is o equal to -2?
False
Let k(m) = -2*m**2 - 5*m + 7. Let w be k(-3). Suppose -46 = -4*j + 2*q + w, 4*q - 30 = -2*j. Do j and 16 have the same value?
False
Suppose -49*d = -1406 - 4474. Are 130 and d equal?
False
Let v(u) = -u**2 - 18*u - 17. Let l be v(-17). Let r be l - 2 - (-324)/198. Which is bigger: r or -1?
r
Let i(w) = 3*w**2 + 2*w + 1. Let a be i(-1). Let x = -9.41 + 10.41. Which is smaller: a or x?
x
Let v be (18/30)/((-1)/5) + 1. Let r(n) = -n**3 - 2*n**2 + 8*n. Let w be r(-4). Is v <= w?
True
Let v be 12/4 + -7 + 39720/9912. Are v and -1 nonequal?
True
Let d(q) = -q**2 - 5*q + 6. Let p be d(-6). Let t = -183/1955 + 4/115. Which is smaller: p or t?
t
Let n = 7/982 - 165011/4910. Which is smaller: n or -35?
-35
Let u = 170 + -105. Let s = u - 65. Which is greater: s or -5?
s
Let u = -29 + 40.9. Let p = 9.8 - -2.2. Let d = u - p. Which is greater: d or -3/2?
d
Suppose -7*w = -2*w - 15. Suppose w*y = -2*y + 165. Let a be (-1)/(-5) - y/15. Which is bigger: 2 or a?
2
Let y be (384/702)/(136/60). Let r = -14/39 + y. Is 1 at most r?
False
Suppose 506 = -2*g + 5*g - 2*f, -10 = -5*f. Let l be (4/g)/((-2)/(-10)). Suppose -p + 5*q = 8*p - 26, -4*p - 4*q - 32 = 0. Which is bigger: p or l?
l
Let a be 1/(-6)*(-4)/12*-10. Is -2 greater than or equal to a?
False
Let f be 32/36 + 40/(-180). Which is bigger: f or -2/1255?
f
Let i(z) = -6 - 6 + 12 - 5 + 2*z**2 - 4*z. Let k be i(3). Which is smaller: -1/16 or k?
-1/16
Let c = -109 - -543/5. Which is smaller: -6/13 or c?
-6/13
Let y = -3 - 2. Let r = y - -4. Let v = -4.12 - 0.88. Do r and v have the same value?
False
Suppose -5*u + 1279 = r, -3*u - 2*u + r + 1271 = 0. Do -1 and u have the same value?
False
Let v(q) = 3*q**3 - 6*q**2 + 13*q + 4. Let p be v(4). Which is smaller: p or 153?
p
Suppose 3*o + 2*n + 3 = 17, -10 = -o + 2*n. Let w be (-145)/30 + (-1)/o. Let i be -2*(-4)/w*-1. Is 2 less than i?
False
Let t = 13.2 - 13. Let c be ((-3)/(-9))/(8/72). Suppose -2*i + 1 = c. Are t and i equal?
False
Let c = -13 + 7. Let p = -2 - c. Suppose f + p*f = -40. Is -17/2 smaller than f?
True
Suppose -g - 3 = -4*g, -2*n - 5*g + 3 = 0. Is n >= 1/299?
False
Let b = 840 + -770. Is -1 at least b?
False
Let f = 167 + -173.9. Let t = f - -4.2. Let u = t - -2.6. Which is greater: -7 or u?
u
Suppose 119*m - 28 = 118*m. Suppose -2*a = 5*h - 77, 2*a + 3*a - 145 = -3*h. Is a less than m?
True
Let r = -47 + 49. Suppose 4*u - 3*u + 5 = g, -25 = -5*g + r*u. Is 6 less than or equal to g?
False
Suppose -2*m + 2 = -3*m. Let h be 0/m + 60/((-25)/5). Do -12 and h have the same value?
True
Let l(x) = -x**3 + 47*x**2 + 94*x + 197. Let d be l(49). Is -3/448 less than d?
True
Let c = -1 - -1. Let h be -23 - (-4)/(-4) - -1. Let a = h - -21. Is c at least as big as a?
True
Let f(h) = 10*h + 1. Let x be f(2). Suppose 4*r - r - 45 = -3*j, 0 = -j + r + 25. Is j bigger than x?
False
Let w be 2/6*(-6)/2. Let g = -11725479394/2337 + 5017321. Let b = -8/123 + g. Is b less than w?
False
Let o = 264 - 265. Which is bigger: o or 1/279?
1/279
Let u(p) = -1. Let t(r) = r - 12. Let l(q) = -t(q) + 4*u(q). Let x be l(6). Suppose 5*y - 20 = 0, 0*m + y = 2*m + 2. Which is bigger: x or m?
x
Suppose 2*m + 2 = 3*o - 15, 4*m + 16 = 0. Suppose 2 = u - o. Suppose u*x + 5 = 5*q, -2 + 3 = -3*x + q. Is x greater than or equal to 0?
True
Let r = 3404 - 2120690/623. Do r and 0 have the same value?
False
Suppose -4*l + 2*r = 18, 9 = -5*l + r - 3*r. Let n = l - -7. Suppose 0 = -n*d + 2*x - 2, -3*d + 3*x - 3 = d. Is -1/3 > d?
False
Let j be ((-2)/30)/(1 + (-2600)/2595). Let t = j + -161/5. Is 0.1 smaller than t?
True
Let s(t) = -t**2 + 11*t - 14. Let w(l) = -2*l**2 + 22*l - 28. Let p(i) = 5*s(i) - 3*w(i). Let y be p(9). Let d = -3 + -3. Are d and y equal?
False
Let w = -4.51 + -255.49. Is w < 1/3?
True
Suppose -c + 4 = -7. Suppose t - 4*a + 1 = 0, 4*t = t - 2*a + c. Is t greater than or equal to 8/5?
True
Let b be -1 + ((-64918)/(-32))/(-7). Let w = 291 + b. Are -1 and w unequal?
True
Let p be 448/(-96) - (-2)/3. Let s(u) = u**2 - u - 18. Let n be s(p). Is 11/4 bigger than n?
True
Let n be 1 + (-1)/((-4)/4). Let a(y) = -y + 6. Let j be a(n). Let g = 0 - -3. Is g < j?
True
Let b = -137 + 91. Let o = b - -142. Is 97 < o?
False
Let s = -14 + 29. Let r = -26 - 7. Let v = s + r. Which is greater: 1/3 or v?
1/3
Let p = -937/1085 + 1/155. Let n(t) = 2*t**2 - 5*t + 4. Let v be n(3). Suppose v*j - 5*j = -2. Is j less than or equal to p?
True
Suppose -52*b = 5*b + 36195. Is -634 at most as big as b?
False
Let q = 819 - 820. Is q less than 10/193?
True
Let p = -0.179 + 0.029. Let v = p + 0.05. Which is smaller: -7 or v?
-7
Let w = -270 + 269.9. Is w less than 7/13?
True
Suppose 15*t + 14 = 29. Which is bigger: 1/194 or t?
t
Let o(h) = h**3 - 17*h**2 - 32*h - 112. Let c be o(19). Let d = 251/155 - -18/31. Which is bigger: d or c?
d
Let a be ((-2)/5)/(23/5). Let o = a + 27/46. Do o and -2/3 have the same value?
False
Suppose 3*f + 4*d = d - 9, -5*d - 8 = -2*f. Let k be (-1)/(-6)*(0 - -1). Which is smaller: k or f?
f
Let d be -1 + 1 + 0 - -3. Suppose 0 = -d*x + 2*x. Suppose -4*s + 14 = -2*z, x = -2*s - 4*z + 2 - 0. Which is bigger: 1 or s?
s
Let c = 20 - 48. Let n = c - -30. Is 0 at least as big as n?
False
Let z = -2.9 - 0.7. Let f = -3.1 - z. Do 1 and f have the same value?
False
Let m = 27802489742419017646/167131 - 166351483221623. Let a = -27357/1723 + m. Let f = a + -618. Is f < -1?
False
Let r = -8/5 + 119/65. Let x = -7 + 7. Is r not equal to x?
True
Suppose 5*i - 31 = -6. Suppose -i*d - 5 = 15. Let u be 0 - -1 - 2 - 6. Which is smaller: d or u?
u
Suppose -468 = -2*m + 254. Let u = m + -6865/19. Which is smaller: -1 or u?
-1
Let m(o) = -16 + 5*o + 0*o - 6*o. Let b be m(-12). Is -7 less than b?
True
Let y(q) = 4*q**3 + 27*q**2 + 19*q + 202. Let g be y(-7). Suppose 5*p - 21 = 74. Do p and g have the same value?
False
Let y = -1463 + 2184. Let c = y - 2899/4. Let j be 1/(((-3)/4)/3). Is j smaller than c?
True
Let b(s) be the first derivative of s**3/3 + 3*s**2 + 6*s - 6. Let g be b(-5). Let r be g/2 - 31/54. Which is bigger: -1 or r?
r
Let c = 1429 + -65731/46. Which is smaller: c or 1?
c
Let o = -9 - -8.93. Let i = o - 0.83. Let p = 1 + i. Which is smaller: 1 or p?
p
Let v = 10.983 + 0.017. Let h = 12 - v. Which is greater: 33 or h?
33
Suppose 3*u - 5*z = -558, 2*u + 5*z + 178 = -169. Is -181 at least u?
True
Let b be ((-98)/(-1))/((-266)/(-133)). Is b != 53?
True
Suppose 3*j + 5*y - 1 = 0, -2*j + y + 3 + 2 = 0. Suppose j*a + 2*a + 43 = -5*r, -2*r - 12 = -a. Is r at most -7?
True
Let z be (-28)/49 + -4 + 96/21. Which is smaller: 1/22 or z?
z
Let p be ((-2)/60)/((-14)/(-1435)). Do p and -2 have different values?
True
Let l = -6 + 6.02. Let y = 0.039 + 2.961. Which is smaller: l or y?
l
Let a = 43641/76 + -2307/4. Is a greater than -4?
True
Suppose 0 = h + 4*h + 5. Which is smaller: h or 7/401?
h
Let m(y) = -40*y + 279. Let z be m(7). Is z not equal to -1579?
True
Let w = 52 - 56. Let f be (-5 - 28/w)*1/(-18). Is 6 at