to 5?
False
Suppose 4*j + b = -1355, 2*j + 1081 - 399 = -2*b. Let v = j + 304. Which is bigger: -37 or v?
v
Let o be (-1)/(((-42)/36)/7). Suppose -3*l - 7 = 2*t - 3, -o = 3*t + 4*l. Which is bigger: -3/4 or t?
-3/4
Let j be (-11 - -4) + (-1180202)/(-168490). Let f = j - -1/2905. Do 1 and f have different values?
True
Let v(u) = 3*u**2 + 25*u + 19. Let f be v(-10). Which is smaller: 6/5 or f?
6/5
Let r = -22.527 + 22.356. Which is greater: 6 or r?
6
Let y = 232 - 237. Let r be (-40)/24*3/y. Is r at most 22?
True
Let x be 114/(-56) - 22*(-36)/(-528). Which is greater: x or -4?
x
Suppose 4*m + m = 0. Let y be 24520/(-1360) + 7/(70/180). Which is smaller: m or y?
y
Let w = -72.42 + 72.46. Is w >= -0.452?
True
Let r = -4801.715 + 4805. Is r not equal to -0.1?
True
Let u be 9 + 4/(-2) - 5*(-5)/(-5). Which is smaller: 134/69 or u?
134/69
Let t = 3461 + -3459. Which is greater: t or -454?
t
Let b be (1/4)/(-14 - (-12537)/896). Let r be (9/2)/((-3)/20). Is b at least as big as r?
False
Let a = -14.2 - 2.8. Let d = a + 23.96. Let z = -7 + d. Which is smaller: z or 4?
z
Let l = 104/5 + -926/45. Let n = 461.2 - 9.2. Let w = n + -454. Is l != w?
True
Let d = 38 + -37. Let l = -63/8 - -837/88. Is l less than d?
False
Let u = -424 + 216. Let w = -32668/3 + 10890. Which is smaller: u or w?
u
Let x be 80/10 - (3 + 4). Which is smaller: x or 0.934?
0.934
Let o = 18 + -30. Let p = 14 + o. Let v be 3/(-9)*(-2 - (-40)/(-15)). Which is greater: v or p?
p
Let c be (-4)/(-5) + (-1655)/(-25). Let h = c - -55. Are h and 123 non-equal?
True
Let f = 25739 - 25862. Which is greater: -97 or f?
-97
Let g(x) = -x**3 + 37*x**2 + 34*x - 3. Let b be g(-1). Is b < 1/480?
False
Let i(m) = 141 - m + 0*m**2 + m**2 - 127*m**3 + 126*m**3. Let g be i(0). Let q = -3531/25 + g. Is 1 <= q?
False
Let j = -769024/3159 - -3160/13. Is -1 bigger than j?
False
Let i = -8458259/136 + 515039/8. Let j = 2187 - i. Is j greater than 0?
True
Let j(t) = 4*t**2 + 26*t - 17. Let r be j(-7). Let l be -4 - 9/(-6) - r. Let i = -12.1 - -0.1. Which is greater: i or l?
l
Let w = -667 - -316. Let s = 622 + w. Is s <= 272?
True
Let b be 2/(-6) - (-102)/(-18). Let i be (-5)/25*(30/b + 6). Is 3 greater than or equal to i?
True
Let w = 210 - 120. Suppose 585 = -5*c + w. Let p = -75 - c. Is p greater than 24?
False
Let z(j) = -j**3 + 13*j**2 + 16*j - 31. Let l be z(14). Let p be 53*2/(-30) - (5 - 3 - 3). Is p at least as big as l?
True
Suppose 0 = -7*p + 15 - 99. Let n(z) = z**2 + 15*z + 43. Let r be n(p). Is r bigger than 5?
True
Let w(s) = 3*s**2 - 8*s + 15. Let z(x) = 7*x**2 - 17*x + 30. Let c(g) = 9*w(g) - 4*z(g). Let a be c(-8). Is a equal to -91/5?
False
Let c = 11062/23 + -1402390/2921. Which is smaller: c or 0?
0
Let f = 4 - 7. Let z be 21/((-81)/24 - f). Let p = -76 + 19. Is p bigger than z?
False
Let p = -12873 - -785229/61. Is p != 1?
True
Let r = -21 + 69. Let p = r - 9. Let q(d) = 169*d - 468. Let x be q(3). Is x bigger than p?
False
Suppose 2*s = -6, -3*s - 5 = -3*w - 23. Let j be (9/6)/(w/(-8)). Let x = 40.51 + -41.51. Which is bigger: x or j?
j
Let t be 5/1 - (4/(-4) - 3). Suppose 0 = -9*l - 0 - t. Which is bigger: l or 1/564?
1/564
Let r = 4786 + -4787. Which is smaller: r or 9/376?
r
Suppose -9 = -2*h + m, -5*m - 21 = -h - h. Suppose -h*d = -2*f + 10, -2*f + d + 0*d = -10. Suppose -1 = i - f*t, -3*i = -7*i - 5*t - 4. Is 5/24 less than i?
False
Let p(v) be the second derivative of v**4/12 - 7*v**3/6 - 21*v**2/2 + 16*v. Let x be p(8). Let o = -40/3 - x. Which is smaller: -1 or o?
-1
Suppose 5*x - 22 + 5 = -4*k, 3*x = -4*k + 7. Let g be x*(-12)/(-2745)*-39. Let o = -7834/9333 - g. Is -1 at most as big as o?
True
Let w = -38 + 61. Let s be 5*(-5)/(-25) - -1. Suppose -s*x - 5*v + 25 = -x, -3*v - 75 = -3*x. Is w > x?
False
Let w = -3520 - -2568. Is -0.2 less than w?
False
Let a be 6 + (-458)/124 + -4. Is -3 bigger than a?
False
Suppose -31*v + 3032 = -1495 - 1177. Do 7/2 and v have the same value?
False
Let c = 1787 + -1882. Do c and -16 have the same value?
False
Suppose -26 = 5*h - v + 2060, 0 = -3*v + 3. Let n = 293 + h. Which is smaller: n or -125?
-125
Let t = 38827/10 - 3883. Which is greater: -94 or t?
t
Let v = -8.06 + 8. Let h = 3289/406 + -111/14. Let r = h - 44/87. Is r < v?
True
Suppose 8*m = -9 + 41. Suppose m*c - 34 = 3*c + y, -y = c - 26. Which is smaller: c or 32?
c
Suppose -3*f + 5*p - 20 = 0, -4*f - p + 0*p + 4 = 0. Suppose f = 16*v - 4 - 140. Let y be (6/18)/(1/v). Is y greater than 24/7?
False
Let f(o) = 85*o**2 + 3*o - 2. Let r be f(1). Let p be 3 + -7 + 0 - -8. Suppose -82*s + r*s + p = 0. Which is smaller: s or 0?
s
Let z = -8096 + 8196. Which is bigger: z or 0.1?
z
Let s(x) = 4*x**2 + 48*x + 19. Let a be (-4)/(-6)*-2 + (-224)/21. Let r be s(a). Is 19 at least r?
True
Let s(z) = z**3 - 4*z**2 - 1. Let n be s(4). Let b be (6 - 2) + (2 - (-4)/n). Suppose -2*f = 4*x + b, -16 = 3*x - 2*f - 4. Which is greater: -5/9 or x?
-5/9
Let k be 49 - 37 - (8 + 4). Is k at most 5/391?
True
Let g be (1 - 1)*-1*3/3. Suppose -10*q + 31 - 11 = g. Is 19/14 at least as big as q?
False
Let r = 2.34 + -2.31. Let z = -6.97 + 7. Is r less than z?
False
Let g = -136 - -137. Let c = -46 + 26. Let q = c + 19.6. Do g and q have different values?
True
Let p(c) = -2*c**3 + 2*c**2. Let a be p(2). Let z be 3 - (a/(-2))/1. Suppose 4*w - 153 + 153 = -7*w. Which is greater: w or z?
w
Let t = 181 - 1269/7. Let y be (-49)/(-7)*-3*11/3. Let m = y - -76. Do t and m have the same value?
False
Let f = 1.449 + -1.749. Let m = -11 + 2. Let b = m - -8.97. Which is greater: b or f?
b
Let t = 120 - 127. Let l be (-852)/54 - t - 2/9. Are l and -26/3 equal?
False
Let a be 2/(-9) - (-3 - (-230)/18). Let h be (-6)/a*8/(-12). Let r = -32 + 49. Is h at least r?
False
Let m = 821 - 264. Suppose 13*c - m + 50 = 0. Is c at least 40?
False
Let x(p) be the third derivative of -p**4/24 - 5*p**3/6 - p**2. Let m be x(-7). Let z = -1163 - -1166. Which is smaller: m or z?
m
Let w = -718 - -776.6. Let g = 58 - w. Which is smaller: g or -3/4?
-3/4
Let y(c) = -180*c**2 - 56*c - 348. Let r be y(-4). Which is greater: r or -9013/3?
r
Let w = -13 - -13. Let n be (-5)/((-5)/(-30)*-5). Let h be 4/27 - (n + -6). Which is bigger: w or h?
h
Let n(b) = 5*b**3 + 248*b**2 - 105*b - 80. Let y be n(-50). Is y less than -55?
False
Let i = 311 + -280. Let t(d) = 6*d - 256. Let j be t(i). Which is greater: -71 or j?
j
Let h be (-8)/6 + (-158446)/(-1047). Is h > -25?
True
Let n = 1.7 + -0.7. Let v be (-95)/4 - 12/48. Which is bigger: n or v?
n
Let l be (-4)/(-6) - (-8)/(-12). Let q = 3156 + -628048/199. Is l >= q?
True
Let l = 51.1 - 1.1. Let o = l + -49.95. Let f = o + 0. Which is greater: 2/5 or f?
2/5
Let d = -10969/3 + 3659. Do 4 and d have different values?
True
Let r = 54 + -48. Let b be 1/(r + -10 + 5). Are b and -39 unequal?
True
Let h(l) = 8*l - 92. Suppose 0 = 5*a + 3*b - 72, 0 = 7*a - 2*a - 4*b - 79. Let m be h(a). Suppose -9*g + 8 = -m. Is 5 not equal to g?
True
Let r = 3499 - 3433. Suppose -f + 1 = -2*f. Is r greater than f?
True
Let h = 55891/3618 - -16/23517. Let v be (-2635)/(-680)*1*-4. Let f = v + h. Is f > 1?
False
Let c = 130940315/15837 + -8268. Is c at least 1?
False
Let y(n) = n**3 - 84*n**2 + 102*n - 2156. Let p be y(84). Which is smaller: 6411 or p?
6411
Let m = 19892 + -19878. Suppose -7*n + 2*n + 65 = 0. Which is greater: m or n?
m
Let l = -9.007 - -9.844. Is l > -2?
True
Suppose 5*d = -6*d - 1441. Let r = d - -166. Which is bigger: r or 32?
r
Let c = -625 - -357. Let v = 207 + c. Is v != 0.2?
True
Suppose 2*o - 8 = 3*c, -2*o - 12 = -c + 3*c. Let f be 114 + (-4 - -3)/(o/2). Suppose -8*z + 45 = -f. Is 20 less than or equal to z?
True
Let o = 124/7 + -9913/560. Let k = o + -329/720. Let s = 13 + -12.9. Which is greater: s or k?
s
Suppose -475 = -3*u + 5*k - 14, 10 = 2*k. Let d be u/(-4)*(2 - 0). Is d greater than -159/2?
False
Let k be (725/(-60))/(90/144). Which is smaller: k or -33?
-33
Let m = 190.08 + -190. Let j = -0.92 - m. Which is smaller: j or -4/43?
j
Let v = -523 - -522. Let n = 4.12 - 2.3. Let c = -0.08 - n. Is v < c?
False
Let l = -17988.9712 - -17989. Is l greater than 1/9?
False
Suppose 0 = -7*m + 2*m - x + 150, -m = -3*x - 14. Let y = m - 38. Let j be (770/387)/10 - (-2)/y. Is 1 greater than j?
True
Let t = 62591 - 8