/11?
False
Suppose -3*o + v + 4 = 0, -o + 5*v = 2*v + 12. Let t(p) = -p**3 + 5*p**2 - 6*p + 4. Let n be t(o). Let l be n - (50/8 - -3). Is l < -4?
True
Let v = -19.7 - -20. Let c = -0.2 - 0.2. Let w = c + v. Which is bigger: 3/4 or w?
3/4
Let l be (74/16)/(258/(-8)). Let r = l - 1/43. Let c(m) = m - 6. Let s be c(5). Which is smaller: r or s?
s
Let z = 7 + -5. Let x(f) = f**2 - 2*f - 1. Let k be x(z). Suppose -40*t + 50*t + 10 = 0. Is k smaller than t?
False
Suppose 0 = 4*a - 33 + 5. Which is bigger: 17 or a?
17
Suppose 0 = -5*m + 4*m - 12. Let d be 19*m/16*-4. Let p = 173/3 - d. Which is bigger: p or -2?
p
Let s = 101 - 107. Which is smaller: s or -11?
-11
Let o = 849 + -936. Is o <= 2/13?
True
Let q = 44 - 28. Let w = 11 - q. Let g = 4.6 + w. Is -0.2 not equal to g?
True
Let m = -9 - -9.27. Let g = m + -10.27. Which is greater: 3 or g?
3
Suppose 0 = 5*r, -2*h + 5*r + 12 = 2. Let s be 2/h + (-91)/(-35). Let a be 3/(-3) + (2 - s). Is a smaller than -2?
False
Let d = 49 - 27. Let h = 7 - d. Let k = h - -14.89. Which is smaller: k or 0?
k
Let l = 26 + -26.6. Let a = 48 - 48.1. Which is greater: a or l?
a
Let a = -1804.94 + 1805. Is -27/4 >= a?
False
Let m(y) = 7*y. Let k be m(-1). Let r(f) = -f**3 - 7*f**2 - f - 5. Let d be r(k). Let t(u) = -u**3 - 2*u**2 - u - 2. Let p be t(-2). Which is smaller: p or d?
p
Let o(h) = -8*h - 3. Let p be o(5). Suppose -262*m - 7958 = 3046. Is p > m?
False
Let t be 5920/32802 + 14/(-77). Is t greater than or equal to 1?
False
Let o be (1/((-27)/(-6)) + 315/(-810))*-78. Let g be 11 + 1 - (-1 + -1). Are o and g equal?
False
Let d = 11949/22 + -543. Is 1 >= d?
True
Let z = 0.8 + -1.2. Let j = z + 2.4. Is 0.9 at least as big as j?
False
Suppose 0 = -2*f + m - 63, -f = -4*f + m - 94. Let b be ((-40)/132)/((-52)/f). Let l = 2/143 + b. Which is smaller: -1 or l?
-1
Suppose 4*y = -5*f + 2*y - 43, 4*y = -3*f - 23. Let h = -87 - -77. Is f equal to h?
False
Let s(i) = i**3 + 2*i**2 - i + 3. Let w be s(2). Let c = -16 + w. Which is greater: -8/27 or c?
c
Let m = -49 + 70. Let w = m - 22. Is 0 at least w?
True
Let c = 44 + 16. Let w be (-4)/5 + 33/c. Let b = -423/5 - -85. Which is smaller: b or w?
w
Let k = -43.39 + 43.3. Are -2.2 and k non-equal?
True
Let x(j) = 2*j**3 - j + 1. Let h = -19 - -20. Let v be x(h). Suppose -3*w - 5 = v*y, 0*w - 15 = w + 4*y. Is w equal to 2/17?
False
Let y(z) = -2*z - 11. Let h be y(-9). Suppose 8*s + 15 = -h*s. Are s and 2/31 equal?
False
Let x(p) = p - 1. Let k be x(3). Suppose 5*w - 4*a = -27, 0 = -6*w + k*w + a - 15. Is w equal to -5?
False
Let b(y) = -58*y + 304. Let s be b(5). Let m be (-46)/3 + (-4)/6. Let j = m + s. Is j smaller than -1?
True
Suppose 0*l - 4*l = -4*t + 16, -25 = -5*t. Let b(z) = z**2 + z. Let p(u) = 5*u**2 + 8*u - 7. Let x(m) = -4*b(m) + p(m). Let o be x(-5). Is l >= o?
True
Let c(t) = 14*t + 62 - 112 - 3*t**2 - t**3 + 58. Let o be c(-6). Which is smaller: o or -1?
-1
Let l = -23.407 + -0.093. Let f = l + 23. Let b = -0.7 - f. Which is smaller: -3 or b?
-3
Let q = -1 - 18. Let h = 16 + q. Which is bigger: -6 or h?
h
Let d be (-1 - -1)/(4/2). Let t = -442 + 301. Let g = 141 + t. Is g at least as big as d?
True
Suppose 3*z + t - 64 = -4*t, 4*z + 5*t = 92. Suppose -2*n - 2*n - z = 0. Which is smaller: -4 or n?
n
Let s = 0.44 - 0.42. Suppose -2*o + 5*x = -3*o - 9, -3 = o + 3*x. Let q = o - 7. Which is smaller: s or q?
q
Let s(w) = -38*w + 494. Let u be s(46). Which is smaller: u or -1255?
-1255
Suppose 0 = -2*r + 3*r. Let t be (-1 - -5)/((-49)/35*-6). Which is greater: t or r?
t
Let x be 22/(-55) + (-284)/15. Let v = x - -296/15. Is 2/3 less than v?
False
Let o be ((-6)/(-30) - 329/45) + 0. Which is bigger: -6 or o?
-6
Let q(k) = 33*k - 393. Let j be q(16). Is 134 greater than j?
False
Let o be 1/4 - 166250/2600. Which is smaller: o or -64?
-64
Let o(h) = 12*h - 105. Let u be o(9). Which is bigger: 17 or u?
17
Let c = -78 + 75. Let r = 129.91 + -130. Is c >= r?
False
Suppose 24*w = 1428 - 60. Which is smaller: -1 or w?
-1
Let k = 464.1 + -464. Is k less than or equal to 113?
True
Suppose -5*s + 1 = -3*u + 2, u - s = 3. Is u at most as big as 16?
True
Let u = -1302 + -313. Let t be (36/(-15))/((-22)/u). Let x = t - -176. Is -2/11 bigger than x?
False
Let b be (-3)/((-56)/(-16) + -2). Let d be ((-14)/(-16))/(6/(-8)). Is d not equal to b?
True
Let v = -161/4 - -40. Let i = 3.7 - 4. Which is bigger: i or v?
v
Suppose -3*i = 4*c - 0*c + 50, 5*i - 3*c + 93 = 0. Let d be (3/66)/(3/i). Is 1 equal to d?
False
Suppose 5*o = 3*o + 20. Suppose -o*b = -11*b. Which is smaller: -3 or b?
-3
Let v = 2.01 + -2. Let c = v - 0.41. Let u = -0.18 + 0.08. Is c at least as big as u?
False
Let c be (-1)/9 - 78793/(-4437) - 4. Do 15 and c have the same value?
False
Let q be 6/(-2)*14/6. Let b be (-68)/q - (-12)/42. Let p = 71/7 - b. Which is bigger: -1/2 or p?
p
Let l be -8 + 7/(420/456). Which is smaller: 0.0078 or l?
l
Let w(k) = k**2 - 8*k + 6. Let m be w(7). Let j = -31/223 + 2002/9589. Which is smaller: m or j?
m
Let i(o) = o**2 - 3*o + 5. Let q(u) = -u**2 - 2*u + 2. Let y be q(-2). Let d be i(y). Which is bigger: d or -2?
d
Let l(x) = 2*x**2 - 2*x - 4. Let o be l(3). Let c = 78 + -78.04. Is o smaller than c?
False
Let h = 43 + -24. Let v = 20 - h. Which is bigger: v or -0.5?
v
Let u = -150 + 172. Let q be ((-2)/(-3))/(4/6). Let x be 88/u + q*-4. Which is greater: -4 or x?
x
Let a = 46 + -46.9. Is 11 smaller than a?
False
Let f = 690983/216 + -3199. Let r = 23/864 - f. Which is smaller: -1 or r?
-1
Let c(r) be the third derivative of -r**6/120 - r**5/30 + r**4/24 + r**3/3 + 22*r**2. Let x be c(-1). Is x >= 7/3?
False
Suppose 4*t = -4 - 12. Let y be (2/3)/(t/(-6)). Let p be (-1)/((3/y)/(-3)). Is -1 at most p?
True
Let n be 13/(-65)*(-15)/(-21). Does n = -1?
False
Suppose -2*g = 5*v - 9 + 1, 2*v + 4 = g. Suppose g*m - 3*m = 3*m. Which is bigger: m or -3/31?
m
Let t = -12 - -22. Suppose o + t = 34. Suppose 0 = 52*z - 55*z + 72. Is z less than o?
False
Suppose 3*c + 4*s - 18 = -s, s = -5*c + 52. Let n = -9 + c. Let u(w) = w**2 - 1. Let x be u(n). Is x less than 4?
True
Let b = 5 - -5. Let v = 8 - b. Let l be 2/v + 6/2. Which is bigger: l or 0?
l
Suppose 0 = -14*k + 12*k. Suppose 5*n - 20 = -4*m, -m + 5 = -k*m. Are n and -1/7 unequal?
True
Let i be ((-2 - 0)/(-6) + 1)*3. Let n be ((-1)/2)/(1/8*i). Let x = -9/2 + 4. Is x smaller than n?
False
Let j be (4/(-6))/((-6)/54). Suppose 2 = 4*p - j. Let g = -137/2 + 69. Is p greater than g?
True
Let p(l) = 42*l**2 + 13*l + 42. Let a be p(-7). Let q = -104471/52 + a. Which is greater: q or 1?
1
Let b = -1.56 + 1.51. Is b greater than 0.3?
False
Let x be ((-3)/16*-2)/((-27)/(-606)). Let d = x + 107/12. Is d at most as big as 16?
False
Let z = 1.2 - -16.8. Let t be (-1)/1*(-16 + 14). Which is smaller: z or t?
t
Suppose 0 = 11*y - 4*y + 203. Is -26 < y?
False
Suppose 54*g - 216 = 55*g. Which is smaller: g or -215?
g
Let j = 451 - 4501/10. Is j != 1?
True
Suppose 9*k = 7*k + 10. Let y be (110/(-33))/((-2)/k). Are 7 and y nonequal?
True
Suppose 0*a = -7*a + 7. Let g be (a - 8)*(-7)/(-7). Let n be 6/g*168/(-12). Is 13 less than or equal to n?
False
Let h be 1 - (-62 - 4/2). Let w = -7472 - -22613/3. Let q = w - h. Is 2 greater than q?
True
Suppose 0 = -35*k + 42*k - 203. Is k less than 3/10?
False
Suppose 0 = 17*p + 1954 + 1429. Which is bigger: p or -198?
-198
Let l = -156/11 - -868/55. Let h be 1 - ((-6)/(-3) + -5). Suppose 3*b + 3 = 3*s, h*b + 1 = -b + 3*s. Which is smaller: b or l?
b
Let y be (-105)/32*56/(-140). Does 2 = y?
False
Suppose -7*k + 0*k + 1267 = 0. Is 182 at least k?
True
Let a be 4*1 + (-16)/(-4). Let u be (4 - 36/a)*8. Are u and -6 unequal?
True
Let t = 1.22 + -0.02. Let y = -46.9 + 48. Let c = t - y. Is 0 not equal to c?
True
Suppose -v - 69 = 3*y, -5*y - 3*v + 0*v - 115 = 0. Is -22 bigger than y?
True
Let w be (5/(-615))/((-1)/(-4)). Is w at least as big as -1?
True
Suppose u = 3*u - 10. Let r be (-4)/16*0 + -6. Let h = u + r. Is -2 at most h?
True
Let z = 3552 - 2173. Which is bigger: 1378 or z?
z
Let j = -1829 + 1940. Which is smaller: j or 109?
109
Let t(p) = p**2 - 10*p + 17. Let k be t(7). Let v(h) = h**3 + 3*h**2 - h + 3. Let d be v(k). Is d equal to -9?
True
Suppose -50*s - 51*s + 2121 = 0. Suppose -3*g + b = -0*b - 65, -24 = -g - 2*b