/95. Is k less than c?
False
Let z(i) = 3*i**3 + 3*i**2 - 4*i + 4. Let f be z(2). Let m be ((-33)/(-6))/((4/f)/1). Is 43 < m?
True
Let x(q) = -6*q**2 - 37*q - 17. Let l be x(-6). Does l = -13?
False
Let i be 3/(-1) - (136/72 - 2). Which is smaller: i or 0.1?
i
Let x be (6 - (-284)/36) + -9. Which is smaller: x or 6?
x
Let j = -0.0936 + 45.3936. Let v = j + -46. Is 0 > v?
True
Let f(i) = i**3 + 6*i**2 + 8. Let k be f(-6). Let v be (22 + -2)*(3 + (-44)/16). Suppose v*b - 2*q - 34 = 0, 0 = -5*b + 3*q + 50 - 19. Is k at most b?
True
Let n = 7/3 - 44/15. Let t be (-1)/(-3 - -4 - 8/4). Let d be ((t - 1)*(-7)/14)/1. Is d smaller than n?
False
Let v = 38389/30 + -2559/2. Let f = -4 + 3.7. Let h = f - -0.4. Does v = h?
False
Suppose z - 56 = 9*z. Is -5 bigger than z?
True
Let c be (4 - 2)*(-1)/(-2). Let j = 44/39 - 1784/1443. Let w = 29/74 - j. Is c equal to w?
False
Let i = 437 - -318. Is i at most as big as 755?
True
Let j = -38 + 53. Let r = 2.54 + -2.34. Is j at most as big as r?
False
Suppose 4*d - 76 = -52. Which is greater: 39/7 or d?
d
Let x be (-4160)/12912 + (-4)/(-12). Are x and -1 non-equal?
True
Let u be -4*((-136)/32 + 4). Is u > -2/15?
True
Let n = -152 - -245. Which is smaller: n or 1/3?
1/3
Let h(i) = -2*i - 2. Let x be h(-3). Suppose 3*a + 10 = x. Suppose 0 = 14*q - 17*q - 6. Is a < q?
False
Let v = -1031 + 31955/31. Suppose 0 = -3*x - 3*o, -o - 2*o = 5*x. Which is smaller: x or v?
v
Let j = -20797 + 6093515/293. Let l = j - -1274/4981. Let f be (-1*1)/(2 + -1). Which is bigger: l or f?
l
Let t be (1 - 1) + 3 + 0. Suppose t*s + 72 = 27. Let w be 1*(11/22)/(2/(-60)). Are w and s equal?
True
Let c(d) = 2*d**3 - d**2 - 3*d - 2. Let g be c(-2). Let t = g - -3. Suppose -6*z - 87 + 9 = 0. Is z smaller than t?
False
Suppose 13 + 23 = -4*t. Is t < -15?
False
Let y = 1367 + -1359. Is 36/5 greater than or equal to y?
False
Let u = -4/489566641 - 10030730761977/17804559599888. Let k = u - -2/2273. Which is smaller: k or 0?
k
Let l = 22 + -19. Let o(w) = 5*w - 8. Let t be o(l). Let z = 13 + -7. Are t and z nonequal?
True
Suppose -f = -4*d - 2871, -2*d + 3*d + f = -719. Let h = -35184/49 - d. Which is greater: h or 1?
1
Let c be (13 + -3)/((-4)/(-32)). Let l be 3/118*c/60. Let m(q) = q**3 + 3*q**2 + q + 2. Let y be m(-3). Which is bigger: l or y?
l
Let q be 0 - 3487/3870*-1. Let r = q - 2/1935. Which is smaller: 0 or r?
0
Suppose -55 = -o - 3*k, 299 - 35 = 4*o + k. Is o at least 67?
True
Let u = -85 + 151. Are u and -0.6 non-equal?
True
Let z be 2*-1 - 19/(-5). Let i(j) be the second derivative of -j**3/2 - j**2/2 - 12*j. Let l be i(-1). Do l and z have the same value?
False
Let k = -0.21 + -12.79. Let u = 14 + k. Is -1.2 at least as big as u?
False
Suppose 5*c + 21 = 11. Let d(k) = k**2 - 3*k + 2. Let r be d(1). Is c > r?
False
Let i be (9/18)/(2/(-184)*2). Is i at least -20?
False
Suppose 3*f - 2*u = -43, 4*f + 0*f = 2*u - 58. Let y(o) = o**2 + 16*o + 15. Let a be y(f). Is a at most as big as -5/6?
False
Let m = -78 - -75. Which is bigger: m or 11?
11
Let o(w) = -w**2 - 2*w + 4. Let p be o(-3). Let r be p/(-18)*3/35. Let f = -6/35 - r. Which is smaller: f or 1?
f
Let d be (14*-49)/(-19 - -20). Is d bigger than -684?
False
Let p be (-2620)/(11 + -21) + 6. Is 268 at most as big as p?
True
Suppose 36*u - 34*u = 226. Which is smaller: u or 0.1?
0.1
Let m be (8 - (-180)/(-24))/(2/20). Suppose 2*y - 5*o + 120 = 0, 3*y = -0*y - 3*o - 138. Let j be y/72 + m/20. Does 1 = j?
False
Let a be 1 + (-2 - (-6)/8). Let o = 43 - 28. Let h = 14.98 - o. Is a != h?
True
Let f = -9 - -7.3. Let s = f - -0.7. Let w = -8 + s. Which is smaller: 0.1 or w?
w
Let c = 18 + 52. Suppose 6*a - a - c = 0. Which is greater: -1 or a?
a
Let r = 2353 + -1815. Which is smaller: r or 0.2?
0.2
Suppose 2*k = -5*v - 3, 0*k + 3*k = -3*v. Let c be -2 + (9 - 3) + -8. Let b be (-2 + 18/4)*c/(-25). Which is greater: b or v?
b
Suppose 2*q + 7 = -1. Let o(f) = -f**2 + 15. Let i be o(q). Which is bigger: i or 4/71?
4/71
Suppose -80*p + 78*p - 5*m = 17, 0 = -4*p + 2*m + 2. Which is smaller: 18/79 or p?
p
Suppose 2*p + r = 243926, -2*p + 3*r = 103132 - 347050. Let k be -10*p/301869 - -4. Let f = 2/1973 + k. Which is bigger: -1 or f?
f
Let x = -0.2 + 0.18. Let d = -32983/5 - -6598. Is d at most as big as x?
False
Let f be (-6 + 0)*(3 + 8). Which is greater: -65 or f?
-65
Let b = 965 - 5791/6. Is b > -3/5?
True
Let v = -2775 + 2776. Which is smaller: v or 2/87?
2/87
Let r = -31 - -31. Let p = r - -2. Is -1/4 < p?
True
Let j = 14431/6498 - -1/722. Let h = j - 136/45. Which is smaller: h or -2?
-2
Suppose 4*k = -9 - 15. Suppose 3*b + p = 2*b - 10, 3*b - 3*p = -12. Which is smaller: b or k?
b
Let q(y) = 9*y - 111. Let z be q(5). Which is bigger: z or -65?
-65
Let h be (-14)/(-70) - (-2 + 23/15). Let z = 12 - 6. Suppose -3*c = -6*c - z. Which is smaller: c or h?
c
Let l be -6 - (-59)/(-7)*12. Which is greater: -106 or l?
-106
Suppose -4 = q + 3*q. Let g be 2*(q/2 + 1). Which is greater: -1/11 or g?
g
Suppose 0 = -5*p - 5 - 0. Let m be 262 + -7 + (3 - p). Let h = m - 2851/11. Which is greater: h or -1?
h
Let k = -41 + 0. Let t = -579 - -1739/3. Which is smaller: k or t?
k
Let t = -375 + 374. Let k = -205 - -4101/20. Let l = k - -3/4. Is t at least as big as l?
False
Let k = -6.19 + 8.19. Let g = 0.09 - -0.61. Does k = g?
False
Let n be (14/(-2)*1 - -61)/(-2). Are n and -44 equal?
False
Let t = -54 + 28. Suppose 13*b + 4414 - 4089 = 0. Which is greater: t or b?
b
Suppose -564 = -2*d + 40. Is d greater than 302?
False
Let y(q) = q**3 - 13*q**2 + 13*q - 10. Let i be y(12). Let v be (-1)/(0 - ((-2)/2 + i)). Is v != -1/7?
True
Let d = 0.2 + -0.13. Let h = -117 + 119. Let p = -1 + h. Is p less than d?
False
Suppose -11*s + 33 = -14*s. Let h = -15 - s. Let m be 12/8*h/138. Which is greater: 0 or m?
0
Let k be -1*(-4)/8*0. Suppose 5*d - 3 + 8 = k. Let a(f) = -2*f + 1. Let q be a(d). Which is smaller: 0 or q?
0
Suppose 7*d + 340 - 340 = 0. Let u(s) = -s**2 + s - 1. Let b be u(5). Let g be 4*(2 + b/10). Is d at least g?
True
Let w be 115/(-4) - (-1)/(-4). Let p = w - -24. Is p bigger than -5?
False
Let f(g) = g + 3. Let v be f(-8). Let m(b) = 3*b**2 + 32*b - 8. Let r be m(-11). Suppose r*i = -32 + 26. Is v bigger than i?
False
Suppose -3*r = -b + 3 + 1, 3*r - 1 = -4*b. Which is bigger: -1/52 or r?
-1/52
Suppose 2*s = 8 + 4. Suppose -s*l - 11 = -o - 2*l, 2*o = 5*l + 13. Which is smaller: -1/5 or o?
o
Suppose 4*o + 32 = -5*z, -6*z = -o - 9*z - 1. Is o less than -12?
True
Let z be ((-4)/(14 + 2))/(3 + -2). Are z and -4/7 non-equal?
True
Let w = -22/43 - -458/559. Let v = w + 14/39. Is 1 bigger than v?
True
Let i = -1277/2 + 98325/154. Suppose -3*s = 8 + 4. Let p be -1 + (-3 + 1 - s). Is p smaller than i?
False
Let i be (-3)/(-9) - 20*(-20)/24. Let k be 10/3*(-48)/(-10). Let r = k - -1. Is r != i?
False
Suppose 3*m + m = -i - 15, i - 17 = 4*m. Let g(x) = -2*x**2 - x - i - 3*x**2 + 4*x**2. Let n be g(0). Is -1 > n?
False
Let c(r) = 14*r**2 - 10*r - 15. Let h be c(-11). Let g = h - 12545/7. Suppose 1 = -4*x - 15. Which is smaller: g or x?
x
Suppose -l = -6*l + 25. Suppose 1 = 2*b - d - 6, -l*d = 25. Let o be (-3)/6 - 22/(-28). Which is smaller: o or b?
o
Let s be 8/28 - (-122)/14. Let u(a) = a**2 + 4*a - 5. Let r = 11 - 17. Let x be u(r). Is s at most as big as x?
False
Let r = -10 + 18. Do 10 and r have the same value?
False
Let c(j) = 2*j**2 - 4*j. Let b be c(4). Let d = b - 13. Let h be (2*d/(-12))/(-5). Which is bigger: -1 or h?
h
Let w = 0.9 + -1. Suppose -4*b + 2 = -11*x + 13*x, 0 = 3*x + 5*b. Which is smaller: w or x?
x
Suppose 6*s = 3*s - 4*g - 16, 0 = 5*g + 20. Suppose s = -a + 5. Suppose -p - i = -8, -p + 4*i = -2 - 1. Which is greater: a or p?
p
Let g = -5/48497 - 243503407/290982. Let y = -820933/981 - g. Let r = 2179/1962 + y. Is r less than or equal to 0.1?
False
Let i = -89 + 89.6. Is 1.4 at most i?
False
Let h(w) = w**3 + 15*w**2 - 15*w + 16. Let s be h(-16). Which is smaller: s or 2/497?
s
Let c(s) = -6 - 1 - 2*s + 3*s. Let v be c(0). Let a be 3/(-12)*(-4)/v. Which is greater: -0.3 or a?
a
Let u = 1055.446 - 2.446. Let a = -1048.29 + u. Let d = a - -0.29. Which is smaller: 0 or d?
0
Let w be (844 + 0)*59/236. Which is smaller: 0 or w?
0
Let g(l) = 6*l**2 + 4*l - 3. Let b be g(1). Suppose -5*q + 8*q