 -1/10 less than g?
False
Let z be 1/(2/(-18)*-3). Let f be (152/(-14))/4 + z. Is f <= 2?
True
Let t(f) = f**3 - 11*f**2 + 12*f - 18. Let a be t(10). Which is greater: a or 1?
a
Let d = 11.72 - -0.28. Let i = 12 - d. Is i less than -2/9?
False
Let y be (-106)/(-8) + 9/12. Let r = 19 - y. Do r and -0.2 have different values?
True
Let s be 4037/2948 + 3/(-1). Let d = s - 8/67. Which is smaller: d or -2?
-2
Let g = -13 - -16. Suppose -4*p - 14 = 3*w - 2, g*p - 20 = 5*w. Is p less than -6/13?
False
Let r be (7 + -1)/(4 - 3). Let s = -4 + r. Let a(i) = 6*i - 33. Let f be a(6). Is f greater than or equal to s?
True
Let l = -2 - -5. Suppose 0*q = 2*q - 32. Suppose -3*b + 2*z = -4, -3*b + z = -6*b + q. Which is smaller: b or l?
l
Let b(o) = o - 1. Let x be b(3). Let c be x + -3 + (-268)/252. Let h = -16/9 - c. Is -1 smaller than h?
True
Let u(p) = -p**3 - 10*p**2 - 8*p + 11. Let t = 23 + -32. Let s be u(t). Let j be (-78)/(-28) - 8/28. Which is smaller: s or j?
s
Suppose 5*g + 2 = -w - 3, -3*w + g = -17. Is w at most as big as 5?
True
Let u = -6 - -10. Suppose -3*w = 2*w - 3*y - 10, -u*w - 3*y = -8. Is 5 bigger than w?
True
Let g(h) = h**3 - 4*h**2 + 4*h - 2. Let i be g(2). Which is bigger: -13/4 or i?
i
Suppose -5*h = -g + 20, -2*g - 3 + 33 = -5*h. Suppose -4*m = m - g. Is m bigger than 2?
False
Suppose -6*m + m = 0. Which is smaller: -6/13 or m?
-6/13
Let q = -4 - 4. Let j be (4/q)/((-1)/(-6)). Let a = -2 - j. Which is bigger: a or -1?
a
Let t = -12 + 68. Let m be (-40)/t + (-2)/7. Which is bigger: 3/19 or m?
3/19
Suppose -37 = -5*q - 137. Is 1 < q?
False
Let u be (0 + 0)/(-1 + 0). Let a be 27/(-72) - (-2)/4. Is u bigger than a?
False
Suppose -4*i = -3*b - 2*b - 72, 5*i + b - 61 = 0. Are i and 1 non-equal?
True
Let k = -2867 - -14404/5. Let a = 14 - k. Which is bigger: a or 0.1?
a
Suppose -2*x = -4*x - 3*m - 13, 5*x - 20 = 3*m. Let v(z) = -z - 2. Let i be v(-4). Suppose i*a = 2 - 4. Is a smaller than x?
True
Let c = -833 - -834. Let d = 7 + -4. Is d at least c?
True
Suppose 10*i + 35 = 3*i. Let b = 3 + i. Let v = -81/28 - -22/7. Which is smaller: v or b?
b
Let c = 16 - 16.1. Which is smaller: c or 0.03?
c
Let s = 16 - 8. Let z = 15 - s. Let t(y) = -y**3 + 7*y**2 - 3. Let i be t(z). Is i at least -3/2?
False
Let b = -5664/7 + 812. Is 4 > b?
True
Suppose 3*m + 23 = 2*v - 13, 0 = 5*m. Are v and 18 unequal?
False
Let i be 5*(1 + -3)/(-2). Suppose 10 = -3*z + j, 0 = i*z - 2*j - 12 + 28. Let r = -10 + 6. Is z less than r?
False
Suppose 5*h - 5 = 4*u, h + 3*u - 25 = -h. Suppose 4*f - 8 = 0, -r - 2*f - h = -7*f. Suppose 2*z - 12 = -0. Which is smaller: r or z?
r
Suppose 0 = 6*z - 2*z + 60. Suppose 31 = 2*y + 9. Let c = y + z. Which is smaller: -2 or c?
c
Let u be (360/(-28))/((-9)/42). Let v be (-3)/(-12) + 33/u. Is 0 >= v?
False
Let j be (2 - 3)*(-9)/(-39). Which is smaller: j or -1?
-1
Let p = 4 + 5. Is 9 >= p?
True
Let t = 78 + -93. Is -15 equal to t?
True
Let t(x) be the second derivative of -x**5/20 + x**4/12 + x**3/6 + 3*x. Let r be t(0). Suppose -4 = -2*g - r. Which is smaller: g or 3?
g
Let n be (1 + 0)*(0 - -3). Let u = 6 + 0. Let q be u/(-8)*(n - 2). Which is greater: q or -2?
q
Let x = -0.06 - -0.22. Let o = 0.06 - x. Which is smaller: 6 or o?
o
Let f = -108 + 92.8. Let l = f + 15. Which is smaller: l or -1/3?
-1/3
Let n be 30/70 + 915/(-371) + 2. Let v = -2 + 3. Is n at most v?
True
Let p = -0.14 - 0.16. Let z = 0.3 + p. Is 0.3 > z?
True
Suppose -2*o + h = 5*h + 8, 5*o + 4*h = -8. Which is greater: -2/85 or o?
o
Let m = 2669947/19596 + 2/4899. Let f = -137 + m. Which is greater: 0 or f?
0
Let n be (3/9)/(2/372). Suppose 0 = 5*g + 203 + n. Let y = g - -155/3. Which is smaller: y or -2?
-2
Let j(r) = -r**3 + 5*r**2 + 7*r - 8. Let c be (12/(-5))/((-4)/10). Let s be j(c). Does s = -2?
True
Suppose 0 = o + 4 - 1, o = -4*r - 3. Let a be ((r - 0) + -2)/2. Is a <= -1?
True
Let q(p) = p**3 - 7*p**2 - 10*p. Let d be q(11). Let b be d/(-4)*24/52. Let l = 43 + b. Which is bigger: 0 or l?
0
Let j = 2/63 + 1/9. Let d be 6*1/(3/1). Suppose 7 = -2*w + 5*p, d*w + p + 3 = -2*w. Is j > w?
True
Suppose 12 = -4*o + o. Let p(m) = m + 5. Let v be p(o). Which is greater: -1 or v?
v
Suppose -3*s + 7*s = -4*t + 12, -4*s - t = -15. Suppose 0*v - 4 = 2*z + 2*v, 13 = s*z - 3*v. Is z less than 4?
True
Let w = -88 - -85. Let m = -4 + 4. Is w at most m?
True
Suppose c = 6*c. Let t = c + 0. Let o be (-30)/(-56) + (-4)/14. Which is smaller: o or t?
t
Suppose -104 = -5*q - 19. Let i = q - 9. Suppose i = -4*j + 4. Is j > -3/5?
False
Let y be 1 + 0 - (-7 - -5). Suppose -5*l = 4*v + 9 + y, -l - 2*v = 6. Suppose -m + 3*m + 4 = l. Is m >= 3?
False
Let i be 2/156 - (-3)/(-18). Suppose 2*u - 3*u + 17 = 0. Suppose -3*f = 3*s + 2 - u, -s + 7 = 3*f. Is i smaller than f?
True
Let h(k) = k**3 - 6*k**2 - 1. Let y be h(6). Let q(r) = r**3 - 2*r**2 - 2. Let w be q(2). Which is smaller: w or y?
w
Let f be 2/(16/6 + -2). Let l = 4 - f. Is l at most 2/57?
False
Suppose -33 = -5*i + 32. Let h = i + -26. Is -13 not equal to h?
False
Let m(z) = -z**2 - 4. Let t be m(0). Is t at least -1?
False
Suppose 0 = -5*i - 2*u + 77, -2*u = -5*i + 1 + 72. Let j be (-1)/(-3) - (-8)/3. Suppose i = 5*g + 3*l, -3*g = -j*l + 6*l - 9. Is 3 at most g?
True
Let c = -11 - -14. Let z be (2/(-12))/(c/(-6)). Which is smaller: z or 0?
0
Let o = -25 + 19. Let g = 71/2 - 42. Let l = o - g. Which is smaller: l or 1?
l
Let f = -1.69 - -0.69. Which is greater: -29 or f?
f
Let f = 847/3 - 286. Which is bigger: -5 or f?
f
Suppose -22 = -9*f + 5. Let k = -0.3 + 1.3. Which is smaller: k or f?
k
Let k(l) = 3*l**2 - 27*l - 41. Let s(v) = -v**2 + 9*v + 14. Let o(z) = 6*k(z) + 17*s(z). Let x be o(10). Let q = x - 0. Is q smaller than -2?
False
Suppose -3*x - 10 = -8*x - s, 0 = -5*x + s. Let b = -3 + 4. Let i be 57/21 + -2 - b. Is x <= i?
False
Let p = 113 - 108. Let n = -95/3 - -31. Which is greater: p or n?
p
Let w be (0 + -6)*4/(-8). Let g = 0 - w. Let u be (0/2 + -1)/1. Is u >= g?
True
Suppose h + 1 = -0*h. Let p be 6/(-4)*2/4. Which is greater: p or h?
p
Suppose 0 = -5*t - z + 28, -7 = -2*t + 5*z - 4*z. Suppose -t*p = -6*p. Suppose 4*m + 3*w - 11 = p, 3*m + 2*w - 6 = 1. Is m >= -1/4?
False
Let j be (-22)/10 + 5/25. Let t be 0 + -3 + (0 - j). Let k = 5.02 + -0.02. Which is greater: k or t?
k
Let s = -3174/13 - -244. Suppose 2*d = -b - 31, 0 = 7*d - 3*d - 3*b + 87. Let m = d - -18. Is m bigger than s?
True
Let n = -24 - -25. Let b = 0.04 - 2.04. Which is smaller: n or b?
b
Let x(t) = t**3 + 10*t**2 - 12*t - 10. Let g be x(-11). Suppose 3*l - 5*l + 7 = -3*z, -5 = 5*z. Which is smaller: g or l?
g
Let g = -1 + -1. Let x = 13 - 11. Do g and x have the same value?
False
Let f be 14/35 - 1*(-32)/(-30). Is f bigger than 4/9?
False
Let b = -2822/31 - -91. Is 1 != b?
True
Suppose 4*l - 26 = -2*h, -3 = 4*h - 15. Suppose -4*r + 12 = 0, 0 = -5*q + r + 42 - 15. Is q smaller than l?
False
Let n be ((-36)/(-200))/(7/5). Let u = n - -1/14. Are u and 0 non-equal?
True
Suppose 4 = -t + 3*t. Let c be 23/(-6) + t/(-12). Which is smaller: c or 1?
c
Suppose -4*h + 40 = -3*t + 131, 3*h - t = -67. Is h < -23?
False
Let z = -1.3 + 0.3. Let b(c) = -3*c - 6. Let d be b(-5). Let t be ((-12)/d - -2)*-3. Which is bigger: z or t?
z
Suppose 0 = 5*u - 10*u + 65. Is u != 14?
True
Let q be (-6)/(2 - 5) + (-18)/8. Is -89 < q?
True
Let h(o) = o**3 + 5*o**2 + 3*o - 4. Let d be h(-4). Let p = 382 - 373. Is d at least p?
False
Let h = -49/54 - -2/27. Let r be (8/(-10))/(38/285) - -4. Is h less than r?
False
Let c(b) = -b - 8. Let m be c(-9). Let q be (-3)/12 + 34/200. Which is smaller: m or q?
q
Let r be 3/(-2) + 195/2. Let a be 248/r + 3/4. Is 3 greater than a?
False
Suppose -16 = -5*d + 4. Suppose d*b = 7 + 1. Is b > 2/3?
True
Let z = -1 + 1. Let k be (0 - z)*(-1 + 0). Which is smaller: -1/3 or k?
-1/3
Let c be 972/30 - 2/5. Suppose 3*x = -c - 19. Which is greater: x or -18?
x
Let y(b) = -b + 6. Let q(d) = 3*d - 1. Let i be q(1). Suppose s + 10 = 3*j, 5*j - 15 = 4*s - i*s. Let m be y(s). Is 0.3 bigger than m?
False
Let o = -39 + 39.007. Is o smaller than 1?
True
Let q = 0.81 + -0.01. Let h = -1.1 + q. Let r = -60 - -422/7. Is r at most h?
False
Let p be 12/(0 + (-374)/8). Let j = p - -47081/561. Let u = 85 - j. Is u less than 0?
False
Let l = 4 + -3. Let q = l - 7. Le