11. Let t be -1*(2/(-1) - -1). Let v be 3/(-9) - (t + -1). Which is smaller: f or v?
v
Suppose -4*w + 15 = -5. Suppose 5*z + 4*k + 7 = 0, 0*k + 5*k = w*z - 20. Let t be 27*(0 + z/(-3)). Is t greater than or equal to -11?
True
Let x(m) = -m**3 - 8*m**2 - 7*m + 3. Let n be x(-7). Let r be 2 + (-19)/(4 - n). Let t = 19 + r. Is t at most 2?
True
Let p be 4 - (3 - 90/(-25)) - -4. Which is smaller: 54 or p?
p
Let i = 61 + -23. Let m = i + -29. Let t be (-39)/(-84) - m/12. Which is smaller: -1 or t?
-1
Let x(c) = c**2 - 6*c. Let b = 9 - 3. Let n be x(b). Suppose 2*y + 13 = 3*s, 0 = s - 2*y - 3 - n. Is s less than or equal to 1?
False
Let b = -120 + 115.1. Let z = -3 - b. Let x = z + -1.9. Which is smaller: x or 8?
x
Let z be ((-52)/(-6))/(72/32 - 18/72). Suppose 2*i + 4*t - 63 = -i, -21 = -i + 4*t. Suppose 2*s - 5 + i = 4*w, 19 = 5*w - 3*s. Is w >= z?
True
Let w(c) = 3*c - 12. Let n be w(8). Suppose 7*s = n*s - 20. Suppose 0 = s*r - 7*r. Is r smaller than 0?
False
Let f = -57 + 41. Let w be (f/(-10))/(8/(-20)). Let c be (-1)/w - (0 - -1). Which is smaller: c or -1/4?
c
Let y(d) = d**2 + 6*d - 3. Let v be y(-3). Let w = v + 11. Let q be ((-3)/4)/(6/(-8)). Which is bigger: q or w?
q
Let x = 0 + 2. Let h be x/28*1 - 0. Suppose -4*w = 2*z, w + z + 4 - 2 = 0. Is w equal to h?
False
Let j = 99 + -98.9. Let k be ((-6)/4)/(117/(-12)). Is j at most k?
True
Suppose -116 = 2*r - 4*f, -4*r - 11*f - 244 = -7*f. Is -60 >= r?
True
Suppose 1229 = -7*r - 1508. Is r != -392?
True
Let i = -371.011 + 371. Which is smaller: i or -2?
-2
Let l(v) = -v**3 - 12*v**2 - v - 9. Let u be l(-12). Let b be (102/(-20))/((-30)/25). Is b at least u?
True
Let v = 86 - 59. Let i be -4 + 24 + (-63)/(-9). Is i bigger than v?
False
Suppose -5*a + 14 = 2*a. Suppose 0 = -a*g - 2*h - 76, 4*g - 4*h + 62 = -106. Which is smaller: g or -39?
g
Let c = 536/3 - 172. Let v = 33101/15 + -6599/3. Let w = c - v. Is w greater than or equal to -1?
True
Let c(j) = 4*j**2 - j - 1. Let a be c(-1). Let v(h) = 6*h - a*h + 0 - 4. Let p be v(-9). Are p and -22 equal?
True
Let x = 219.2 - 218.8. Is x less than 76?
True
Let y = -26 + 14. Let s(o) = o + 12. Let u be s(y). Let d = 39 - 116/3. Which is smaller: u or d?
u
Suppose 5*o = f + 20, 10*o = 5*o - 3*f. Let m be 1 + o + (-1 - -1). Suppose m*t - 5*s = 29, 3*s + 5 + 6 = -4*t. Which is smaller: t or -2/21?
-2/21
Let g(h) = 8*h + 12. Let r(k) = k. Let p(q) = -g(q) + 10*r(q). Let t be p(5). Is t at most -4/7?
True
Let y(w) = 65*w - 388. Let u be y(6). Which is bigger: 38/23 or u?
u
Let g = -45 + 43. Let n(z) = z - 4. Let t be n(6). Let o be (1 - t) + -1 - 0. Is g >= o?
True
Let w be ((-2)/((-8)/(-58)) - 1)*-2. Suppose 4*i - 5*i + w = 0. Which is bigger: i or 30?
i
Suppose -18 = 12*f - 18. Is 52 bigger than f?
True
Suppose -7 - 8 = -5*p. Suppose p*s = 3*r + 9, -r = -5*s - 2*r - 3. Let f be (-68)/20 - 2/(-5). Are f and s unequal?
True
Let x = -32.4 - -34. Let m = x + -11.6. Is m < 0.1?
True
Let w = 2.9 - 3. Let a = -68 - -73. Let f be 1/a*((-6)/(-1) + -8). Which is smaller: w or f?
f
Let r = 10 - -60. Let v be ((-20)/r)/(51/(-28)). Let m = v - -46/357. Which is bigger: 6 or m?
6
Suppose -2*r + v = -2*v - 47, 2*v + 90 = 5*r. Which is bigger: r or 13?
r
Suppose -3*v + 0*v = 2*p - 9, 0 = 5*v + 4*p - 15. Let m = 1.7 + 3.3. Does m = v?
False
Let v = 0.026 + 45.974. Let b = 48 - v. Let t(w) = 7*w. Let o be t(2). Is o equal to b?
False
Let o(l) = 2*l + 22. Let n be o(-11). Let b be n/(3 + (0 - 2)). Is b != 2?
True
Suppose 5*y + a + 22 - 4 = 0, 18 = -y - 5*a. Let f = -4 - y. Is f >= -10/9?
True
Let s = 48 + -70. Let x = 31 + -52. Which is smaller: x or s?
s
Let k be -199 - (2 - (3 + -2)). Is -199 < k?
False
Let q be (-2)/((-12)/42) - 7. Is q at least as big as 2/305?
False
Suppose 5*f + 67 + 53 = 0. Let j = -34 - f. Let o be (-3)/6*j/155. Are -1 and o equal?
False
Let q be -1 - 19/((-19)/(-54)). Let o = -4 + 3. Are o and q equal?
False
Let f be 3/6*2 + (-102)/86. Do -1 and f have the same value?
False
Suppose 0 = 18*z - 931 - 95. Which is smaller: 1 or z?
1
Let o = 256 - 271. Let x = 3 - 13. Let d be 3/o*x/(-18). Is 1 >= d?
True
Let t be 6/(-18) - (-62)/(-3). Let m = -19 - t. Let y be m/8 + 9/(-4). Which is greater: y or 1?
1
Suppose -19*i + 38*i + 12 = 7*i. Let t be (3 - (0 + 1)) + -11. Let h be 7/t + -1 + 2. Which is smaller: i or h?
i
Let v(p) = -6*p**2 + 24*p - 12. Let d be v(4). Is -16 equal to d?
False
Let h(t) = -t**3 - 32*t**2 - 91*t - 10. Let g be h(-3). Which is smaller: g or -238?
-238
Let o(j) = -j**3 - j**2 + 1. Let u(z) = 9*z**3 + 4 - 4*z**3 - 4*z**2 - 10 - 2*z**2. Let f(r) = -4*o(r) - u(r). Let p be f(10). Which is greater: p or 2/3?
p
Let t(d) = -d**3 - d**2 - 1. Let j be t(-1). Let u = -249/1028 - 2/257. Is u greater than or equal to j?
True
Let q be (1 + (-14)/10)/(3608/(-220)). Let u be (3 + -4)/1 - -1. Is u > q?
False
Let n be 9 + 1 + -9 - (0 + -1). Is 1 at least as big as n?
False
Let i = 2251 - 2249. Which is smaller: i or 42/55?
42/55
Let n(k) = 5*k + 25 + 4*k - 2*k - 6*k. Let t be n(-13). Let h be ((-2)/t)/((-2)/(-44)). Which is greater: -4 or h?
h
Suppose -5*s + 75 = 5. Suppose -r - s = -7. Let n = r + 7. Is 4 <= n?
False
Let n be ((-1)/(-1) - 0)/((-1)/45). Let r be 6/36 - n/(-282). Which is greater: 0 or r?
r
Let k(g) = -3*g + 79. Let x be k(22). Let f = -3 - 1. Let u be 2/f*(-12)/(-9). Is u > x?
False
Let h = -66489/122 + 545. Let y = 649 - 649. Which is greater: h or y?
h
Let z be 60/18 - 1/3. Let f be z/21 + (-22)/56. Let o = -18 + 17.5. Is o less than or equal to f?
True
Let o(h) = h - 2. Suppose -f = 4*g + 3 - 1, 3*f = g - 6. Let k be -1*1 + (g - -3). Let l be o(k). Are -4/5 and l nonequal?
True
Let k be 8*1/(-18) + (-41)/9. Let h = 0 - 0.3. Is k at least as big as h?
False
Let s = -503/4 - -905/12. Let r = 49 + s. Is -2/5 at most as big as r?
False
Suppose -62 + 467 = 9*z. Let q be (-16)/(-396) + (-10)/z. Let p(m) = -m**3 + 3*m**2 - m + 2. Let l be p(3). Is l at most q?
True
Let p(i) = 0*i + i - 2*i + 5*i + i**2 + 6. Let j be p(-5). Let l be 22/(-5)*80/(-32). Is j less than l?
False
Let m be 645/10 + 2/(-4). Suppose -5*y = -m + 14. Suppose -2*q = -0*q + y. Is q != -5?
False
Let k be (-62)/((-3)/(6/2)). Let p be 1/(-4) - k/(-184). Let r be -3*8/(96/4). Are p and r non-equal?
True
Let u be ((-1)/2)/(4*(-6)/(-336)). Let y(i) = i**3 + 3*i**2 + i - 2. Let o be y(-3). Let m = u - o. Is m greater than or equal to -3?
True
Let x be 101/5 - 1/5. Suppose -3*y = 6, t + 15 = -4*y + 3*y. Let m be (-10)/x*t*2. Which is greater: m or 12?
m
Let m = 0.3 + -2.7. Let r = m + 2.6. Which is greater: 0.1 or r?
r
Let i be ((13 - -4) + -16)/(2/38). Which is greater: i or 33?
33
Let c = -48 + 49. Which is smaller: c or -8/41?
-8/41
Let u = 63 - 64. Let z be 0 + (4 - 1) + (-3 - u). Is -2/29 greater than z?
False
Suppose -4*m = -7*m - 12. Let p = m + 17/5. Let o = 0 + 3. Which is bigger: p or o?
o
Suppose 37 = 3*i + p + 118, 4*i + 5*p + 108 = 0. Let l = -30 - i. Is -3 greater than l?
False
Let r(s) = -s**3 - 6*s**2 + 4. Let i be r(-6). Suppose -3*u = -2*u - i*f - 4, 0 = u + 4*f - 28. Let m = u + -10. Which is smaller: 7 or m?
m
Let t = 1 + -1. Suppose 0 = 5*y + 4*j - 143, 0 = 3*y - 5*y - 2*j + 58. Which is bigger: t or y?
y
Let z = 224 + -197. Which is greater: 7 or z?
z
Let m be ((-1)/(-6))/((-316)/(-522)). Let g = 2/79 - m. Which is smaller: g or 1?
g
Let c = 0.106 - -58.894. Let j = 58 - c. Which is greater: 4 or j?
4
Let d be -1 - -4*1/(-2). Let v be ((-28)/35)/((-2)/(-5)). Which is greater: d or v?
v
Let n = 0.704 - -1.276. Is n smaller than -2?
False
Let b be 3 - (2 - (-2 + -14)). Let p be b/6*(-3 + 1). Suppose 17 = -p*u - 3. Which is smaller: -6 or u?
-6
Let f be (13/(-273))/((-1)/(-327)). Is f != -16?
True
Let l = -125 + 115. Let g be ((-16)/(-10))/8 - (-92)/l. Are g and -8 unequal?
True
Let c(z) = -z**2 - 13*z - 37. Let b be c(-4). Suppose m = 2*x - x + 4, -5*x + 10 = 5*m. Is x >= b?
True
Let t = -20 - -18. Let b be (-40)/(6 + -1)*t. Let d be (3/8)/(60/b). Does 0 = d?
False
Let x = 6.81 - 16.81. Which is smaller: 2 or x?
x
Let y = 86 - 271. Is y >= -185?
True
Let u be (320/14 - 1) + 213/71. Which is greater: 24 or u?
u
Let a(h) = -3*h + 7. Let n be a(11). Let l be -1 - (-4)/1 - 3. Suppose -2*b + 3*m = 74 - 16, b + 3*m + 20 = l. Do n and b have different 