11 - 14. Suppose o + 4 = 19. Suppose -4*a - o = -a. Is a greater than t?
False
Suppose -a + 9 + 57 = 0. Suppose a = -l - 5*l. Is -9 != l?
True
Let d = -1.492 - -11.492. Is 0.44 != d?
True
Let o be 1 - (-54951)/(-135) - 1. Let w = 407 + o. Is w equal to 1/4?
False
Let z = -0.229 - -0.329. Is -1/5 less than or equal to z?
True
Let a = -1/49 - 143/196. Let c = 5 + 1. Let y be (-16)/6 + c/9. Which is bigger: y or a?
a
Let f = 1536 + -26098/17. Let h be 4370/2210 - (0 - (2 - 3)). Let j = f - h. Is j greater than 0?
False
Let a be (0 + -5)*(3 + -5). Suppose -p - 2*n + n = -a, -5*p + 3*n + 18 = 0. Which is smaller: p or 1?
1
Suppose -26*p + 34*p = 136. Which is smaller: p or 3?
3
Let h = 756 + -751. Is -17/5 > h?
False
Let v = -211 + 282. Which is greater: v or 70?
v
Let h(m) = -m - 11. Let n be h(0). Let c = n + 15. Let l be 3/(-9)*c*3. Which is greater: -13/4 or l?
-13/4
Let f = -41 - -42. Suppose 5*w = 4*w - f. Is w bigger than -10/7?
True
Let f be 3 + ((-66)/10 - 4/10). Suppose 2*k + 4 = 3*k. Suppose q = -k*q - 15. Do q and f have the same value?
False
Let k = 665 + -921. Is -252 > k?
True
Let j be 7*((2 - 2) + 1 - 15). Which is smaller: -102 or j?
-102
Suppose 0 = k - 5*o - 12, -o + 8 = -2*k + 7*k. Suppose -k*n + 23 = -3. Let t = -88/7 + n. Is t smaller than -1?
False
Suppose 5*q - 3*c + 322 - 97 = 0, -q = -2*c + 45. Is q != -45?
False
Suppose 25*q = 134 - 109. Which is greater: q or 1.41?
1.41
Let v = 1030/3 - 344. Let c = -9.18 + 0.18. Which is bigger: v or c?
v
Let i be ((-2)/(-4))/(1 - 4). Let a = 83 - 82. Which is bigger: a or i?
a
Let s(l) = l**2 + 26*l - 120. Let f be s(-30). Is 1/186 > f?
True
Let x be (1 - 1)*(12 - 13). Let w be -1*4 - (x + -3). Which is bigger: w or 3/31?
3/31
Let q be (265/(-4225))/(4/(-12)). Let i = q - -2/169. Is i smaller than -0.3?
False
Let v = 859617/1855 - 2317/5. Which is smaller: v or 2/13?
v
Suppose 88 = 4*p - 88. Let f = 24104 + -24106. Which is smaller: f or p?
f
Let w(d) = d**3 - 8*d**2 - 11*d + 17. Let m be w(9). Let v = -5786/5 + 1137. Let z = -21 - v. Is z smaller than m?
False
Let g(x) be the first derivative of 2 - 1/4*x**4 - 2*x + 3/2*x**2 - 2/3*x**3. Let o be g(-3). Which is bigger: 1 or o?
1
Let p(f) = 2*f**2 + 3*f + 5. Let j be p(-4). Let a be (-8)/(-30) - 12/45*39/(-26). Which is smaller: a or j?
a
Let n = -35 + 50. Let m be (-1)/n - (-12)/18. Suppose -2*z = -5*d + 14, 3*d + 2*z = -0 + 2. Is m greater than d?
False
Suppose 5*u = k - 64, -70*k + u = -72*k + 150. Is k smaller than 66?
False
Let f be (106/318)/(2/(-6)). Is f >= 3/37?
False
Let a = -0.3 + 1.1. Let d(g) = -12*g - 5. Let w be d(0). Let y be 2/(-10)*w*0/(-2). Is a less than or equal to y?
False
Let r(y) = 4*y**2 + 212*y + 20. Let b be r(-53). Is b != -8?
True
Suppose -7*v - 5*v = 12. Are v and -2 equal?
False
Let x = 1962 + -84370/43. Which is smaller: -2/3 or x?
-2/3
Let i = -36 + 143/4. Suppose 5*a - 3*y = -20, a - 3*y - 5 = -21. Which is greater: a or i?
i
Let h be 1*2/4*12. Let p(d) = d**2 - 15*d - 11. Let z be p(16). Suppose -16 - z = -3*c. Is h smaller than c?
True
Let l be (-35)/14*4688/(-20). Is l >= 587?
False
Let f(g) = g**3 - 4*g**2 - 7*g - 12. Let n be f(6). Which is bigger: 35/2 or n?
n
Let s be (1*-7)/((-19)/95). Which is smaller: s or 29?
29
Let d(a) = 4*a + 12. Let z(k) = 2*k + 4. Let u(f) = -3*f - 5. Let i(s) = 3*u(s) + 4*z(s). Let y(g) = d(g) + 2*i(g). Let o be y(-10). Is o less than -6?
False
Let y be (-29)/(-87)*((-4)/1 + 13). Suppose 2*c + 2 = c. Which is greater: c or y?
y
Let b(y) = -y**3 + 2*y**2 + 6*y + 40. Let n be b(6). Which is smaller: n or -72?
-72
Let d = 0.512 + -6.512. Which is smaller: d or -0.6?
d
Let f = 267 + -344. Which is smaller: f or -3?
f
Suppose 0 = 5*f - 0*f + 970. Let a = -1744/9 - f. Let g = -0.25 + -4.75. Which is smaller: a or g?
g
Let q be (5 - (-651)/(-138))*-826. Let k = 467/2 + q. Which is smaller: k or 1?
k
Let o(y) = -5*y. Let m be o(-1). Suppose m*r - 3*q = -5*q + 9, -5*q + 7 = -3*r. Is r at most -2/5?
False
Let t(z) = -69*z - 19. Let p be t(-2). Let i = p + -57. Is i >= 63?
False
Let h = -1 + -8. Let a = h - -10. Let v be 7/(-3) - 3*3/(-27). Which is smaller: a or v?
v
Suppose 9 = -2*l + o, 8*o - 20 = 4*o. Let w be l/(-7) + (-108)/(-14). Let s = -15/8 - -61/24. Does s = w?
False
Let w be ((-1)/18)/(8/32). Suppose 0 = -2*j - 3*i + 3, -3*j - 45 = -8*j + 5*i. Suppose -2*f - h + 1 + 0 = 0, -3*h = -3*f + j. Which is greater: w or f?
f
Suppose 0 = -2*p + 3 + 7. Suppose 4*g - p*n + 5 = 0, 4*g + g + 3*n + 34 = 0. Let s(m) = m**3 - 6*m**2 - 32*m + 41. Let x be s(9). Is x > g?
True
Let z be 6/(-4)*(-4)/(-21). Suppose 5*v = 6*a - 4*a - 53, 2*v - 4*a + 34 = 0. Let t = v + 10. Which is bigger: z or t?
t
Let y = 0.8904 + -0.87. Which is bigger: y or 0.1?
0.1
Let p be ((-765)/(-20) - 5)/((-1)/4). Is -1 at most p?
False
Suppose -5*x = 2*f - 81, 0 = 3*f + x - 3*x - 74. Suppose -2*u + 72 = 3*m, 15*u - 14*u + 211 = 8*m. Which is bigger: f or m?
f
Let g = -17 + -3. Let k = -17 - g. Suppose 3*u + 2*u - 5 = 0. Which is greater: u or k?
k
Let i(n) = 2*n - 3. Let h be i(3). Let w be 1*(-129)/45 + 0 + h. Which is smaller: -0.01 or w?
-0.01
Let q be (6/9)/((-3)/(-9)). Suppose 0 = q*k - j + 14, -4*k - 4*j = 47 + 5. Suppose -3*i - 4*t - 24 = 0, -8 = i + 5*t - 0. Are i and k equal?
False
Suppose j + 12 = -2*j. Suppose -7*y + 17 + 11 = 0. Let l = y + j. Do l and 3/5 have different values?
True
Let a = -252941/5 + 50813. Let u = -221 + a. Which is smaller: 5 or u?
u
Let y be ((-174)/177 - -1)/((-8)/(-16)). Suppose -2*o - b - 6 = 2*b, -4*b = -4*o + 8. Is y at most o?
False
Let x be ((-32)/(-12))/(2/(-36)). Let q be 5/2*x/(-30). Let d(r) = 2*r - 9. Let a be d(q). Is -2 != a?
True
Suppose -5*b - 5 = -2*p, -3*b = 2*p + 1 + 2. Is -0.0439 < p?
True
Let y(n) = -n**2 + 2*n + 2. Let t be y(2). Suppose -t*f = -2*d - 1 - 7, -3*d = -f + 10. Let u be (f/(-8))/(1/(-18)). Which is greater: 3 or u?
3
Let t = 76 - 76.7. Let l = t + -2.3. Is l smaller than 11?
True
Let n = -6 - -14. Suppose -10*v = -n*v + 20. Let d be (-6)/(-65)*v/(-8). Which is bigger: -1 or d?
d
Let b(y) = y - 1. Let n be b(4). Suppose -4*p - 2*f = 26, -n*f = 5*p - 8*f + 10. Is p < -4?
True
Suppose 269*j = 260*j - 9. Is -2/13 bigger than j?
True
Let d(f) = -2*f**2 + 4*f + 166. Let g be d(0). Does 166 = g?
True
Let c be (-4)/(-339)*(-10)/((-300)/(-9)). Is -1 < c?
True
Suppose 0 = -4*w + 2*v - 2952, -15*w + 11*w = 4*v + 2952. Is w < -739?
False
Let q be 3/(-2) - (-2431)/1598. Which is smaller: -1 or q?
-1
Let d = -59 - -26. Let q = 33 + d. Which is greater: q or -1/43?
q
Let y(s) = -s**3 - 4*s**2 + 26*s + 86. Let l be y(-3). Is l less than or equal to -3/128?
True
Let q(i) = -9*i - 45. Let v be q(-10). Let s = 22 + v. Which is bigger: s or 66?
s
Suppose 2*w + 2*r = 46, 5*r - 62 = -72. Which is greater: w or 173/7?
w
Let v = -22 + 13. Let u be (-76)/6*9/6. Let g = 11 + u. Which is greater: g or v?
g
Let n be ((-18)/(-32))/(3/4). Let z be (51/(-9) - -7)*6/4. Which is bigger: z or n?
z
Let u(o) = o**3 - 6*o**2 + 3*o + 7. Let h be u(5). Suppose 2*a - 4 = -0. Let s be h/((-39)/(-6) - a). Is -2 at least as big as s?
False
Let m = -0.108 - 13.592. Let l = m + 13.7. Is -1/9 greater than l?
False
Let y(n) = n**3 + 13*n**2 + 28*n - 4. Let d be y(-9). Which is bigger: 69 or d?
69
Let z be ((-11)/(-4))/(24/32). Suppose -a - 60 + 65 = 0. Is z greater than or equal to a?
False
Let k be ((-35)/(-7))/((-2)/(-2)). Let a be (-2)/k - 22/45. Let m = -1.023 + 0.023. Is m at least a?
False
Suppose -q + 7 - 9 = 0. Let f be 0/(0/(-2) - q). Let k = -105/4 + 26. Are k and f unequal?
True
Let v be ((-1)/1)/((-20)/(-388)). Let t = -1853/95 - v. Let i = -0.065 + 2.065. Do i and t have the same value?
False
Let y be (48902/(-294))/(1/3 - 0). Which is bigger: y or -498?
-498
Suppose 76 = 2*a - 2*u, 0 = 2*a - 3*a + 2*u + 35. Let c = a + -36. Suppose 14 = 4*r + 5*q, -c*r - 3*q = -r - 10. Which is smaller: 1/70 or r?
1/70
Let u = -107 + 42. Is u < -68?
False
Let w = 84 - -46. Let a be w/210 + 3/((-21)/2). Do -0.1 and a have the same value?
False
Let l = 7 - 23. Let q be 2/(l/14) + 2. Let t be 0/(-8*5/(-10)). Is q at most t?
False
Let y = 10.41 - 10.31. Let u = 5.02 - 0.02. Which is smaller: u or y?
y
Let h(v) = 17*v + 168. Let z be h(-10). Let l(m) = m**2 - 9*m - 3. Let w be l(9). Which is 