 -82867/28. Let f = n + 90. Are f and -1 nonequal?
True
Let q = -7025 + 35123/5. Which is smaller: -218 or q?
-218
Let a = 11 - 2. Let m = 24 - 21.7. Let s = m + -2.2. Is a >= s?
True
Suppose 210898 = 115*m + 29083. Are m and 1583 equal?
False
Let h = 29/238 + -2557/476. Let i be 1/1*66/(-11). Is h smaller than i?
False
Let k be (8 - (8 + 16))*5/2. Let r be ((-2555)/k + 2/16)/2. Which is greater: r or 35?
35
Let f = -98.36 - -2.36. Let n = -726 + 634. Let z = f - n. Which is smaller: z or -1.3?
z
Let a be -8 + (-9856)/(-105) - 4/(-30). Let j = 257/3 - a. Which is smaller: j or 1/8?
j
Let z be -1*(-4)/490*-5. Let r be -5*(16/5)/(-4). Suppose 33*h + r = 37*h. Which is smaller: z or h?
z
Let m be (-3)/(7/(1372/21)). Let k be 7/m*-28 + -6. Which is smaller: 2 or k?
k
Let k = -283 - -283. Suppose k = -4*a, -12*i = -8*i + 3*a + 4. Which is bigger: 1/96 or i?
1/96
Let q = 109.947 - -0.053. Let m = q + -110.37. Is -0.1 greater than or equal to m?
True
Let a = -217.37 - -0.37. Let p = a - -230. Is -0.4 bigger than p?
False
Let l = -185 - -1325/7. Let z(g) = 15*g + 184. Let v be 2/6*(2 - 38). Let q be z(v). Which is smaller: q or l?
q
Let w be ((-132)/(-8))/11 + (-2 - (-5)/(-2)). Do -0.063 and w have the same value?
False
Let w = 2292 - 2294. Which is smaller: -16.32 or w?
-16.32
Let w be -5 - (-5 - -3) - (2 - 2). Suppose 0 = 4*i - i - 120. Let s = i + -159/4. Is s at least as big as w?
True
Let r = 1542/17 - 697171/7684. Which is greater: r or 0?
0
Let j be ((-88)/54)/(178/267). Let d(u) = u**3 + 12*u**2 + 10*u - 12. Let s be d(-11). Is s > j?
True
Let f = -188 - -35. Let y = -289/2 - f. Is y <= -6/5?
False
Let n(p) be the third derivative of -p**6/120 + 19*p**5/60 - 17*p**4/24 - p**3 + 2*p**2 - 82*p. Let b be n(18). Is 6 greater than b?
False
Let k be 1*(-1007 + 0/(-5))/1. Let u = -404 - k. Is 604 > u?
True
Let y be -27 + 5 - (-788)/33. Which is bigger: y or 2?
2
Suppose -17*g + 14 = 14. Suppose -t + 3*a + 329 = g, -t + 389 - 56 = -5*a. Is t equal to 324?
False
Let k be (4/30*5)/(4/(-6)). Let h be (-8)/(-44) + (k - (-724)/11). Let w = -66 + h. Which is smaller: w or -2/13?
w
Let i = -2227 - -1550. Which is smaller: 0.4 or i?
i
Let p be ((-32)/(-10))/(4*(-3)/120). Let r be -1*(-1)/p*-4*-3. Which is smaller: 2 or r?
r
Let v be 0/(0 - 3)*-1. Let f be (0 + -3)*4 - (-640791)/53326. Are v and f nonequal?
True
Suppose -4 = -o, 3*k + 4*o + 6 = 13. Suppose 3*t = -i + 5*i - 30, 0 = 3*t + i + 45. Let l be 7*(8 - -1)*t/147. Is k != l?
True
Suppose 6*h = -4*w - 326, -h - 184 = 4*w + 137. Is w < -98?
False
Let o be 348/(-22)*(-39)/6. Let t = o + -6473/33. Which is smaller: t or -94?
-94
Suppose -5*q + 36 = 141. Let a(m) = m + 11. Let t be a(-10). Let u be ((-36)/(-39) - t)/(7/q). Which is greater: u or -1?
u
Let d = -670 - -376. Let a = 340 + d. Suppose 0 = -2*p - 2*v + 20 + 60, -5*p - 4*v = -204. Are p and a equal?
False
Let l be 122/305*(-1230)/(-9). Which is smaller: l or 56?
l
Let x be (3/(-6))/((-8)/96). Suppose r + x = -5*r. Is 4/129 less than r?
False
Let z(n) = 2248*n**2 + 14 + 2240*n**2 + n - 4497*n**2. Let x be z(2). Let g(u) = u**3 + 3*u**2 - 6*u - 1. Let r be g(-5). Which is smaller: x or r?
r
Let z be 1*21/(-6)*(-5)/((-262780)/(-48)). Are z and -1 equal?
False
Let t be (-1)/(-7)*(-196)/98*(-2)/(-1). Which is smaller: -0.03 or t?
t
Let k be 267 + (152/36 - 4/18). Let t = 257 - k. Which is smaller: t or -2/17?
t
Let k be (-7)/2*2/(-12). Let l = 5519 + -5519. Which is smaller: k or l?
l
Let k be (-32277)/(-870) + (-1)/(-5). Is 36 >= k?
False
Let t = -47/157 + 7070/16799. Are t and 0 unequal?
True
Let c = 5375 - 5392. Is c at most 627?
True
Suppose 0 = 2*l + 3*g - 141, -14*g = -l - 15*g + 72. Let n be ((-3100)/l)/(2/(-1)). Which is greater: 21 or n?
21
Let z(c) = -c**3 - 20*c**2 - 92*c + 40. Let x be z(-12). Is x > -194/25?
False
Suppose 0 = 3*f + 3*f - 18. Suppose f*q - 18 = -3. Suppose 0 = -2*m - m + q*j - 7, -4*j + 44 = 4*m. Which is smaller: 9 or m?
m
Let g(c) = 4*c + 82. Let w be g(-21). Let z be w*9/42*(-1)/(-3). Is z >= 0.19?
False
Let x = -16.65 + 0.65. Let z be ((-5)/75)/(6 + 73/(-12)). Is x greater than or equal to z?
False
Let f = -57 - -13. Let w = f + 98. Let m(c) = c**3 + 9*c**2 + 7*c - 10. Let s be m(-5). Which is bigger: s or w?
s
Let r(x) = 2*x - 5. Let c be r(3). Let i be 45/6*(-1 - c). Suppose 523 = -88*q - 621. Is q < i?
False
Suppose 5*t = m - 24, -5*m + 16 - 8 = 3*t. Let d be (-1 - (-7)/5)/(4/40). Is d less than m?
False
Let m = 15.41 - 14.95. Let f = 0.8 + -0.6. Do f and m have different values?
True
Let u be 2*-2 + 1*8 + 52705/(-1245). Suppose 2*d + 78 = -0*d. Which is bigger: d or u?
u
Let b(o) = -116*o**2 - 5*o - 14. Let s be b(-2). Do -470 and s have the same value?
False
Let m be -5 - (2 - (1 - -2)). Let o be (-59)/m - (-1)/4. Let k be (-5)/12*14/35 + 340/24. Which is greater: o or k?
o
Let p(x) = x**2 + 8*x + 9. Let h be p(-7). Let i be (100/75)/((-2)/3). Let a be 2 - (2 + (i - -5)) - -6. Which is smaller: h or a?
h
Suppose 1520 = -10*u + 1510. Which is smaller: u or -9/268?
u
Let n = -68 - 18. Let u(b) = -84*b - 485. Let j(m) = -28*m - 161. Let c(d) = -11*j(d) + 4*u(d). Let w be c(-3). Is n bigger than w?
False
Let n(q) = 34*q - 270. Let p be n(13). Let v = 172 - p. Is -17/31 != v?
True
Let d = 27826 - 20117. Is d <= 7710?
True
Let n(q) = 4*q + 4*q - 4 - 14*q + 5*q. Let r be n(12). Let b = -12 - r. Which is bigger: b or 14/5?
b
Suppose -271*d + 111 + 110 = -50. Let w = -45/337 - -112319/836097. Which is bigger: d or w?
d
Let z(v) = v**3 - v**2 - 5*v + 5. Let p be z(4). Suppose 0 = 3*i - 4*j + p, 6*i + 10 = 5*i + j. Let b = 0 - 5. Is b bigger than i?
True
Let t be (-74370)/(-9540) + 644/212 + -3. Which is smaller: t or 3?
3
Suppose -4*c + 20 + 32 = 0. Suppose -62 = -3*g + c. Suppose -625*q = 70*q - 18765. Is g greater than or equal to q?
False
Suppose k + 6 + 4 = 4*j, -k = 2*j - 2. Let c = -86531 + 86525. Is c >= k?
False
Let i = 1722 - 5025. Is -3303 bigger than i?
False
Let v = -7181914/323 - -22235. Is v less than -1?
False
Let s = -656908310/49 + 13405267. Suppose -3195 = -22*h - 25745. Let v = s - h. Is 1 > v?
True
Let f(t) = -1968*t**3 - 6*t**2 - 6*t - 5. Let q be f(-4). Let h be (-6)/10*q/(-855). Is h not equal to 88?
True
Let n = -826 - -586. Let a = n - -248. Is a at most 2?
False
Let s(n) = -2*n**2 + 49*n + 28. Let j be s(25). Suppose 0 = -j*l - l. Does l = -4/37?
False
Suppose -122 = -6*b + 34. Let q = b + -9. Let c = -17 + q. Do c and -5/17 have the same value?
False
Let f be ((-13)/(78/1086))/(1 + 0). Is -907/5 at least as big as f?
False
Suppose b = -4*b + x - 392, 4*x - 8 = 0. Let r be 1 - -3 - (-286)/b. Are r and 317 equal?
False
Let q(m) be the first derivative of -6*m + 1/4*m**4 - 40 - 4/3*m**3 + 5/2*m**2. Let n be q(3). Which is bigger: n or -6?
n
Let m = 4 + 0. Let d = 2374 - 2375. Is m greater than or equal to d?
True
Let y = 5.9 + -5.067. Let a = -0.533 + y. Which is bigger: -0.066 or a?
a
Let b = -479 + 478.99. Suppose -4*p + 5*p = 2. Suppose 3*h + p*n = -2 + 9, -6 = -3*n. Is h not equal to b?
True
Let l(z) = -z**3 - z**2 + 2*z + 63. Let v be l(0). Let r = 2955 + -2956. Which is greater: r or v?
v
Let m be ((-381)/(-6))/(28/(-56)). Which is greater: -115 or m?
-115
Let s be (4 + 62/(-15))/((-128)/(-80)). Let r = -26/3 - -107/12. Is r > s?
True
Let v(a) = -a. Let x be v(-3). Suppose -16*y + 110 = 6*y. Suppose 2*z - r = y, -6 = -3*z - 13*r + 14*r. Is z less than x?
True
Suppose 5*a - 5*i - 35 = 0, -5*i - 12 = -3*a + 5. Let o(v) = -v**3 + 27*v**2 - 52*v + 60. Let k be 5/((-1)/10*6)*-3. Let t be o(k). Is a at most t?
True
Suppose -224*f + 31 - 31 = 225*f. Suppose 0*z + 2*z = 10. Suppose z*p = p + 12. Which is smaller: f or p?
f
Let u = 46/221 - -17008/1105. Which is smaller: u or 16?
u
Suppose 4*n - 2 = 6. Let u be n/(-9) - (-420)/2133. Let w be (-4 + 1)*(4 + (-13)/3). Is w <= u?
False
Let i = -0.4988 + 0.4988. Let r be (-6)/(-4)*(-614)/3. Is i not equal to r?
True
Let k = 46/3 + 119/30. Which is greater: k or 0?
k
Let z(c) = 18*c - 64. Let u be z(11). Let f be (-1943)/u + (-1)/(-2)*3. Which is greater: f or -66/5?
f
Let n = 4559 - 4555. Which is smaller: 429 or n?
n
Let g = -30 - -35. Suppose -25 = -3*u + g. Suppose u*k = k - 153. Is -14 greater than k?
True
Suppose -12*k - 552 + 4892 = 2*k. Which is sm