 most -3072/13?
False
Let b(q) = -q**2 + 393*q - 8162. Let j be b(22). Let r = 6 + -4. Suppose 14 = 2*w - 3*p, -3*w + 2*p = -r*p - 23. Is j >= w?
False
Suppose 11*i + 80 = 3*i. Let p = i + 10. Suppose 2*y = -p*y - y. Is -0.43 > y?
False
Let r(b) be the first derivative of -2*b**3 + 4*b + 21. Let i be r(2). Let l be (0 - -20)*i/(-10). Which is greater: l or 41?
41
Let j be (-59094)/7399 + (-5)/(10/(-16)). Let c = -9 - -11. Which is bigger: j or c?
c
Let z = -352 - -341. Let t(n) = -n**3 - 12*n**2 - 10*n + 12. Let r be t(z). Which is smaller: -1/101 or r?
-1/101
Let v be -96 + 2 + 0/1. Let w(g) = 35*g + 991. Let x be w(-31). Is v > x?
False
Let k be (-2310)/4048 - (-20)/32. Is k bigger than 1?
False
Suppose 5*l + 12 = 3*y, -3*y + 6 + 6 = -4*l. Suppose z - 20 = -2. Let h = z + -18. Which is smaller: h or y?
h
Let y = -1069322/65 - -68119/5. Let b = y + 2826. Let t = b + 193/78. Is 0 < t?
True
Let a = 4029 + -5954. Is a < 3?
True
Suppose 3*x = 4*x - 42. Let l = 42 - x. Let v(w) = 2*w - 16. Let r be v(l). Is -16 at most as big as r?
True
Let q be (-5*(-6)/10)/((-4)/(-12)). Let g be 6/q*(-6)/58. Is g not equal to 0?
True
Let g be -293 + 288 + (-43)/(-8). Do g and 306 have the same value?
False
Let y be (-474)/119 + 4/1. Suppose 62*r = 16*r - 46. Which is smaller: r or y?
r
Suppose -24*s + 44 + 196 = 0. Let z be -9*s/(-15)*33/968. Which is bigger: z or -2?
z
Let b(j) = 10 + 13*j - 3*j - 6*j**3 + 9*j**3 - 4*j**3 - 2*j**2. Let d be b(-4). Let y be 2/(-13) + 28/(-312)*d. Is y < 3?
True
Let r(i) = -i + 1. Let m be r(-1). Suppose -33 = -3*a - 3*q, -51 = -4*a + m*q + 23. Which is bigger: 0 or a?
a
Let m = 136 + -135. Are m and -50/111 equal?
False
Let x be (5/20)/((-1)/(-20)). Suppose -q - 10*v + 178 = -6*v, 0 = x*v - 5. Are q and 173 nonequal?
True
Let l = 130 - 129. Let k(q) = -24*q**2 - 12*q + 10. Let m be k(l). Let i = 6 - 33. Is i bigger than m?
False
Let y = 11.4486 + -11.139. Which is smaller: -1/4 or y?
-1/4
Let k be ((-3)/(-7))/(3/2). Let b = 0.37837 - 0.15437. Which is greater: k or b?
k
Suppose 0 = -6*z - 4 + 16. Suppose z*q + 364 = -3*s - 176, -3*q - 5*s = 809. Which is smaller: q or -274?
-274
Let o = -0.483 + 40.683. Let u = o - 39.2. Is -0.365 greater than or equal to u?
False
Let s = -180071 + 3218408984/17873. Is s at least as big as 1?
False
Suppose 0*r + 3*r + 5*o = 34, 0 = -5*r + 3*o + 34. Let m be (9 - r - 5)*16. Suppose 0 = -t + 2*y + 3*y - 70, -2*t + 3*y = 133. Which is smaller: t or m?
t
Suppose 5*j - 8 = -3*d, d - 3*j + 1 + 1 = 0. Let c be ((-2)/(-654))/(11/33). Do c and d have different values?
True
Let m be ((-1)/(-1))/((-18)/(-72)). Let o be (2 - 6)/((-8)/(-12)). Let p be (4 - 5)/((-39)/o). Which is greater: p or m?
m
Let r = 7834 + -7834. Do -1/27943 and r have different values?
True
Let l be -783 + 75/(-18) + (-4)/(-24). Let q = l + 62171/79. Is q not equal to -1?
True
Let s be (0 + -3)/((-7)/7). Suppose 2 + 1 = s*y. Suppose 5 = -v, y + 19 = -3*u - 4*v. Is u bigger than 0?
False
Suppose -1 = -5*j - 0*j - z, 2 = -3*j + 2*z. Suppose -5*a - 7*n + 14 = -4*n, j = -3*n + 9. Is 7/3 at most as big as a?
False
Let w(b) = -b - 16. Let n be w(10). Suppose m - 20 = -19, 4*m - 4 = -4*d. Do d and n have the same value?
False
Let c be (-11230)/9 - 33/(-5346)*-36. Which is smaller: -1247 or c?
c
Suppose -5*w + 2*w - 5*i = 23, -i - 31 = 3*w. Let h be (1/(-3))/(4/(-48)). Let j be 3620/(-300) - h/(-10). Are j and w equal?
False
Let k = 144.9 + 92.1. Is 4 != k?
True
Suppose -223*l - 2 = 43*l - 2. Which is greater: l or -26/2731?
l
Let t be (-1110)/540*(-90)/20. Which is smaller: t or -45?
-45
Let j be 11 + -14 - 129/1. Let o = j + 82. Let f = o - -44. Which is smaller: f or -4?
f
Let b = -41 + 58. Let z be 4 + 3 + 1 + (-8 - -5). Suppose -3*v + 8*v = -r + 75, 4*v - z*r - 60 = 0. Which is bigger: v or b?
b
Let i = -2 + 1.8. Let b be 2/(-393)*((-138)/92 + 27/6). Is i greater than b?
False
Let y = -4384.1 - -4350. Which is smaller: y or 1/13?
y
Suppose 21*x + 42*x + 4400 = 19*x. Which is smaller: -103 or x?
-103
Suppose -2946*q - 35130 = -2916*q. Which is smaller: q or 6?
q
Let j be 6/(-5)*1070/642. Is -46/33 smaller than j?
False
Let n be -2*(-101019)/(-378) + 10/(-35). Let j = n - -535. Which is bigger: j or 2/51?
j
Suppose 2*g + 1632 = -14*g. Let t(y) = -5*y**3 + 4*y**2 - y + 2. Let m be t(3). Let s = m - g. Is s less than 7/8?
False
Suppose 29 = -2*j + 5*b - 22, -48 = 2*j - 4*b. Suppose 0 = -k + 5*k - 3*n + 131, 0 = -k + 4*n - 23. Let s = 17 + k. Are j and s non-equal?
False
Let p be -9 - (-7*1 - (-1042500)/139). Is p greater than -7502?
False
Suppose 5*p = 6*p - 1, 475 = 4*c - 5*p. Suppose 4*s - c = 12*s. Is s greater than -18?
True
Let i(a) = 10*a - 48. Suppose 8*l - 10 = 6*l. Let f be i(l). Suppose -3*d = -f*d + 3. Which is smaller: d or -0.9?
d
Suppose 11*y + 306 = 10*y. Let h = y - -1223/4. Is h != -1.09?
True
Let z be (-1995)/(-66)*(1 - (-119)/(-35)). Let m = -45911342 - -38381942527/836. Let t = m + z. Does t = 1?
False
Let j(v) = 627*v - 31313. Let h be j(50). Suppose -2*s + 129 = 3*a, -60 - 112 = -4*a + 3*s. Is h at least a?
False
Suppose -25*k = 9*k - 5576. Is k greater than 163?
True
Let y = 411 - 410.827. Let g = y + -0.073. Which is greater: g or -1/6?
g
Let v = -19/81 - -1/81. Let n = 1.73 + 0.47. Is n bigger than v?
True
Let y = 27755 + -27754.9. Are y and -14940 unequal?
True
Let d be (-15)/(-6) - 1953/770. Let f(y) = y**3 - 10*y**2 + 4*y - 14. Let r be f(10). Let o = r - 25. Which is greater: d or o?
o
Suppose 2*m - f = -32, 2*m + 3*f + 45 = 29. Let a be (-138)/231 + (-8)/m. Which is greater: a or -1?
a
Let u = 28011/37 + -757. Which is bigger: -3/4 or u?
u
Let s be 286578/502173 + (-8)/14. Which is smaller: s or 0?
s
Suppose 0*g = -5*g - 90. Let r = 16 + g. Suppose -d - 2*y + 7 = 0, 5*y + 7 = 2*d + 11. Which is smaller: r or d?
r
Let t(f) = 2*f - 4. Let p be t(4). Let r(h) = 13*h**3 - h**2 - 7*h - 3. Let w be r(-3). Let n be (-952)/w - 6/(-57). Which is smaller: p or n?
n
Let q be 36/30*(2 + (-2)/6). Suppose 4*w + 7 = -c + q*c, 2*w = 5*c - 17. Which is bigger: w or -8/33?
-8/33
Let q be 2596/(-18) + 4*2/36. Let s = 153 + q. Do 76/9 and s have the same value?
False
Let h = -935.9 - -1054. Let y = 135.1 - h. Let m be (2/4)/(1/(-4)). Is m at most as big as y?
True
Let j be 581*-2*(-2)/4. Let f be (2838996/(-12195))/((-2)/5). Which is smaller: f or j?
j
Let r be (-346)/(-28)*-18 - 1. Let v = r - -224. Which is smaller: v or 4?
v
Let m be ((-4)/12)/(2/6). Let h = 235 - 144. Let s = h - 90. Which is greater: s or m?
s
Suppose 153 = -2*d + 3*j, 74 - 197 = 2*d + 3*j. Let k = d - -39. Let s = -31 - k. Is s equal to -0.12?
False
Let q(w) = -6*w**3 - w**2 + 2*w - 1. Let k be q(1). Let y be ((-5)/21)/(k/(-5)). Let c = y - 1/42. Which is greater: -1 or c?
c
Let h = -107 + 112.16. Let m = 32 - h. Let n = -27 + m. Is n < -2?
False
Suppose 6*g - 4*g = 4. Suppose 0 = -g*k - 2*k + 20. Suppose 3*n - 5*n - 25 = -3*r, -n = 5. Is r not equal to k?
False
Let i(y) = -y**2 - 16*y + 65. Let d be i(3). Let u be 0 + 256/(-12) - d/12. Which is bigger: u or -14?
-14
Let s = 0.283 + 0.717. Let l = s + 1.8. Let x be 4*(3/(-2))/(-3). Are x and l equal?
False
Let a(z) = -2*z**3 - 6*z**2 - 7*z - 6. Let i be a(-4). Suppose -1308*c + 20385 + 25031 = -19984. Which is greater: i or c?
i
Let c be (6/(-15))/(848/(-3358030)). Let m = 1584 - c. Which is smaller: 1 or m?
m
Suppose -5*n + 37 = 2*f, 0*f + 50 = 4*f + 2*n. Suppose 3*h = m, 2*m - 2*h = -m. Suppose m = -215*x + 213*x + 18. Is f >= x?
True
Let s = -4855/729648 - 19/1296. Which is bigger: s or -1?
s
Let q(m) = 509*m + 2035. Let x be q(-4). Which is greater: -1268 or x?
x
Let w be (((-40)/(-1290))/(-1))/((-2)/(-73529)). Let f = 1140 + w. Is -1 not equal to f?
True
Let o = -711 - -712. Which is smaller: -2/1955 or o?
-2/1955
Suppose -42*w - 140 = 113 - 43. Let g = -2 - -5. Suppose b - g = -5. Is b < w?
False
Let p(b) = -2*b**3 - 67*b**2 + 183*b + 108. Let y be p(-36). Which is smaller: 53/400 or y?
y
Let r = 31.6 - 77. Let w = r - 38.5. Let f = w + 84. Which is smaller: f or -1.6?
-1.6
Let z = -338 - -782. Let i = z - 423. Is i != 15?
True
Suppose -58*v - 2904 = 63*v. Does v = -24?
True
Let s = 1.525 - 2.525. Are -1331/5 and s equal?
False
Let j be (-8)/(-10)*2/4. Let f = 3813 + -3776. Which is smaller: j or f