maller than 0?
False
Let g = 4 + -5. Let h(r) = 2*r**2 - r - 1. Let d be h(g). Suppose k + d = -1. Which is smaller: -1/2 or k?
k
Suppose 37*k = 40*k - 4*d - 351, 3*k + 3*d = 372. Which is smaller: -0.2 or k?
-0.2
Let c(p) = p**3 + 3*p**2 - p - 4. Let t be c(-3). Let y be (-6)/(-10) + 3/(-6). Is y at most t?
False
Let o(w) = w**2 + 11*w + 1. Let b be o(-11). Let s = 30/14387 + 10689151/187031. Let c = -57 + s. Is b > c?
True
Let x(s) = -s**3 + 6*s**2 + s - 1. Let i be x(6). Suppose 0 = -i*l - l. Which is greater: l or 6/7?
6/7
Let y = -1106 - -1089. Let j(h) = -3*h + 2 + 4*h + 2*h. Let l be j(-6). Which is smaller: y or l?
y
Let z = -3 - -2. Let a be (-3)/(-9)*2*z/7. Is a at least as big as 0?
False
Let q = -36 + 70. Suppose -s + q = 33. Which is bigger: s or -2?
s
Let n be 2/(-12) + 3700/600. Let y be (2/(-6))/(2/(-12)). Is y less than or equal to n?
True
Let h = -6356 - -6356. Let n = -473 - -3319/7. Is h bigger than n?
False
Let c be 7/(-56) + 2812/(-32). Which is smaller: -87 or c?
c
Suppose 0*n = 5*n - 30. Suppose -2*h - 3*c - 59 = -17, 0 = 4*h - c + 56. Let y = h - -22. Are n and y equal?
False
Let q = -302.5 + 386. Is q equal to 0?
False
Let g(b) = -b**3 + 7*b**2 + b - 7. Let l be g(7). Suppose 30 = -l*v + 5*v. Which is greater: v or 4?
v
Suppose 0 = l + d + 1, 5*l - 16 = 2*d. Suppose 3 = -4*o + 3*r, -2*r + 4 = 3*o + l*r. Which is greater: o or -2?
o
Suppose -5*c + 31 = 2*p, -p - 5 = -3*c - 4. Let m be -1 + 54/(-24) - (-2)/p. Let g = -7/12 + -11/12. Which is smaller: g or m?
m
Let w be 92/16 + (-2)/(-8). Suppose -d = -w*d. Let m = -27 - -30. Do d and m have different values?
True
Let i = 2183/9 + -243. Let a = 6 + -9. Let b be 0/(1*(5 + a)). Does i = b?
False
Let o(d) = d**3 + 40*d**2 - 3*d - 1. Let z be o(-40). Which is smaller: z or 118?
118
Let k = 2 - 23. Let n(l) = 5*l**2 - l - 16. Let m(y) = -11*y**2 + 3*y + 31. Let w(g) = 6*m(g) + 13*n(g). Let v be w(0). Which is bigger: k or v?
k
Suppose -b - 6 = -2*b. Suppose -3*i - 6 = -b*i. Let q(y) = -y. Let t be q(-5). Is t smaller than i?
False
Let s = 6907/2925 + -117/50. Which is smaller: -1 or s?
-1
Let q = -0.515 + 73.515. Which is smaller: 1/5 or q?
1/5
Let a(m) = -37 + 4*m + 37. Let z be a(2). Let x be 2/z - 42/8. Is -2 < x?
False
Suppose -29*o + 34*o = -40. Let d = 22 + -31. Is o at most as big as d?
False
Let t(b) = -10*b**2 + 9*b + 27. Let a be t(12). Which is greater: -1306 or a?
a
Let y(m) = m**3 + 21*m**2 - m - 18. Let p be y(-21). Suppose 2*o - 4*h - 20 = 0, p*o - 2*h + 20 = -6*h. Which is greater: o or -1/21?
o
Let j be -1 + 33/39 - (-35)/(-1040). Is j less than -1?
False
Suppose 22 = 2*l + 53*l - 143. Suppose 0 = -2*d - 3 - 5. Let h = d + 8. Which is bigger: l or h?
h
Let o = -251.15 + 204.1. Let q = o + 47. Let x = 3 - 3.1. Which is greater: x or q?
q
Let p = -36 - -34. Suppose -17*s = -3*s - 70. Which is bigger: p or s?
s
Suppose y - 13 + 9 = 0. Let d be (1/y)/(8/32). Which is bigger: 1/96 or d?
d
Let v(j) = -j - 14. Let a be v(-17). Suppose a*p = 4 + 8. Suppose -p = -2*b - 4*c, -b - 4*b - 2*c - 22 = 0. Which is smaller: -7 or b?
-7
Let w(l) = l**3 - 36*l**2 - l + 12. Let t be w(36). Is t greater than -27?
True
Let k = 376 - 260. Let h = 24649 - 122667/5. Let s = k - h. Which is greater: s or 0.03?
s
Let p = 80 - 21. Let s = 83 - p. Let c = 42 - s. Is -1 at least c?
False
Let q be 4 - (-36)/(-21) - 4/2. Let o = 0.01 - 0. Which is bigger: q or o?
q
Let o = 9 - 6. Let x be (-4)/(-42) + o/9. Let j = -1 - -1. Does x = j?
False
Suppose -9*c - 94 + 742 = 0. Which is smaller: c or 75?
c
Let q = -4.04 - -4. Suppose 0 = -4*d + 25 - 21. Which is bigger: d or q?
d
Let i(p) = -p**3 - p - 803. Let g be i(0). Does g = -803?
True
Suppose 4*i + 2 = 5*w - 18, 4*i + 8 = 2*w. Let c be (i - 32)/((-3)/3). Let x be 1/5 + c/(-60). Which is greater: 7 or x?
7
Let o = -1203 + 1202.97. Which is greater: 4 or o?
4
Let b = -0.6 - -16.6. Let f = 13.64 - -0.36. Let y = b - f. Is 0.05 at most y?
True
Let i(l) = -l**2 - 3*l + 8. Let m be i(-4). Suppose 4*j = -12, 0 = 3*w - 2*w + m*j + 22. Do w and -7 have the same value?
False
Suppose -2*w - 7 = -3*p, 3*w + 5 = 5*p - 8. Let d be 0 - 3 - 221/(-26). Is p less than or equal to d?
True
Let k = -131 - -114. Let x be k/34 + (-6)/20. Are 2/11 and x unequal?
True
Let j = -437 - -7430/17. Let h be (9/6)/(9/6). Which is greater: j or h?
h
Let r = 7/15 - 19/60. Suppose q = 3*m - 6, 3*m + 3*q + 4 = 5*m. Suppose 2*l - 5*v = 3, 0 = -m*l + v - 3 + 2. Is l at most as big as r?
True
Let d be 2/((-24)/(-2))*-2. Let v = -2 + 3. Which is smaller: v or d?
d
Let o be (-12)/2 + 128/12 + -6. Which is bigger: o or -42?
o
Suppose 0 = 5*n + 1 - 16. Suppose 63 = -5*x - n*p, -2*p + 0 - 2 = 0. Let t be 5/x - (-2)/12. Is 1/8 at least t?
True
Suppose 0 = -2*f + 33 - 31. Let s be (-2 - (-1 - f)) + (-90)/(-6). Suppose 0 = 2*a + 3*a + 5*g - 90, -4*a + g = -62. Is a greater than s?
True
Let r be 2*((-100)/112 + 1). Suppose 4*i = 12 - 0. Suppose 0 = -w + 5*x + 9, i*w + 7*x - 4*x = -9. Is r >= w?
True
Let v(q) = -q**2 - 5*q + 8. Let g be v(-7). Let y be ((-15)/(-8))/(3/(-4))*g. Let p = -34 - -50. Which is smaller: p or y?
y
Let j(g) = g**3 + g**2 + g + 4. Let i be j(0). Suppose i*s - 3*u = 2*u + 67, 6 = -2*u. Are s and 12 unequal?
True
Let d = 21 - 21.27. Let b = -518.27 + 518. Let l = d - b. Which is greater: 0.3 or l?
0.3
Let c = 18 + -32. Let g = 10 + c. Let u be (-10)/g - 3/(-6). Which is smaller: -2 or u?
-2
Let u(t) = -t**3 - 13*t**2 + 10*t + 40. Let p be u(-13). Is -87 less than p?
False
Let s(o) = -54*o**3 + 8*o**2 + 4*o - 12 + o + 55*o**3 + 0*o. Let q be s(-7). Is q bigger than 5/7?
True
Let u = -8925/11 + 812. Which is bigger: 0 or u?
u
Let g = -159911/31 + 5159. Which is smaller: g or 2?
g
Suppose 0 = -5*c + 2*d + 3*d + 45, 0 = -2*d - 8. Suppose 25 = c*k - 10*k. Is -3 bigger than k?
True
Suppose 2*o - 1 = j + 26, -3*j - 66 = -5*o. Suppose 2*c - 7*c = o. Which is smaller: 2/7 or c?
c
Let d be (22 - 12) + 0 + -36. Is -174/7 at most as big as d?
False
Let p(m) = -10*m - 33. Let a be p(-7). Suppose -x = 3 - a. Is 35 not equal to x?
True
Let p = 20 - 26. Let z = 10 - p. Suppose -3*v + 4*j - z = 0, 2*v + 0*j + 3*j + 5 = 0. Which is greater: -6 or v?
v
Let k be (-9)/15*(-4 - 578)/(-6). Let x = -408/7 - k. Which is smaller: x or 0?
x
Let c = -30 + 30.042. Let q = 0.242 - c. Let t = -77 + 229/3. Which is smaller: q or t?
t
Let x(s) = -3*s + 4. Let g(w) = -w - 14. Let t be g(-7). Let u be x(t). Suppose -2*r = -7*r + u. Is r bigger than 7?
False
Let q be (8/10)/(7 - (-74)/(-10)). Is q != -1.9?
True
Suppose 3*p + 78 = -36. Let h = p - -4. Is h greater than -33?
False
Let x = -0.29 - -0.295. Let h = 0.055 - x. Are h and -1 equal?
False
Let v(n) = n**3 - n - 4. Let w be v(3). Suppose -5*b + h - 7 = w, -b - 13 = -4*h. Let d(r) = -r**3 - 6*r**2 - 4*r + 5. Let i be d(b). Is i at least 1/15?
False
Suppose 4*g - 4 = 4. Suppose -2*c + 5*h - 5 = -c, 4*c = g*h - 38. Which is greater: c or -9?
-9
Let n be ((-4)/(-10) - (-90)/(-100))/1. Is 42/25 >= n?
True
Let w = -447/2 - -188. Let l(m) = 2*m**2 - 26*m - 11. Let j be l(12). Is j smaller than w?
False
Let u be 3 - 1 - 0 - -4. Let h = -3 + u. Let l be h*-1*(-52)/(-117). Which is greater: l or -1?
-1
Suppose 3*r - 7 = 5*h - 6*h, 4*h + 2 = 3*r. Let i = 9/38 - 470/19. Let l = i - -25. Which is smaller: l or h?
l
Suppose 5*a = -2*v + 50, 41 = 4*a + 5*v + 1. Is a at most 54/5?
True
Let u(b) = b**3 + 7*b**2 + 15*b + 25. Let k be u(-5). Which is smaller: 4/91 or k?
k
Suppose 0 = 31*o - 15*o - 4272. Is o bigger than 266?
True
Let i = -1 + 1. Let u be (-214)/(-140) - (-33)/(-22). Is u not equal to i?
True
Let w = -8 - -8. Let p = w + 1. Do -12 and p have different values?
True
Suppose 475*w = 472*w - 39. Let m = 34 + -47. Is m bigger than w?
False
Let m = 142 - 53. Let h = -56 + m. Is h >= 33?
True
Let i = -11 + 5. Let o = -3 - -11. Let h = i + o. Which is smaller: h or -2?
-2
Let w = 24 - 38. Let u = w - -12. Which is smaller: 19 or u?
u
Let p be -9*3/(36/(-40)). Let i be ((-6)/4)/(p/40). Is i smaller than 0?
True
Let x(d) = d**3 + 11*d**2 - d - 13. Let k be x(-11). Let y be k/(-4)*(1 + (-36)/(-20)). Let n = -16 - -47/3. Which is bigger: y or n?
y
Let x be (-10)/(-25) - (0 + 0). Let v(q) = -q**3 - 22*q**2 - 4*q - 49. Let r be v(-22). Is x smaller than r?
Tru