 less than 17/4?
True
Let w = 16 - 7. Let r be (w/(-15))/((-1)/15). Let j be (-6)/4*6/r. Which is smaller: j or -2?
-2
Suppose -13*l + 12*l - 15 = 0. Let x = 16 + l. Is -1/33 greater than or equal to x?
False
Suppose v + 14 = 4*b - 1, 0 = 2*v - 4*b + 18. Let x be 8*(26/8 + v). Let u = 0 + 2. Is u greater than or equal to x?
True
Let h be (-4)/6 - (-17)/3. Suppose -2*r + 4*y - 8*y = 0, -h*y = -4*r + 26. Suppose -r*m = o + 2, 3*o - 2 + 1 = -5*m. Is o > 2?
False
Let u = -144.7 - -145. Is -1/33 not equal to u?
True
Let x be (-2)/15*(-72)/(-80). Are x and -1 equal?
False
Let g = -37/4 - -551/60. Let i = 5 - 5. Is g bigger than i?
False
Let t = 156 + -163.1. Let k = t - -6. Let g = 0.1 + k. Is -2 >= g?
False
Let c be 5/(-10*(-3)/12) + 7. Which is bigger: c or 6?
c
Suppose -3*v = -2*l + 20, 2*v + 15 = -3*l - 7. Let d = -7 - v. Which is smaller: 2 or d?
d
Let h be (0 + 2)*5/(-2). Is -6 at most h?
True
Suppose -3*u + 3 = -0*u. Let q be (22/4 - 3)/u. Which is smaller: q or 3?
q
Suppose 3*j + 21 = 5*k, 0*k + 14 = -2*j - 3*k. Let a = j + 7. Which is smaller: -2/15 or a?
-2/15
Let q = 10439/36 - 290. Is 1 bigger than q?
True
Let f = 7 + -9. Let z = -4/75 - 26/75. Which is smaller: z or f?
f
Suppose 9 - 3 = -5*o - 4*q, 2*o + 8 = 4*q. Is o at most -1?
True
Let u(l) = -l - 1. Let z be u(-5). Let k = z + -2. Suppose k*f = -0*f - 2. Is -1 bigger than f?
False
Let i be 6/30 - 14/(-5). Suppose -f + i*f = 2. Let y be 1 + 0 + -2*1. Is f at least as big as y?
True
Let k(x) = -3*x + 22. Let j be k(10). Is -8 smaller than j?
False
Suppose 3*s + 31 = -4*n + 5*n, 3*n = 12. Do -9 and s have the same value?
True
Suppose -2*s - 3 = -1. Let a be ((-3)/(-3))/s*0. Suppose 4*i + 0*i + 12 = a. Is -3 not equal to i?
False
Let p = 18 + -58. Let j be 4*1*30/p. Which is bigger: 0 or j?
0
Let a = 0 + -2. Let v(w) = -w**2 - 2*w - 1. Let q be v(a). Let o = 1 - 1. Is o > q?
True
Let g(f) = f - 6. Let m be g(8). Let y be 2 - m - 2 - -11. Let i be (-14)/(-24) - 3/y. Is i > -1?
True
Let z = -28 + 20. Let o be z/(-14)*1/(-2). Let c = 73 - 76. Is c > o?
False
Let n be (-4)/(-6) + 1/(-3). Let s = 2.5 + -2.2. Is n not equal to s?
True
Let n(v) = v**2 - 3*v - 4. Let h be n(4). Is h at least as big as 1/12?
False
Let i be (-1 - -2)/(-4 + 3). Let w be ((-2)/(-3))/(13/(-3)). Which is bigger: i or w?
w
Let h = 769/2 - 398. Let t = h - -14. Suppose 0 = -4*a - 5 + 13. Which is smaller: a or t?
t
Suppose 0 = -2*b - 2*u + 22, -2*u + 60 - 8 = 5*b. Is b at most 11?
True
Let l be (-10)/(-40) - (-7)/(-20). Which is smaller: -1 or l?
-1
Let s(h) = -2*h. Let w be s(-2). Suppose 0*u = -w*u + 12. Suppose -2*a + 5*a = u. Is 1 <= a?
True
Let j be (-2*3)/((-15)/(-10)). Let k be ((-16)/(-140))/((-4)/10). Which is smaller: j or k?
j
Suppose -2*c + 5*d = -266, 5*c - 532 = c - 2*d. Which is smaller: -0.1 or c?
-0.1
Let c = -2/5 - -3/20. Which is smaller: 0.14 or c?
c
Let j = 0 + 0.3. Let i = 0.4 - j. Let a = 13/3 - 71/15. Are i and a unequal?
True
Let k = -9 - -6. Let m be 2/(k*(-4)/6). Let v(t) = -t**2 + t - 1. Let c be v(m). Which is bigger: 2/15 or c?
2/15
Let a = -0.63 + 0.03. Let z = 0.2 + a. Which is smaller: z or 3?
z
Let p(c) = c**3 + 9*c**2 + 2*c + 2. Let f be p(-9). Let m be -3 + (f/(-4))/4. Let y be 0 + (-1 - 0) - 0. Is y equal to m?
False
Let y = 23.9 + -24. Is -6/7 smaller than y?
True
Let z(d) = -d**3 + d**2 - d. Let y be z(0). Suppose -2*a + 7*h - 11 = 2*h, 2*h = a + 3. Suppose k = -y + a. Is k != 8?
True
Let q = 22/17 - 472/391. Which is bigger: 0 or q?
q
Let o(y) = y + 1. Let m be o(-2). Let b be m/((-28)/10 + 3). Is -5 smaller than b?
False
Suppose -v - 2*v = -g + 19, -4*g = -5*v - 41. Let c = 0 + g. Suppose -1 = c*q + 2*y + 9, 5*y + 1 = -4*q. Is q smaller than -5?
False
Let g = 406 + -2837/7. Is 2 bigger than g?
True
Let t(v) = v**3 + 2*v**2 + 7. Let j be t(-3). Let f be (-1 - (-125)/41) + j. Are 1 and f nonequal?
True
Suppose -1 + 5 = 4*g. Which is greater: -3/14 or g?
g
Let t = 29/2 - 16. Let w(b) = -b - 8. Let k be w(-9). Let j be (k - -2) + -1 - 3. Is j at most as big as t?
False
Let p(q) = -3*q**2 + 14*q + 13. Let w be p(6). Which is smaller: w or -34/3?
-34/3
Suppose -4*y = -8*y. Let f be 2*(2 + (y - 3)). Let h = 0 + 0.1. Which is bigger: f or h?
h
Let c(t) = t**3 + t**2 + t + 5. Let v be c(-2). Are 7 and v nonequal?
True
Suppose 0 = 86*i - 87*i - 2. Is -4/5 <= i?
False
Let a be ((-8)/(-70))/(4/10). Let t = -0.39 - -18.39. Let w = t + -23. Is a != w?
True
Let i be (-2 + -2)*1/(-2). Suppose -1 = i*z + 1. Which is bigger: z or -1/4?
-1/4
Let i = -0.3 - -0.1. Let y = i - -0.1. Let a = 6 + -3. Which is smaller: y or a?
y
Suppose 0 = 4*n - 2*u + 1 + 7, -3*u = 5*n + 32. Let t be ((-2)/n)/((-3)/(-12)). Suppose 4*q + 4*d = 8, 4*d + 3 - 5 = -t*q. Is 3 at most q?
True
Let r be (-2)/7 + (-40)/(-42). Let v = 5.3 + -5. Let a = v + -0.7. Which is smaller: a or r?
a
Suppose -2*t - t = -9. Let y be 6/((-20)/(-12) - t). Do -4 and y have different values?
True
Let c(g) = -18*g**2 + 10*g + 12*g**2 + 7*g**2 + 17. Let d be c(-8). Which is greater: d or -2/7?
d
Let u(f) = -f**3 + 2*f**2 + 4*f - 4. Let o be ((-12)/(-10))/((-18)/60). Let n = o - -7. Let k be u(n). Which is smaller: 1 or k?
k
Suppose 5*s - 2*r = 2*r - 5, -r = -4*s - 4. Which is greater: -0.4 or s?
-0.4
Let o = -0.26 + 3.66. Let z = o + -3. Let l = z - 0.3. Which is smaller: l or 4/3?
l
Let r be (-9 + 2 - -2) + 0. Which is greater: r or -4?
-4
Let t be 12/(4 + 222/(-60)). Is 39 at most t?
True
Let u = -1.49 + 0.71. Let p = u + 0.8. Which is bigger: 0.2 or p?
0.2
Let l = 7.07 + -7. Which is smaller: l or -1?
-1
Let m = 6.398 + 0.002. Let q = -7 + m. Do q and 2 have the same value?
False
Let q(h) be the second derivative of -h**4/12 - h**3/2 + 3*h**2/2 + h. Let w be (-2)/((-7)/(-70) - 4/(-10)). Let d be q(w). Is d <= -1?
True
Let f = 2 + -1. Let b = -102.84 + 98. Let x = 0.16 - b. Is x <= f?
False
Let i(a) = -a**3 - a**2 + a + 4. Let d be i(0). Suppose 3*w - 4*z = z + 3, d*z = -w + 1. Are w and 2 equal?
False
Let p = 10.95 + 0.05. Is p less than -4?
False
Let u be 2/2*(-4)/(-22). Let h(i) = 2*i - 12. Let a(p) = -p**3 + 4*p**2 - p. Let q be a(3). Let r be h(q). Which is smaller: u or r?
r
Let t = -0.1 + 0.6. Let m = 0.4 - t. Which is smaller: m or 0?
m
Let k = -43 + 42. Which is smaller: k or -3?
-3
Let r(x) = -x**2 + 3*x + 5. Let w be r(4). Suppose -w = -0*i - i. Let l be 66/14 - (-5)/(-1). Which is smaller: l or i?
l
Let j = -28/3 - -202/21. Is 2/7 smaller than j?
False
Let y = -221 - -15251/69. Which is greater: 1 or y?
1
Let b = -4 + 36. Is 32 <= b?
True
Let p = -22 - -13. Is p at most -1?
True
Let l = -1359/14 - -97. Let s = l - 19/28. Is 0 <= s?
False
Let v = 0.14 + -15.14. Let z = v - -14. Are 2/3 and z equal?
False
Let c = 4 - -2. Let x be ((-8)/c)/(4/(-6)). Suppose x = -4*r - 2. Which is greater: r or -1/3?
-1/3
Let q = -0.18 - -0.08. Let y = -7 + 6.4. Which is greater: y or q?
q
Let l(s) be the third derivative of s**5/60 - 5*s**4/12 + 11*s**3/6 - s**2. Let c be l(8). Let o = c - -3. Is o smaller than -2/3?
True
Let r = -1.3 - -0.3. Let u = 8.3 - -0.7. Is r less than u?
True
Let h = 0.1 + -0.04. Let f = -1.1 + 0.7. Let v = 0.6 - f. Is v bigger than h?
True
Let q(w) = -w - 22. Let f be q(-20). Let l be 8/5 - (-2)/5. Suppose -2*k + 6*k = -4, k - 5 = -l*p. Is f < p?
True
Let j = -604.9 - -558.87. Let q = j + 45. Let z = q - -0.03. Which is smaller: -2 or z?
-2
Let n = 17 - 16.8. Is -1/3 greater than n?
False
Let f be (-36)/45*10/(-12). Is f > -1/3?
True
Let b be ((-33)/6 + 4)*4/6. Do b and 1/87 have the same value?
False
Let s = 1078/9 - 120. Let v = 8 - 15/2. Is v at least as big as s?
True
Suppose -5*c + 8 = -3*c, 0 = 2*d + 4*c - 16. Let g be (2/20*-2)/(-1). Which is bigger: g or d?
g
Let b = 115 + -116. Is b <= 58?
True
Let g = 73/2 - 31. Is g equal to 0.1?
False
Let g be ((-6)/(-231))/(1/(-86)). Let r = -34/11 - g. Which is smaller: r or 0?
r
Let g = -13 + 12. Let a be 2 - (g + 3 + 3). Is -2 not equal to a?
True
Let y be 1/(-2) + 87/(-6). Let r be 4/(-10) + y/25. Which is smaller: -2/3 or r?
r
Let i(u) be the second derivative of u**5/20 + 7*u**4/12 + 5*u**3/3 + 4*u**2 + 8*u. Let k be i(-6). Which is greater: -15 or k?
-15
Let d(p) = -p**2 + 6*p + 1. Let m be d(7). Let i = m + 20. Let o = 10 - i. Is o at most -4?
True
Let n = -3/175 - -3