10). Let v be -4 + (-9)/(-3) + s/32. Which is smaller: v or 1?
v
Suppose t + 14*s = 133, 0 = -3*t + 1482*s - 1477*s - 71. Let g(q) = q**2 + q + 3. Let m be g(0). Suppose m*j - 3 = -18. Are t and j nonequal?
True
Let t be (29574/(-279))/(1/((-134)/4)). Is 3552 < t?
False
Let r be (0 + (-1260)/(-48))/((-3)/(-8)). Let n = r + -106. Which is smaller: n or -6?
n
Let i = 5.166 - 5.2. Let a = 0.011 + i. Let t = 0.053 + a. Is t at least as big as 1?
False
Let r be ((-38 - 1) + -6)*(-8)/10. Suppose -14 + 14 = -r*y. Which is smaller: -1/488 or y?
-1/488
Let s = 13.964 + -15.964. Which is smaller: -1883 or s?
-1883
Let x(a) = -34*a + 71. Let h be x(19). Let q = h + 330. Which is greater: -246 or q?
q
Let c = 234 + -119. Let s = c - 106. Let q be 2/4 + 26/4. Is s at least as big as q?
True
Suppose -77571 = 38*y - 77*y. Is 1990 bigger than y?
True
Let v be (32/7)/2 - 8/28. Suppose 5*a + 4*m = a + 796, 0 = -v*m - 4. Suppose 2*b + 121 = -5*z, -z - a = 3*b - 52. Which is greater: -49 or b?
b
Let m = -1.43 - -1.456. Let l = 24.974 + -25. Let c = l + m. Is 0 greater than c?
False
Let y = 7.48 + -9.1. Let m = 0.75 + y. Let u = -41.87 - m. Which is greater: u or 1?
1
Suppose 3*v - 3*c = -126, 0 = 5*v - 0*v + 3*c + 178. Let l be (-3 - 0)*-15 + -4. Let i = l + v. Which is smaller: i or 8/3?
8/3
Let t(z) = 11*z - 17. Let q be t(2). Let j(s) = -6*s + 29. Let l be j(q). Is -1/290 at least l?
True
Suppose 3*u - 4*n = 8520, -n + 14622 - 3243 = 4*u. Suppose 1824 = -5*a + u. Which is bigger: a or 203?
a
Let w = 152.1 - 154. Let o = 171 + -171.3. Is o != w?
True
Let m be 16/24 + 20/6. Let s(t) = m + 27*t**2 + 7*t - 28*t**2 - 3*t. Let g be s(-2). Which is smaller: g or -5?
g
Let h be ((-2)/14730)/(39/57369) + 1/5. Is h < -1?
False
Let c be -10*((-3)/(-15) - -1). Let r = 170 + -155. Suppose r*b - 39 = 18*b. Which is smaller: b or c?
b
Suppose 0 = -5*t + 2*k - 30, -2*k = -2*t - 2*t - 26. Let n be (-2)/3*-4*21/4. Which is smaller: n or t?
t
Let y(q) = -2*q**2 - 2*q - 2. Let m be y(-1). Let w be (1*(96 + 11))/((-1)/m). Is w at most 215?
True
Let y be 3/(-4)*-4 - (-30)/(-2). Let i be (-357)/27 - y/54. Is i at most as big as -13?
True
Let q = 916 - 531. Let j be 98/q*(-5)/4. Let u = -47/286 - j. Which is smaller: 1 or u?
u
Suppose -5*k + 9*k - 3*p - 3 = 0, 2*k = -3*p + 15. Let s be (22/3)/(k/(-9)). Is -22 greater than s?
False
Let m(p) = -p**2 - 83*p - 1121. Let g be m(-66). Is 99/389 != g?
True
Let f = 3789 + -3777. Which is smaller: 224/17 or f?
f
Let h = -4.75 - 67.05. Let p = -72 - h. Is p < 25?
True
Let f be ((-3)/15)/((-56)/80) - 13156/(-14). Is f at least as big as 938?
True
Let h = -3.2678 - 1.7322. Does h = -111/7?
False
Suppose 0 = 5*j + 116 + 29. Let n = -142 - -129. Let a(s) = 7*s + 63. Let d be a(n). Is j at least d?
False
Let t be -133374*(-11)/(-231) + -3*4/(-84). Is -6352 bigger than t?
False
Suppose 0 = -4224*z + 4239*z - 15. Which is greater: z or 13/66?
z
Let c be -3 + 0 + 2 - 39. Suppose 2*r - 5*x + 133 - 45 = 0, 4*x - 8 = 0. Is r >= c?
True
Let j = -174 + 230. Let y = 1 - 27. Let v = y + j. Which is smaller: v or 29?
29
Let y(h) = -2*h**2 + 17*h + 35. Let c be y(10). Let i(o) = 4*o - 19. Let m be i(c). Is 6/109 != m?
True
Let c = -79796.954 + 79733. Let b = -5.036 - c. Let o = 0.082 + b. Which is greater: -1 or o?
o
Let w = -44.46 - -0.46. Let r = w + 67. Let m = -21 + r. Is m greater than 1/19?
True
Suppose -11225 - 38951 = 64*u. Is u greater than -783?
False
Let g = 5.6 - 5. Let a be (-2)/17 - 202675/(-4488). Let c = a - 134/3. Which is greater: g or c?
g
Let m = -5718 - 3390. Which is greater: -9110 or m?
m
Let c be (14940/7)/5*105/10. Is c greater than or equal to 4480?
True
Let h = -1.285 - -1.185. Let a = 0 - -4. Let r be a/(-14)*1/9. Do h and r have the same value?
False
Suppose 11 = h + 10. Let f be 1 - (2 + h) - (195 + -61). Is -0.1 <= f?
False
Let s be 41/(-1) + (1 + -7)*(-2)/3. Is s at most 75?
True
Let q = 6247/7 + -893. Does 0 = q?
False
Let g = -134 + 254. Let h be -5 - (-4)/(g/243). Do h and 4 have the same value?
False
Let r(a) = 3*a**2 - 27*a + 63. Let j be r(18). Let h = 630 - j. Which is bigger: -2 or h?
h
Let m(v) = v**2 + 12*v + 8. Let a be m(-11). Let o be 1 - (a + 9 + (0 - 4)). Let i be 2/256*(-2 + 3). Which is greater: o or i?
i
Let p = 19 - 17. Suppose -p*d = -5*r - 7 + 2, 3 = -5*d - 3*r. Let j = 53451/25 + -2138. Is j at least as big as d?
True
Let j(u) = u**2 + 14*u + 1. Let k be j(-6). Let v = k + 49. Suppose v*n = -3*n - 4*w - 28, -4*n = 5*w + 17. Is n != -8?
False
Let z = 175.1 - 168. Let j = -225.1 - -208. Let q = z + j. Is q > -0.1?
False
Suppose -192606*o + 192622*o - 16 = 0. Let i(j) = 368*j - 1. Let y be i(1). Let z be y/1260 - 4/14. Is z equal to o?
False
Let p = -9287/1043 - -7/149. Let a be (-45)/210*(-16)/(-12) - 68/7. Is p smaller than a?
False
Let t be -18 + -11*(-11066)/2662. Are 28 and t unequal?
True
Let f be ((-124)/8)/((-11)/22). Suppose 2*o - f = 3*j, 42*j = -4*o + 37*j + 51. Are 14 and o equal?
True
Let z be (-6)/(-9)*(-1)/2. Let c = -789 + 789.519. Let k = c + 0.081. Is k not equal to z?
True
Let j be -3 + -4 + 1650/95 + -4. Does j = 7?
False
Suppose 0 = 36*f - 35*f - 6. Let b be (f/4 + -1)/((-6)/(-612)). Suppose 3*h = -2*q + 5 - b, -20 = h + 3*q. Is h greater than -13?
False
Suppose 2*b + 1 = -5. Let j be 2 + b + (6 - -2). Suppose 0 = -96*h + 15*h - 19*h + 800. Which is greater: h or j?
h
Let y(n) be the second derivative of -n**5/20 - 17*n**4/12 - 13*n**2/2 + 18*n. Let s be y(-17). Let j(d) = -4*d + 13. Let c be j(7). Which is greater: s or c?
s
Let y = -108 - -113. Suppose -y*s + 9*d - 4*d + 150 = 0, -3 = 3*d. Is 29 smaller than s?
False
Let v be (15 + -2 - 14) + 0. Are -87/76 and v unequal?
True
Let m be 5/(-5) - (-1 + 0). Let a(o) = -94*o + 66. Let q be a(0). Let z be (-7 - q/(-9))*-9. Which is smaller: z or m?
z
Let k = -10153 + 10412.05. Let q = k - 2.05. Is -1/3 > q?
False
Let h = -4 - -3. Suppose 0 = 13*z - 14*z - 97. Let q = z + 96. Is q bigger than h?
False
Suppose -241*s - 437 = -222*s. Which is smaller: s or 414?
s
Suppose 0*t - 288 + 260 = 28*t. Is t > 64/191?
False
Let d = -290 + 292. Let j be ((-444)/420 - -1)*d/2. Let h = 4 + -5. Which is smaller: j or h?
h
Let p(u) = -2*u**3 - 31*u**2 - 20*u + 19. Let a be p(-14). Let q = 313 + a. Let k = -17 - -40. Are k and q equal?
False
Let r be (18 + -13)/1 - (-4)/(-2). Suppose l + 246 = -w, 2*w - r*l + 504 = -8*l. Is -241 less than or equal to w?
False
Let t = -369 - -381. Let k be (118/(-1180))/(2/t*-1). Is -1 at least as big as k?
False
Let a = 0.861 + -0.251. Let t = 457/12 - 151/4. Which is bigger: a or t?
a
Suppose -2*z = 5*r + 12, -3*z - 4*r = -z + 10. Let d = -37.1236 + 53.1236. Which is smaller: d or z?
z
Let v be (-24848)/2*9/(-54) - 3. Is v bigger than 2069?
False
Let r be (4/130)/(115/100). Let x = 1922/94185 - r. Let y(a) = 2*a**2 + 8*a + 1. Let d be y(-4). Is d less than or equal to x?
False
Let f(n) = -6*n**2 - 29*n + 10. Let r be f(-5). Suppose -l + 5 = -k + 2, 4*l = -3*k + r. Is 6 > l?
True
Let t = -945 - -1433. Let q be t/(-120) - (-3 + -3). Which is bigger: q or 3?
3
Let g be ((-4)/(-98))/((-4)/6). Let j be (-643)/(-98) - (-10 + -17 + 29). Let h = g + j. Is 5 < h?
False
Let z = -236.3 - -259. Let m be 0*2*1/(-2). Is z not equal to m?
True
Let c be (294/35 + -8)/(26564/(-20)). Is c at least as big as 0?
False
Suppose 7*g + 6*g - 7*g = -6. Is g greater than or equal to -4/305?
False
Let q = 127 - -339. Let d = q + -445. Which is smaller: d or 24?
d
Suppose 8*m = 2*m + 18. Let i(g) = g**2 + g - 3. Let k be i(m). Let w be -2*(1 - k/6). Is w less than 1/7?
False
Let f(i) = -i**3 + 46*i**2 + 88*i + 400. Let d be f(48). Is 504/29 greater than d?
True
Let f = 4321/709377 - 2/3963. Suppose -41*c + 38*c - 27 = 5*o, -2*c - 5*o = 28. Which is bigger: f or c?
c
Suppose u - 18*g - 57 = 0, 35*u - 9 = 34*u + 2*g. Is 67/28 at most u?
True
Let r(s) = s**3 - 6*s**2 + 4*s + 9. Let m be r(5). Suppose -16 = 3*h - m*d, -14 - 18 = 5*h - 4*d. Which is smaller: -3/4 or h?
h
Let c be (0 + 13)*1 + -2. Let m be (-84)/(-63) + (-4)/3 + 1. Suppose v + m = 3. Is c >= v?
True
Let h be 3 - (-6)/18*(-2 - -8). Is 250/61 < h?
True
Let h = 1 + -1. Let v be (-2)/7 - 2520/(-245). Suppose -o = 5*q - v, 4*q - 8 = 2*o - 0*o. Is h greater than o?
False
Let n = -10736 - -10735