 + 6.7. Which is smaller: 1/4 or h?
1/4
Let j = -0.6 - 0. Let g = -39.55 - -39.45. Which is bigger: g or j?
g
Suppose 88 = -5*b - 5*n + 13, 0 = b + 3*n + 5. Let c = -41 - b. Is c at least -21?
True
Let u = -15 - 37. Let p = u - -4. Is p not equal to 0?
True
Let u be ((-7)/(-7))/(-1 + 4/3). Let b be (-2 - 1) + u*(-38)/(-12). Which is smaller: b or 7?
b
Let f(n) = -n**3 + 6*n**2 + 3*n + 5. Let z(c) = -2*c - 9. Let i be z(-8). Let k be f(i). Which is greater: -22 or k?
-22
Let y be (2 + (-8)/2)*36 + -2. Is 2 at most as big as y?
False
Let l be (1/1)/(14/(-6)). Let u = -29/70 + -3/35. Is u < l?
True
Suppose -v = -7*v. Suppose v = 8*g - 7*g. Let k(q) = -2*q - 9. Let y be k(-4). Are g and y equal?
False
Let v = -513 - -108. Which is greater: v or -406?
v
Let n be 2 + 9 - 6/2. Suppose c - 45 = -n*c. Let k(j) = j**3 - 5*j**2 + 4*j. Let i be k(4). Which is smaller: i or c?
i
Let t = -56/57 + 6/19. Let u be 0*(-2 + 3)/1. Suppose u = -15*o + 19*o + 32. Which is smaller: t or o?
o
Let z = 14301/15719 - 1/1429. Are 1 and z nonequal?
True
Let t be (90/48)/(3/40). Are -5 and t non-equal?
True
Let k be -111 - 5 - (5 - 11). Which is greater: -116 or k?
k
Let x be 624/(-9)*(-18)/4. Is x less than 313?
True
Let g(s) = -s**2 + 10*s - 16. Let m be g(7). Suppose t - 6 = 4*t - x, 0 = -m*t + 2*x - 9. Let d = 0.2 - 0.2. Is t at most as big as d?
True
Let p = -27.5264 + -0.6036. Let z = 0.068 + 27.932. Let b = p + z. Do b and 1/3 have the same value?
False
Suppose 5*t + 6 = 5*k + 2*t, 4*t - 12 = 0. Suppose 2*x - 5 - 3 = 0. Suppose k*y + x*j = -56, 0 = 3*y - 4*j - j + 38. Is y bigger than -16?
False
Let a = 137189/7 + -19647. Let l = a + 49. Are l and -2 non-equal?
True
Let m be ((-336)/(-7))/(-6) + 7. Is -2/227 bigger than m?
True
Suppose -18*b + 21*b + 12 = 0. Are b and 23 non-equal?
True
Suppose 0 = 5*j + 25, 3*j - 6*j = 4*w - 193. Let a be (w/(-72))/(23/(-1257)). Let v = -79/2 + a. Which is greater: v or 1?
1
Let h(s) = -2*s + 11. Let k be h(6). Let v = 1/5 - 4/45. Which is greater: v or k?
v
Suppose 7*m - 30 = 5*m. Let h be 43/m + 16/120. Is h smaller than 5/3?
False
Suppose 4*s = 5*n - 4 + 31, -2*s = -4*n - 18. Let q be (-5 - 96/(-18))*1*s. Let h = 0 - -1. Does q = h?
True
Let b = 393 + -393. Is 18/41 > b?
True
Suppose 5*s + 0*s - 3 = 2*p, 4*s - 1 = 3*p. Let f be (-2)/(-13) - (-448)/(-208). Which is bigger: p or f?
p
Let s be ((-4)/42)/((-24)/56). Let d = 7/3 - 46/21. Which is smaller: d or s?
d
Suppose z = -41*u + 37*u - 28, -4*u = 5*z + 12. Let g(v) = -v - 1. Let i be g(0). Let n be i - 5/(10/12). Which is bigger: n or u?
n
Suppose 4*k = 2*h, -h - 14 = 3*k - 9. Is 2/39 greater than k?
True
Let l be 48/264 + (-26)/22. Is -139 at most l?
True
Suppose 5*h - 15 = -5*a, 16*h - 14*h = 3*a + 1. Let q(i) = i**3 - i**2 + 1. Let p = 0 - -1. Let f be q(p). Is f < a?
False
Let g = 745 + -2254/3. Which is smaller: g or -7?
-7
Let o(d) = -5*d**2 - 5*d + 6 + 3*d - 7*d + 6*d**2. Let i be o(11). Let g be (2/8)/(i/(-32)). Are g and 2 nonequal?
True
Let d = 518.07 + -538.941. Let m = 0.129 - d. Is 1/2 smaller than m?
True
Let n be -1 - 5*(2 + -3). Suppose -q = -n*q. Let f be (-4)/(-3) - (4 + -4). Is f greater than q?
True
Suppose -2*d = 2*s - 105 + 31, 0 = -2*d + s + 65. Are d and 11 unequal?
True
Let j = -15 + 10.16. Let x = j - 0.16. Let f = -7 - x. Which is greater: f or 2/25?
2/25
Let q = -2 - -3. Let w = -22 + 25. Suppose 2*y = -0*y - w*y. Which is smaller: y or q?
y
Let n(j) = -4*j. Let a be n(1). Let p(x) = -x**2 - 6*x + 3. Let q be p(-7). Is q not equal to a?
False
Let f = 1238 - 1237.88. Do f and 2 have the same value?
False
Let x be 1/(-12)*408916/4575. Let r = x + 6/1525. Let b = r + 52/9. Which is bigger: 1/3 or b?
1/3
Let h(y) = -y**3 + 9*y**2 - 9*y + 6. Let k be h(8). Let b be 234/(-42) - (-2 + -2 + 1). Which is smaller: k or b?
b
Suppose 0 = 3*k + 2*f - 6, 0 = -k - k - 3*f - 1. Suppose 0 = -n + k*n + 48. Let p = n - -14. Which is smaller: -0.2 or p?
p
Let z = -18.3 + 1.3. Let t = z - 0. Which is smaller: t or 1?
t
Let j = 0.015 + 2.285. Let i = 1.1 - j. Let c = i - -1.3. Which is greater: c or 4/5?
4/5
Let v(s) be the third derivative of -s**5/60 + 5*s**4/24 + s**3/2 + 29*s**2. Let j be v(-1). Let a = -1 - -2. Is j greater than or equal to a?
False
Suppose -2*w + 8 = 4*l, -8 = 3*l - 2*l - 2*w. Let y(x) = x - 2. Let m be y(0). Let g = m - l. Is -8 equal to g?
False
Suppose -3*w + 4*o + 0*o = 10, -4*w - 5*o + 28 = 0. Let v(a) = -4*a + 35. Let c be v(8). Is w bigger than c?
False
Suppose 2*j = 3*t - 41, 5*t + 11*j - 75 = 16*j. Are 10 and t equal?
False
Suppose -7*x = -6*x - 5. Suppose 0 = m - x*w + 28, 0 = m + 4*w - 8. Suppose 2*c - 2*d = -6, 0*c - 29 = 5*c + 2*d. Which is bigger: c or m?
c
Suppose -4*h = -p + 85, -3*p - 2*p - 5*h + 375 = 0. Which is bigger: -2/19 or p?
p
Let y = -220 - -246. Which is smaller: y or 29?
y
Suppose 215*y - 211*y = 4. Is -23 smaller than y?
True
Let i = -13.66 + 13.6. Do -0.6 and i have different values?
True
Let z = 219/13 + -17. Let h(s) = s**2 - 17. Suppose -3*x = -1 - 11. Let k be h(x). Which is smaller: z or k?
k
Let c(d) = 8*d**2 + 2*d - 2. Let t be c(1). Suppose -t*g + 8 = 24. Is g greater than -5/6?
False
Let x = -10.3 - 99.7. Which is smaller: x or -3/5?
x
Let n be (-2)/(-3)*(-3)/14. Let u = -1/1359 + -28085/1359. Let o = u + 20. Which is smaller: o or n?
o
Let v = 16 - 12. Suppose -v*d = o + 460, -d - 3*o = -7*o + 98. Let a = d + 568/5. Is a bigger than 0.1?
False
Let c(h) = -1511*h**2 + 14*h + 13. Let z be c(-1). Is -1513 equal to z?
False
Let u be (-1)/((-54)/(-14) + -4). Suppose -4*y - y = 2*l - 107, -y = 4*l - u. Suppose p - 58 = 3*g, 2*g + 2*p + y = -21. Do -20 and g have different values?
False
Let q = -8 + 12. Let w = -5 - -11. Let c = q - w. Are c and -2 non-equal?
False
Let r = 442.9 + -408. Let t = r - 35. Does t = 17/6?
False
Let n be 15/(-40)*30/(-45). Do -0.014 and n have the same value?
False
Let d be 18/4*1880/15. Let q be 4/(-26) - d/52. Let o be -1 - (q + 3/3). Is o smaller than 10?
True
Let p = -5 - -13. Suppose 0*j - p = -j. Let l = j - 7. Which is smaller: -4/11 or l?
-4/11
Let i be (2/14)/(6/(-9)). Let w(q) = q**2 + 9*q + 3. Let p be w(-9). Suppose -p*b = -4*o + 3 - 2, -5*b + 5 = 0. Which is smaller: o or i?
i
Let c be 34/(-10) - (-8)/20. Let l = 1 + c. Let y be 1/((6/l)/24). Is y <= -8?
True
Let c = -15 + 5. Let g = c + 10. Let k = -14 - -16. Which is bigger: g or k?
k
Let t = -674 + 650. Let w = -73 + 49. Let i = t - w. Is 15 less than i?
False
Let b be (-8)/(-57)*(3 + (-21)/14). Suppose 7*u = 2*u. Which is greater: u or b?
b
Let p(o) = 5*o + 5. Let r be p(2). Suppose 7*h + r = 2*h, -5*n = 4*h + 12. Is n at least as big as 22/21?
False
Let w(c) = -2*c - 1. Let h be w(6). Suppose -7*a + 4*a - 62 = 4*o, -3*o - 15 = 0. Is a != h?
True
Suppose 0 = -5*b + 3*u + 44, 16 = 3*b - 2*b - 3*u. Suppose 2*o = b*o. Let y = 48/481 - -2/37. Which is greater: o or y?
y
Let o = 34 + -29. Suppose 7 + o = 4*s. Let f be -1*2 + 36/8. Is f at least s?
False
Let w = 764 + -764. Which is smaller: w or 2/715?
w
Suppose 3*k + 3 = -0*k, 3*k = 3*p + 15. Let u be (-1924)/12 - (-4)/p. Let s = u - -1125/7. Which is greater: s or -2?
s
Let m(k) = -5 + 0 + 11*k**2 + k**3 - 5*k**2. Let a be m(-6). Which is greater: a or -6?
a
Suppose 4*o - 7*o + 17 = -r, -5 = o + 5*r. Is 4 smaller than o?
True
Let j = -729 + 712. Is j not equal to -1/4?
True
Let w be 14938/(-264) + (-18)/8. Which is greater: -60 or w?
w
Let a be (-111)/(-6) - 3/(-6). Let q(r) = -2*r + 15. Let v be q(-15). Suppose v = 4*b - 27. Is a at most b?
False
Let c(j) be the third derivative of j**5/20 + j**3/6 - 4*j**2. Let b be c(-1). Suppose b*w - 5*v = 12, 3*w - 50 = -4*v - 10. Is w < 6?
False
Suppose -4*o = -4, 2*w - 2 = 4*o + 288. Suppose 5*h = -27 + w. Which is bigger: 23 or h?
h
Let d = -0.156 + 0.096. Let k = 0 - 8. Let p = 5 + k. Is d greater than or equal to p?
True
Suppose -g - l - 273 = 0, 4 = 232*l - 228*l. Which is smaller: g or -276?
-276
Let x = -25 - -26. Let j be x*(39/15 + 0). Is j greater than 3?
False
Let i be 2/19 + (-186)/(-38). Let z be 93/(-2)*i/(-15). Which is smaller: z or 17?
z
Suppose 3*m - 3*a - 120 = 0, 8*a - 11*a - 32 = -m. Which is smaller: 47 or m?
m
Let q(k) be the first derivative of k**4/4 + 7*k**3/3 + 3*k**2 - k + 41. Let y be q(-6). Which is 