11. Do k and -1 have the same value?
False
Let d = -11 - -16. Suppose p = 7 - 2, 2*r + d*p = 33. Suppose -g + r*g = -39. Does 2 = g?
False
Suppose 0 = 6*t - 10*t + 1612. Let c = t + -402. Are 3 and c non-equal?
True
Let v = -6.52 - 41.48. Let w = -50 - v. Are 0.8 and w nonequal?
True
Let o(g) = g**3 + g**2 + g + 1. Let k be o(-1). Suppose k = c + 2*c. Let z be -1 + -3 - -4 - (4 + (-44)/16). Is c less than or equal to z?
False
Let a(b) = 2*b + 3. Let c be a(-3). Let t be (-3832)/(-32) - (1/1)/(-4). Let q be (3/(-12))/(c/(t/34)). Which is bigger: -1 or q?
q
Let l = -541 + 560. Let n(a) = 22*a**2 + 4*a - 3. Let t be n(2). Let k be (-21)/35 - t/(-5). Which is greater: k or l?
l
Let x = 39 + -31. Suppose f - x = -2*q, 2*f + 3*q - 2 = 3*f. Suppose -r = f*r. Is 3/16 at least r?
True
Let n = -30 + 32. Let d = 169.86 - 170. Which is greater: d or n?
n
Let y be (9 - 6)*(0 + -1) - (-6630)/6. Is y at least 1100?
True
Suppose -261 = 4*y + 2*j + 241, 0 = -3*j - 21. Which is smaller: y or -150?
-150
Let k = 2.592 - -0.408. Let p be (-1)/((-2 - 3)*(-16)/(-10)). Which is smaller: k or p?
p
Let z be ((-4835)/(-4))/((-340)/544). Is z greater than or equal to -1935?
True
Suppose -33*t = -52*t + 15086. Which is bigger: 793 or t?
t
Suppose -n + 5 = -5*j + 1, -3*n = j - 12. Let z be j/((-1 + -8)/(-3)). Let t be 268/(-10) + (-20)/(-25) + z. Are t and -26 non-equal?
False
Suppose 17*r = 858 - 841. Let a(n) = n**3 + 5*n**2 - 8*n - 8. Let k be a(-6). Suppose k*y - 8 = 4*m, 4*y = 2*y - 3*m + 14. Is r bigger than y?
False
Let y be (-10 - -2) + 56*3/24. Let j(z) = -3*z - 4. Let v be j(-4). Let w = 4 - v. Is w < y?
True
Let b(k) = -8 + 3*k**2 - 5*k**3 - 12*k - 7*k**3 + 10*k**3. Let m be b(4). Let p = 1766/13 + m. Is p greater than or equal to 5?
False
Let s = 22.31 - 23.31. Does s = -852?
False
Let d(c) = 6*c**2 - 163*c + 55. Let v be d(27). Which is smaller: 0.15 or v?
0.15
Let b = -223859239/115951 - -21237/11. Which is greater: -1 or b?
b
Let l be (131520/(-3740))/4 + (-3)/(51/2). Which is smaller: l or 7/3?
l
Let j = -2 + 2. Suppose -3*x - 4*z + 23 = j, 5*x - z = -2*z + 27. Let r = -78056 + 78055.7. Which is bigger: r or x?
x
Let n(r) = r**2 + 1. Let y be n(1). Suppose -5*h + o = -68, -y - 10 = 4*o. Suppose 10*c - 24 = h*c. Which is smaller: c or -35/4?
-35/4
Let w(r) = -r**3 - 70*r**2 + 6*r + 417. Let u be w(-70). Which is smaller: u or -17/11?
u
Let r = 75.55 + -1.55. Let l = 29 - r. Let j = l - -50. Is 2/11 >= j?
False
Let t = -3591710913989/29449 + 121963765. Let h = -6/601 + t. Which is smaller: -2/15 or h?
-2/15
Suppose 5*l + 320 = 13*l. Suppose -5*p + 5 = 0, 0 = -2*f - 3*p + 11 + l. Is f not equal to -4?
True
Let y = 376181/5 - 75519. Is y <= -282?
True
Let j = 26 + -76/3. Let h = -0.287 - -0.037. Let x = h + -0.75. Is x > j?
False
Suppose 34 = -5*u + 9. Let q be 4/(-12) - 793/195. Is q at most u?
False
Let z = -0.39 + 0.4. Let q = 1.121 + -1.031. Let a = z + q. Which is greater: a or -11?
a
Suppose 119*t - 154*t = 361*t - 6555384. Which is greater: t or 16555?
16555
Let y be 85745/700 + (-2)/14. Let n = -399/4 + y. Which is bigger: 24 or n?
24
Let f be ((-21)/(-9))/(4/(-12)). Let g = f + 6. Let h be (-20)/14 + 18/42. Is g smaller than h?
False
Suppose 12*x - 96 = -84*x. Which is smaller: x or 8/633?
8/633
Suppose -4*f + 22 = -2*w, -7*w + 2*w - 11 = f. Let n be ((-2 + 2)/(-2 + f))/1. Let g = -21622/25 - -865. Which is bigger: g or n?
g
Let c = 13397/369908 + -24/1201. Is 1 > c?
True
Let w = -207 - -218.5. Let i = w + -11.1. Do 6.4 and i have the same value?
False
Suppose 6*m - 17*m + 1474 = 0. Let a be m/(-42) - (-20)/60. Let h(v) = -2*v + 3. Let f be h(3). Which is smaller: f or a?
f
Let a = 240 - 239. Let k(v) = -100*v + 15. Let j be k(a). Is j bigger than -85?
False
Let i be -657*(4/10)/(48/(-40)). Let l = 209 - i. Is l at most -9?
True
Let i(f) = 7*f + 1. Let s be i(-1). Let x be s/4 + 49 + -8. Let k = x + -39. Which is smaller: k or -1/2?
-1/2
Let m = 54530072/705683 - 2/64153. Let r = m + -413/22. Is r > 60?
False
Let r = -804 + 802. Which is smaller: 6602 or r?
r
Let h(c) = 6*c**3 + 2*c**2 - c - 1. Let f(q) = 37*q**3 + 17*q**2 - 7*q - 11. Let m(i) = f(i) - 6*h(i). Let w = 0 - 5. Let t be m(w). Which is smaller: 3/4 or t?
t
Let a be (2 - 1)/((4/(-14))/(-2)). Let b be (a - 16)/(0 - -1). Let v = 63 + b. Are 53 and v unequal?
True
Let u(c) = -c**3 - 29*c**2 - 80*c + 106. Let w be u(-26). Is 157 less than or equal to w?
True
Suppose a - 10 = 5*r, -2 = a - 3*a + r. Let u = -453/20 - -367/5. Let t = -50 + u. Is t < a?
False
Let v = -0.11 - 5.89. Let z = 13124 - 13123.83. Which is greater: v or z?
z
Let u(t) = 663*t - 4513. Let a be u(4). Which is greater: 1 or a?
1
Suppose 33*z = -9965 - 4357. Let i = z - -504. Which is smaller: 71 or i?
i
Let f be 5/(-60)*-12*0. Is -8/2253 > f?
False
Let a be 2/(-5) - (-214)/10. Suppose z + 14 = 3*x + 5, -4*x + 3*z + 7 = 0. Suppose 2*p + 26 = 3*n - 2*n, -2*n - x*p = -28. Which is bigger: n or a?
a
Suppose 0 = 726*s - 702*s + 10416. Is -3898/9 bigger than s?
True
Let h = 694893801235657/171520 - 20256932174/5. Let j = 3/2560 - h. Is j at least as big as 1?
False
Let b = -6679.896 - -6680. Let r be ((-1)/4)/((-6)/40) - 1. Which is bigger: r or b?
r
Let o be (0 - (-192)/112)/((-10)/301). Which is bigger: -51 or o?
-51
Suppose 227 = 98*h - 1151 + 6. Which is bigger: 345 or h?
345
Let h = -15.1 + 16.35. Let r = -1.26 + h. Which is smaller: 1 or r?
r
Let k = -246 - -238. Let o be 4/k*4*(5 + -2). Which is smaller: -11 or o?
-11
Let f = -0.3 - -0.2. Let i(y) = -4*y - 1. Let u be i(0). Let x be u + -5 + -1 + -7. Is f >= x?
True
Let n = -22356 + 22068.19. Let g = -289 - n. Let d = g - 2.81. Is 18 smaller than d?
False
Suppose -3*u = 9, 0 = -3*q - 6*u + 2*u + 15. Let x be (-24)/(-45)*q + -3. Let s be (-9)/12*(-4)/3. Which is bigger: s or x?
x
Let d = 3701 - 499636/135. Suppose 3*k - 6 = 9*k. Which is bigger: k or d?
d
Let o be -218 + 203 - (-291212)/19414. Do o and 1 have different values?
True
Let y(h) = -h**2 - 46*h - 47. Let t be y(-45). Let d be 4 + 1 + -1 + t*2. Let x = -4370/33 + 394/3. Which is bigger: x or d?
d
Let h(q) = -q**3 + 9*q**2 + 22*q + 1. Let i be h(11). Let u = 175624/99 + -1774. Are u and i equal?
False
Let f(b) = 15*b - 32. Suppose 17 - 29 = -6*j. Let v be f(j). Which is bigger: 0.3 or v?
0.3
Let q = -164197/492 + 1335/4. Which is smaller: 103 or q?
q
Suppose -4*r - 4*d = -2*r - 138, -199 = -3*r - 4*d. Suppose -773 = -4*i - r. Suppose -i = y - 179. Which is greater: y or -1/93?
y
Let h be ((-6)/4)/((-18)/24*1). Let w be 2*1*(h + -52 + 10). Which is greater: -81 or w?
w
Let d(m) be the first derivative of 6*m**3 + 5*m**2 - 7*m + 141. Let y be d(2). Which is greater: 86 or y?
86
Let p be 18/14 + -1 - (2388/(-21) + 31). Let k be (4/6)/((-12)/(-1494)). Is p bigger than k?
False
Let o(y) = y**3 - 18*y**2 - 20*y + 31. Let s be o(19). Let t(b) = b**3 - 11*b**2 - 18*b + 71. Let h be t(s). Let w = 64552/53 + -1218. Is h at most as big as w?
True
Let j = 13745 + -13744. Which is smaller: 1/217 or j?
1/217
Suppose 2 = -2*o, -5969 = 2*h + o + 8592. Which is greater: -7279 or h?
-7279
Let t = 2059 + -2024. Let v = -1 + 15. Let m be (v/t)/(2/(-30)). Is -4 bigger than m?
True
Suppose 8546 = 216*a + 1418. Which is smaller: a or -7?
-7
Let k be 1330/105 + (-3)/(-9). Is k < 86?
True
Let f = -371.123 - 0.877. Let g = 374 + f. Which is bigger: 1/56 or g?
g
Suppose 4*w - 4*j = 16, 17*j - 21*j = 3*w - 54. Let o be 3/12 - (-21)/12. Suppose -3*i + o*c = -i - 22, -i + 6 = 4*c. Is i >= w?
True
Suppose 105 = 5*i + 25. Suppose 0 = a + 3*z - 16, 0*a + i = -4*a + 4*z. Let d = 70053/80024 - 4/10003. Which is smaller: a or d?
d
Let r(a) = a**3 + 11*a**2 - 5*a - 56. Let z be r(-11). Let f be ((-92)/16 - -6)*(-4)/z. Let o = -276 + 6073/22. Is f >= o?
True
Let z(a) = -18*a**2 - 2*a + 1. Let t be z(1). Let n be (t/(-76))/(1/36). Let o(f) = -f**3 + 8*f**2 + 9*f - 7. Let m be o(n). Is m smaller than -7?
False
Let c be (-5 + 1)/((-17 - -27) + 14*-1). Which is smaller: 8/9283 or c?
8/9283
Let b be (5 - -3)/((-7)/((-140)/(-8))). Let u(v) = -23*v + 1699. Let k be u(75). Is b less than or equal to k?
False
Let c = -19.1 - -20.1. Let z be (-52)/6 + -1 - 58/174. Which is greater: c or z?
c
Suppose 265*v - 262*v + 3 = 0. Let c(q) = 74*q**2 - 13*q + 2. Let x b