 11. Let l be y(i). Suppose 12*a - 170 = 442. Is a != l?
False
Let h = 18 - 20. Let w = 281887/33 + -8543. Which is bigger: h or w?
w
Let u = -37566 - -37582. Let n = 1 + -0.8. Which is greater: n or u?
u
Suppose 4*j = z - 5137, -721*z - 15348 = -724*z + 3*j. Which is smaller: z or 5113?
z
Let q = 3793 - 8299. Do q and 4 have the same value?
False
Let i(q) = -6*q**3 + 62*q**2 - 22*q + 4. Let r be i(10). Which is smaller: 0.024 or r?
r
Let b = 180 - 171. Let j be (6/b)/(2 + (-11)/3). Let m = -6.7 - -43.7. Which is smaller: m or j?
j
Let g = 52152 + -52144. Let c = 1 + -0.89. Is c at least g?
False
Let u be ((-18)/(-30))/1*5. Suppose 33 = -2*i - 5*w, -3*i - 27 = 6*w - u*w. Does -4 = i?
True
Let u = -0.32 + 0.02. Let t = -0.4 - u. Let j(k) = 456*k - 4545. Let v be j(10). Which is smaller: v or t?
t
Suppose 2*a + 9*y - 36 = 10*y, -4*y - 16 = 0. Which is bigger: 43 or a?
43
Let j be (30/40)/((-10)/(-66)). Let k = j - 21/4. Which is bigger: 0.1 or k?
0.1
Let f(z) = -z**3 - 14*z**2 - 25*z - 44. Let t be f(0). Suppose 0*g = 2*g + 88. Is t equal to g?
True
Let j be (23/((-115)/50))/((-4)/6). Suppose j*k - 6*k = -225. Is k at most -23?
True
Let n = -231411 + 2079853/9. Let s = n + 316. Which is smaller: s or 18?
s
Suppose -3*o - 401 = 3*v - 1034, -4*o = -2*v - 862. Suppose -5*q = 2*b + 3957, -q - o - 583 = -b. Is q at least -792?
False
Let n = 1.2205 + -1.3205. Is 645/17 at least n?
True
Let x = 67 - 62. Suppose -x*l + l + 4*b = -108, -3*b + 27 = l. Suppose -17*h + 20*h + l = 0. Is 0 smaller than h?
False
Let o = -0.3272 - 0.0901. Is 2 at most o?
False
Let c = 578 - 577.5. Which is bigger: c or 59?
59
Suppose -11*n = -9*n - 4, 3*f + 2*n + 899 = 0. Let r be (-378)/f + -4 + 2. Are -2 and r unequal?
True
Let s = 6 + -42. Let k = -31 - s. Suppose -15*n + 10*n - k = 0. Is n greater than or equal to -0.8?
False
Let u(i) = i - 7. Let f be u(9). Let n be (18*(2 - 3))/f. Let t = -139 + 129. Is n > t?
True
Let d = -20069/4 - -5017. Suppose 5*f = 3*f - 24. Is f >= d?
False
Suppose -59*s + 16058 = -62*s - 5*g, -2*g = -16. Do s and -5365 have the same value?
False
Let p be -13*(-87)/1508 - (-54586)/(-72760). Which is greater: p or 0?
0
Let n = -2 - -1. Let u be (4 - 1)*(-6 + 75608/12720). Let y = u - 7/53. Which is greater: y or n?
y
Suppose 0 = -10*r - 87 + 967. Let f be -2*118/r - (-22)/121. Which is smaller: -6 or f?
-6
Let y(q) = -q**3 - 9*q**2 - 3. Let a be y(-9). Which is smaller: -681 or a?
-681
Suppose 1838*a - 1863*a - 248075 = 0. Which is greater: a or -9925?
a
Let a = 43523 + -43523. Let l be (-3)/(-3)*2/(-183). Which is greater: a or l?
a
Let c be (-18)/(-63) - 1876/49. Which is bigger: c or -33?
-33
Suppose 2116 - 1985 = -131*d. Is d < -2/15871?
True
Let h be ((-20122)/(-4))/(-1 - 16). Let q = h + 296. Is q not equal to 1?
True
Let i = -72.22 + 1397.22. Are -2 and i nonequal?
True
Let g(y) = y**3 + 10*y**2 - 37*y + 25. Let r be g(-13). Are r and -21/449 non-equal?
True
Let f = -7060 - -6822. Which is greater: -229 or f?
-229
Let r be (-4)/6 - 244/(-6). Suppose 5*l + b + 28 = -218, 2*l + 103 = -5*b. Let o = l + r. Which is smaller: o or -8?
o
Let y be 10 - ((-3834571)/13)/(-17). Which is smaller: -17340 or y?
y
Suppose 87*a = -11015 - 10474. Which is greater: -171 or a?
-171
Let m = -7/460335 - 2258250002/4143015. Let s = -545 - m. Let y = 4 - 3. Are y and s unequal?
True
Let a(i) = -19*i - 89. Let u be a(-5). Suppose 5*x + 32 = -3*j + 183, 0 = 2*x - 10. Suppose u*q + 36 = j. Which is bigger: -2/291 or q?
q
Let n be ((-517)/11 + 174)/((-6)/4 - -1). Is -2780/11 greater than or equal to n?
True
Let v be 1/(-12) - (525/(-2450))/((-12)/14). Is v less than 2/1101?
True
Let d(q) = -2*q**2 + 142*q - 1008. Let s be d(8). Which is bigger: -2/227 or s?
s
Let l = -30119/3 - -10038. Let c be 2*(1 - 1/(-2)). Suppose w = -2*i + 3, w + c*w - 4 = -4*i. Which is greater: w or l?
w
Let o(n) = n**3 - 2*n**2 - 3*n + 5. Let u be 15/(-2 + 7) - 2/2. Suppose -f - 5*j - 10 + u = 0, -4 = 2*f + 4*j. Let h be o(f). Is h equal to -9/5?
False
Let z be -1 + -7 - ((-26818)/598 + 37). Does 2978 = z?
False
Let h = 0.149 - -1.843. Which is bigger: 1 or h?
h
Let s(a) = -a**2 - 540*a + 3277. Let d be s(6). Which is smaller: d or -287?
-287
Let d be (-6)/((40/132)/(-5)). Let s(r) = -38*r - 964. Let q be s(-28). Which is greater: d or q?
q
Let j = -2077 - -1450. Let a = 627.16 + j. Which is greater: a or -11?
a
Let c = 1120 + -5568/5. Suppose -1097 = -4*s - 37*s - 810. Which is greater: s or c?
s
Let z = 211455/16 - 13216. Is z less than 1.92?
True
Let b(i) be the second derivative of i**4/12 + i**3/3 - i**2/2 + i. Suppose -d = -3*u - 5 + 1, -6*u = -3*d + 6. Let m be b(d). Which is bigger: m or 6/11?
6/11
Let x = 41.4 - 44.7. Which is smaller: 0.7 or x?
x
Let a(u) = -u**3 - 22*u**2 - 75*u + 14. Let t be a(-19). Suppose 347*r - t*r = -378. Is r bigger than 0?
True
Let z be (-4)/(-6)*27/(-6). Let u(c) = 24 + 41 - 14*c + 134*c**2 - 133*c**2 - 22. Let n be u(6). Which is smaller: z or n?
n
Suppose -h - 2 = 0, 4*h = -4*k + 800 - 64. Let y be (-1 - 2/(-3))*k/1426. Let b(q) = -2*q**2 + 2*q + 5. Let t be b(2). Which is greater: y or t?
t
Let u be (280/(-320))/((-11)/84) + -7. Let s = 0 + 2. Suppose 4*h + s = -2. Which is smaller: u or h?
h
Let f = -19 - -31. Let g be (-6)/9 + (-1 + 17)/(-8). Is g <= f?
True
Suppose 35*d = 30*d + 35, -3*b - d + 4 = 0. Which is smaller: b or -9/338?
b
Let o be ((24/(-5))/6)/(8/(-140)). Suppose o*d - 12*d = 6. Let a be (-5)/1 + d/9*3. Which is greater: 1 or a?
1
Suppose 2*i = -6*m + 3*m + 17, m = 3*i + 2. Which is smaller: i or 2/1865?
2/1865
Let n = -322 + -548. Let h be (10404/n - -7) + 5. Are 0 and h equal?
False
Let h(i) = 2*i**3 + 6*i**2 + 29*i + 63. Let n be h(-3). Is -273/11 > n?
False
Suppose 3*x - 38 = 5*j, -2*j = -0*j - 10. Suppose -31*q + 36*q + 138 = 4*t, -21 = -t - q. Is x greater than t?
False
Let v = -218 - -458/3. Let l = 323/6 + v. Is l smaller than -13?
False
Let n(b) = 8*b - 25. Let q(v) = -15*v + 49. Let j(t) = -11*n(t) - 6*q(t). Let p be j(9). Let w(z) = 3*z**2 + 2*z. Let d be w(p). Which is smaller: -2/25 or d?
-2/25
Let f = 23586 + -7217309/306. Which is smaller: -1 or f?
-1
Let a(q) = 5*q + 12. Suppose 0 = k - 6. Let g be 7 - 287/21 - 2/k. Let u be a(g). Is u at most as big as -23?
True
Let v be (-11)/((-88)/(-144))*602/(-88). Let q = v - 124. Is -2 >= q?
False
Let r = -3/2047 + -2035/8188. Is r greater than or equal to -3080?
True
Let r be (-23)/(((-52)/78)/(2/(-3))). Let h be 31 - 28 - r*(-1)/7. Let l be (80/42)/(2/3). Is h at least as big as l?
False
Let r = -292439.8405 - -292552. Let i = r - -0.0405. Let l = i + -110. Does l = 0?
False
Suppose u = 3*u + 5*a - 1151, 5*a = -4*u + 2327. Let t = u - 593. Let m(x) = x**2 + 3*x - 4. Let p be m(-3). Which is smaller: p or t?
t
Let f(h) = -4*h**2 - 33*h - 12. Let b be f(-8). Let p be b/359*12/24. Which is bigger: -1 or p?
p
Suppose -1919*p + 1926*p = 882. Suppose p = 227*u - 233*u. Is -20 smaller than u?
False
Suppose 0 = -f + 4*g + 23 - 37, 4*f - 3*g + 95 = 0. Suppose 0 = -2*v + 3*v - c + 27, 4*c = -5*v - 126. Are f and v non-equal?
False
Let f = 29 - 29.3. Let x = f - 4.4. Let p = x + 3.7. Which is greater: p or 1/16?
1/16
Let g = 1634.03 - 1634. Is 2/1421 equal to g?
False
Suppose 1 = -4*c - 2*s + 11, 0 = -3*c - 5*s + 11. Suppose 2*h + 4*j - 4 = 0, -c*h - 6*j = -j - 5. Is 136 not equal to h?
True
Let h be (3042/(-1080) - (-15)/(-12))/(1/(-1)). Is h greater than 4?
True
Let k be 255/(-1445) - (-14)/(-17). Is k < 26/257?
True
Let z(c) = 9*c + 34. Let s be z(13). Suppose 2*x - 149 = -s. Which is smaller: 1/13 or x?
x
Let c = 1395 + -946. Suppose r - w - 451 = -3*w, -4 = -4*w. Are c and r unequal?
False
Let m = -42008.4 - -42008.3. Suppose 0 = 3*w - 3, 0 = -x - 0*x - 2*w - 115. Let g = 697/6 + x. Which is smaller: g or m?
g
Let x be (1 - 37)*102/(-17). Suppose 35*f - 29*f = x. Do 40 and f have different values?
True
Let b be (-24)/14*(4/(-8) + -3). Let y(s) = -s**2 + 11*s - 29. Let i be y(b). Is i less than 18/23?
False
Let k = -0.23 - -0.13. Let w = 0.66 + -1.1. Let v = w + 1.44. Which is smaller: k or v?
k
Suppose -269 = -2*r + 5*q, q + 4*q = -r + 127. Suppose 0 = -155*t + r*t + 1380. Is 237/4 equal to t?
False
Let l = -3544 + 3662. Is l greater than or equal to 0.8?
True
Suppose 12*j - 10*j -