33/56?
True
Let s = 15228 - 563646/37. Let b = 28733/5069 + s. Which is smaller: b or 0?
b
Let o be ((-997)/20)/((-161)/847). Let u = o + -1049/4. Is u greater than -1?
True
Let o = -360.9 - -310. Let z = o - -2.9. Is 0.1 bigger than z?
True
Suppose -2*k - 3*d = -36, 2*k + 2*d = 7*d + 20. Suppose 3*n = -p + 1, 3*p = 4*n - n + k. Is -0.74 smaller than n?
False
Let k be (-2)/4 - 2/(-4). Let s be (124/(-24) - -4)*172/(-3311). Is k at most s?
True
Let a be 4/34 - 36/(-272). Suppose -3*g = -4*v + 14, -12*v = -10*v + 2*g. Suppose -4*l - 2*h + 158 = 0, v*h + 123 = 4*l - 3*h. Which is greater: a or l?
l
Suppose 0 = 4*h + 3*m - 86, -3*h + 22*m + 65 = 24*m. Suppose -h*c = -16*c - 14. Are 10 and c unequal?
True
Let o = -3350 + 10046/3. Which is greater: o or 168?
168
Suppose 14 = 5*m - 31. Let l = m + -23. Let q = -15 - l. Which is smaller: q or -1/4?
q
Let k = 0.2137 - -0.1263. Which is smaller: -16 or k?
-16
Suppose 17 + 8 = 5*u. Suppose u*w + 1 = 4*w. Let j be (-4)/(-110) + 3 + -3. Is j < w?
False
Let j be 17 - -27 - (1 + 4). Let k be (-2)/9*(-26)/j. Suppose -3*x + 4*b + 7 = -0, -2*x - 1 = 3*b. Is x bigger than k?
True
Let d(s) = s**2 + s - 3. Let w(g) = -g**2 + 3*g + 3. Let u be w(3). Let b be d(u). Let f be ((-294)/(-105))/((-308)/(-25) - 12). Which is greater: f or b?
b
Let a be (9 - (-59)/(-7))*77. Which is smaller: 48 or a?
a
Let i(c) = -c**3 - 3*c**2 - 2. Let y be i(-3). Let s be ((0 - y)/(-2))/(-1). Let h be (-1)/(-15)*(7 - 46/4). Is s less than or equal to h?
False
Let m be 31178/39060 - 4/5. Let t(s) = -s**3 - 44*s**2 - 73*s + 463. Let q be t(-42). Is q at most m?
False
Let w be (5 + 3277)*((-1)/(-4))/(54/36). Is 3828/7 smaller than w?
True
Let p = -4581.411 - -4582. Which is greater: 6 or p?
6
Suppose -90*m = 136*m + 172*m + 743464. Is m <= -1867?
True
Suppose 3*a - 62 = 4*a - 3*z, 5*a + 4*z = -272. Let w = 56 + a. Which is smaller: 1/22 or w?
w
Let b = 0.238 + 352.762. Let u = 69 - b. Which is smaller: 1 or u?
u
Let d(v) = 9*v + 81. Let k be d(-9). Is k smaller than 17/145?
True
Suppose -16 = -4*h - 0*h. Suppose -14 = -g - d + 6*d, 5*g = -h*d + 12. Suppose -2498 = 2*o + 3*f - 2490, 9 = 3*o + f. Do g and o have the same value?
False
Let i(y) = 2*y**2 - 5*y**2 - 5*y**2 + 54 - 9*y + 24*y - y**3. Let h be i(-9). Does h = 1/177?
False
Let s(v) = -8*v + 172. Let b be s(25). Let a(f) = -27*f**2 + f. Let h be a(1). Does h = b?
False
Let k = 307.0577 - 0.0577. Let z = -299 + k. Is z at most -2/11?
False
Let j = 5043 - 5024. Let c = 7 - 8. Is j equal to c?
False
Let k = -6132521/25211171 + 2/681383. Suppose -s = -6*s. Which is bigger: s or k?
s
Suppose 0 = -6*m + 7 - 37. Let y be (-50)/m*(-6)/(-4). Let w be (2/(140/y))/(1/12). Is w <= 0?
False
Let c be (1 + (-90)/50)*(-910)/4. Which is smaller: c or -7?
-7
Let w = -75807/917 - -579/7. Let b = -1429/262 - w. Is b equal to -5?
False
Let k = 13/30851 + -4723258/7249985. Is 0 >= k?
True
Let p(g) = g**3 + 19*g**2 + 59*g - 132 - 8*g + 0*g**3 + 140. Let m be p(-16). Suppose -2*n - 12 = 70. Is m at least n?
True
Suppose -3*s - s - 4*j = 8, 4*j + 3 = s. Let g be (-30)/(-380)*(-5)/((-5)/(-24)). Which is greater: s or g?
s
Let w(u) be the first derivative of -u**2/2 + 18*u - 125. Suppose 4*q - 3*q - 31 = -4*l, -5*l = -5*q + 55. Let g be w(q). Which is smaller: -3 or g?
-3
Suppose -22737 = -165*r - 7557. Which is bigger: r or 63?
r
Let b = 361552 - 361777. Suppose 2*z + 3*s = -0*s - 458, -904 = 4*z + 3*s. Which is smaller: z or b?
b
Let q(z) = -z**3 - 6*z**2 - 3*z - 2. Let o be q(-9). Suppose -16*b = -20*b - o. Is b != -66?
True
Suppose -5*y - 10 = 10, 5*y + 26 = 3*v. Let i be 1/v*6/(-12). Is -8 < i?
True
Let l be (3/(-387))/((-10)/(10800/117)). Are 1 and l equal?
False
Let m = 3267.1 - 3209.032. Let l = m - 0.068. Let d = -58.1 + l. Which is bigger: 16 or d?
16
Suppose -a + 5*a + 4 = 0. Is a greater than or equal to 1/20?
False
Suppose -10 = 5*i, -64 = -p - 3*p - 4*i. Suppose 3*t - 60 = -p. Suppose -2*s + t = -3*s - 5*z, s - 16 = 5*z. Which is smaller: -2 or s?
-2
Let y = 27017 - 66650938/2467. Is -1 at most y?
True
Suppose 3*m - 3*m = -m. Suppose 4 = -2*u - 4, -5*k - 3*u - 52 = m. Let i = 29 - 38. Is k at most i?
False
Let o(t) = 2*t**3 - 2*t**2 + 3*t - 5. Let g be o(2). Let h be (-2)/g - 13860/324. Which is smaller: -46 or h?
-46
Let j = 0.11 + 1.19. Let z = j - 1.7. Let o be (83/83)/((30/24)/((-1)/(-4))). Is z less than or equal to o?
True
Suppose -6826 = -12*l - 64450. Which is smaller: -4800 or l?
l
Let c = -0.04 + -1.96. Let a = 14.6 + -16.6. Let d = -3 + a. Which is greater: c or d?
c
Let d(o) = -2*o**3 - 27*o**2 - 25*o + 1. Let n be d(-12). Let j = n - -161. Which is greater: 33 or j?
33
Let r = 19499 - 19524. Which is smaller: 65/2 or r?
r
Let a = 1 + -1. Let s = 240/3103 + 57841275/183077. Let u = -316 + s. Is u at least as big as a?
True
Suppose -3*y + 4*y - 5 = 0. Suppose 6*k - y*k - 35 = 0. Let m(u) = 2*u**2 - 69*u + 476. Let o be m(26). Which is greater: k or o?
k
Let u = 6 - 10. Suppose 4*o = 4*l + 76, l - 4 = -7. Let m be (40/o + 2/(-5))*-2. Are u and m equal?
False
Suppose 3*i - 51 = 27. Suppose -i*f + 312 = -34*f. Is -40 > f?
False
Let v = -2723 - -2592. Let c be -133 - (1 - (5 - 3)). Which is smaller: c or v?
c
Let a be (-312)/72*(-288)/104. Suppose 5*j = 91 - 26. Let d = j - -1. Is d != a?
True
Suppose p + 4*t - 24 = 0, -p + 5*p = -4*t + 60. Suppose p - 112 = 10*h. Let q be h/(-35) + (-19)/(-7) + -2. Which is greater: q or 4.8?
4.8
Suppose z = h + 56, 5*z - h = 3*z + 113. Let b be (z - -1)/(14/(-7)). Suppose 0*n - 30 = n. Which is smaller: b or n?
n
Let y(x) = -3*x**3 + 17*x**2 - 31*x + 105. Let m be y(5). Is m != 17/135?
True
Suppose 0 = 2*j - 2*k + 174 - 1226, 1046 = 2*j - 4*k. Let i = -2105/4 + j. Suppose -1972 = -159*o - 1654. Which is smaller: o or i?
o
Let j = 70965 - 1632481/23. Is j at most as big as -13?
False
Suppose 2628 = 30*c - 29*c. Let x = c + -13263/5. Which is bigger: -25 or x?
x
Suppose 5*k = 3*p - 124, -k - 4*p + 6 - 17 = 0. Which is smaller: -31 or k?
-31
Suppose -34 = -3*r + u, 21*u - 23*u + 10 = 0. Let s be 13/r + 12/(-2). Let t(o) = o**3 + 5*o**2 - 4*o + 8. Let v be t(-6). Are s and v unequal?
True
Suppose 24*n + 272 - 296 = 0. Let k be (-2)/(234/(-41)) + 3/(-9). Is n at most as big as k?
False
Let x = 73.6191 - -0.3809. Which is bigger: x or -11?
x
Suppose 2*z + 3*s = 4*z - 7, z + 3*s = 8. Suppose z*b = 4*j + 10 + 1, 0 = -2*j - 8. Is -2/7 at least b?
True
Let m(s) = 10468*s - 35. Let g be m(0). Let r be 4/(-10) - 8/(-20). Suppose 4*i + v + 138 = r, 0*v = 2*i + v + 68. Is i != g?
False
Let j(c) = -c**3 + 4*c**2 - 2. Let s be j(4). Let w be (-52)/(-260)*(0/s - 0). Is w not equal to -8/23?
True
Let u = -203 - -203. Suppose -3*q - 3*h = 17 - 26, 5*q - 4*h + 21 = u. Which is bigger: -2/81 or q?
-2/81
Let s = 88 - 79. Suppose -s = 5*l - 9. Suppose 0 = -2*c - 1 - 3, -r - 2*c - 6 = l. Is r != -0.05?
True
Let z = -1770161937/8366 + 211590. Is 0 at least as big as z?
False
Let q be (-1)/(-2)*-3 - 15/6. Let x = 2 + q. Let c be (4/x)/(-2)*-2. Are -1 and c equal?
False
Let o = 217.37 + -219. Let p = o + 1.48. Let j = 0.05 - 0.35. Which is smaller: j or p?
j
Let z be (-50)/(-175) + 2049/7. Suppose -z*x + 278*x = 15. Which is smaller: -1/59 or x?
x
Let i(d) = d**2 - 7*d + 8. Let l be i(3). Let m be l/80*58 + -1. Is m less than -5?
False
Let z = 575/1576 - -2/197. Let f(v) = v + 3. Let u be f(-5). Let k be ((-3)/u + -2)*2. Which is smaller: k or z?
k
Let g be ((-42)/(-7) - 5)*(-1261 + 4) + -2. Which is greater: -1262 or g?
g
Let o be 2918/(-13)*(253 - 240). Which is greater: -2916 or o?
-2916
Let p(k) be the second derivative of -k**5/20 - k**4 + k**3/6 - 15*k**2/2 + 3*k. Let h be p(-11). Let d be (-3)/3 - 153/h. Which is bigger: -1/4 or d?
d
Let z = 26 + -19. Suppose 2*d + 30 = z*d. Let l be -3 - (-2 + 40/d). Which is smaller: -9 or l?
-9
Suppose o - 978 = -5*s, 60*o - 58*o + 984 = 5*s. Let a = 165 - s. Is -39 at least as big as a?
False
Let k(p) = -p**2 - 4*p + 14. Let a be k(4). Let i be 4/2 - (a - -3 - 1). Suppose -2*z + 6 = 2*f, 2*z + 4 = 2*f + i. Is -4/5 at most as big as f?
False
Suppose -4*j - 34 = -3*a, j - 3 = -36*a + 31*a. Let d(c) = -c - 3. Let l be d(-5). Are a and l nonequal?
False
Let s = 5108507 - 7570806955/1482. Let o = -19/78 - s. Is 2/3 bigger than o?
True
Le