- 4*q. Let k be 0*(3/(-2))/(-3). Suppose 0 = 4*y - k*y - 4. Is q bigger than y?
False
Let q = -602 - -616.85. Let m = -0.15 - q. Are 1/2 and m unequal?
True
Suppose 3*q = 4*i - 27, 5*q = 2*i - 0*q - 17. Is i at most 6?
True
Let r = -2.9 + 3. Let n(q) = 9*q**2 - 19*q - 37. Let w(y) = 4*y**2 - 9*y - 18. Let c(i) = 3*n(i) - 7*w(i). Let k be c(8). Are r and k equal?
False
Let c = -507/2849 + -1/259. Let g = -55 - -35. Let u be (-2)/g*(-5)/2. Is c <= u?
False
Let n = 162 + -160. Is -0.18 equal to n?
False
Suppose -5*o - 38 = 67. Let i = o + 27. Is i greater than or equal to 5?
True
Let w = 24821 + -4244333/171. Let b = 2/19 + w. Which is greater: 0 or b?
b
Let u(p) be the second derivative of p**3/6 - p**2 - 4*p. Let y be u(2). Is -1 less than or equal to y?
True
Let y = 164 - 1150/7. Are 2.3 and y unequal?
True
Let p = -0.04 + -0.09. Let w = 0.87 - p. Which is greater: w or -0.2?
w
Let l be (-6)/(-26)*9/(-27). Which is smaller: l or 0?
l
Let b = 6 - 3. Let f(n) = n**2 - 3*n - 1. Let y be f(b). Let s = -140/3 - -47. Are y and s non-equal?
True
Let d(a) = 2*a**2 + 7*a - 4. Let g be d(8). Let i be 112/g - (-2)/(-5). Let p = -2 - -1. Which is greater: i or p?
i
Let h = -7 + 6. Is 6/67 at least h?
True
Let n(q) = -q - 2. Let w be n(-3). Let t = -0.11 - -0.01. Let b = 1.1 + t. Does w = b?
True
Let j = -7/50 - -349/350. Is 1 smaller than j?
False
Let d = -13/60 - 8/15. Let a = d + 5/4. Which is greater: -0.04 or a?
a
Let j = -4322 - -17373/4. Which is smaller: j or 22?
j
Let g = -401.97 + 400. Let o = g - 0.03. Let y = 0.1 - 0.2. Is o not equal to y?
True
Let j(q) be the second derivative of q**3 - 9*q**2 + 3*q. Let p(f) = -5*f + 18. Let r(l) = 4*j(l) + 5*p(l). Let b be r(13). Which is smaller: -0.1 or b?
-0.1
Let b be ((-424)/(-372))/(16/6). Let g = -27848/31 + 898. Let x = b - g. Does 0 = x?
False
Let b = -0.21 - -0.32. Is -1/4 smaller than b?
True
Let n be 10/(-30) + 8/(-3). Let u(r) = -1 - 3*r**3 + 2*r**2 + r**3 + 3*r**3 - 3*r. Let y be u(n). Which is greater: -2 or y?
y
Let i(s) = -s**3 + 2*s - 1. Suppose -x - 3 = -1. Let n be i(x). Suppose 0 = -3*b - 2*b + 5*w + 10, -n = -2*b + w. Which is smaller: -1 or b?
-1
Let g be 2 + -2 - 8/(-30). Let p = -2/5 - g. Is p at most -0.5?
True
Let v = 6 + 22. Suppose 3*w = w - 3*f - 13, -3*w + v = -5*f. Let i = -8 + 8. Which is smaller: i or w?
i
Let c = 0 - -0.3. Let v = 7 - 6.5. Let d = c - v. Do -2/5 and d have the same value?
False
Suppose -3*a - 24 = -5*a. Is a smaller than 11?
False
Let r be (3/(-18) + 0)*-6. Let k = 1159/7 - 165. Let h = k - 1/14. Which is greater: r or h?
r
Let k = 4 + -2. Let b = -24 - -27. Which is greater: k or b?
b
Let g be (12/10)/(-1 + (-17)/(-15)). Let l(w) = -w**2 + 3*w + 3. Let k be l(3). Let h be (12/g)/((-2)/k). Is -3 at most as big as h?
True
Let p = 58.8 + -69. Let c = p - -10. Let y = -169/9 + 19. Which is bigger: y or c?
y
Let v = 3/26 - -5/13. Which is bigger: 0 or v?
v
Let w = -9 - -13. Let g = -2.1 + -0.9. Let o = g + w. Is 2 less than o?
False
Let l = -8 + 15. Let v = -9 + l. Do v and -2 have different values?
False
Let h be -10*-1*2/(-4). Suppose 62*j + 100 + 148 = 0. Which is smaller: h or j?
h
Let z(g) = g**3 - 4*g**2 + 1. Let n be z(4). Let f be ((-1)/(-2))/1 + n. Which is greater: f or 1?
f
Let v(y) = -5*y - 26. Let b be v(-5). Is -8/7 less than or equal to b?
True
Let r = 335 - 3677/11. Which is greater: r or 2?
2
Let v = -0.11 + 0.67. Let w = 0.04 + v. Let s = w + -0.7. Which is smaller: 0 or s?
s
Let o be 3*21/3 + 1. Which is smaller: 21 or o?
21
Let d be -2 + (-3)/(-3) + -4. Suppose 5*t + 4 = -3*c, -3*c - 14 = t + 2*c. Let p be (t - 2)/((-1)/(-6)). Which is bigger: d or p?
d
Let o = -6 - -8. Suppose o*i = 4*d - 2*i + 8, 0 = -4*d - i - 3. Let m be 6/4 - 2 - d. Which is bigger: m or 1?
1
Let s = 0.5 - 0.3. Is s bigger than -2?
True
Let o be (-4)/6 + (-454)/(-6). Let q be (5/(o/(-12)))/2. Is 1 equal to q?
False
Let y be 2 + (-2 - (-4)/(-75)). Let v = 328/525 + y. Is v < 0?
False
Let n be 0*-3*(-4)/48. Is 8 less than n?
False
Let v be 2/(2*(-1)/4). Let b = 3309/247 + -181/13. Let w = -115/38 - b. Is v at least w?
False
Suppose -m + 5 = 1. Let w be (-10)/(-12) - 2/6. Which is smaller: w or m?
w
Let a be (-1 - -2) + 6 + -4. Suppose -t - 2*q = -7*q + 15, t + 7 = a*q. Is 4 greater than or equal to t?
False
Let h = 85 + -100. Which is smaller: h or -12?
h
Suppose -296 = h - 0*h. Let z = h + 2371/8. Is z equal to -1?
False
Let q(s) = s**2 + 4*s + 3. Let o be q(-4). Is o greater than 4?
False
Suppose 2*h + 0*a - 3*a - 13 = 0, 0 = -4*h - 5*a - 7. Let l(i) = -i**3 + 2*i**2 + i - 2. Let b be l(h). Let v be ((-4)/18)/((-2)/3). Which is bigger: b or v?
v
Let h = -8 + 13. Suppose 1 + h = -2*n. Is n at least as big as -3?
True
Let f be 0*(1 - -1)*7/(-28). Do f and 1/3 have different values?
True
Suppose -4*h = 4*k + 973 + 271, -4*h = -4*k + 1204. Let r = 1831/6 + h. Is r smaller than 0?
True
Let h(q) = -3*q**3 + 7*q - 5*q**3 + 6*q**3 + 7*q**2 + 1 + 3*q**3. Let g be h(-6). Suppose 0 = -4*j + 1 + 3. Which is smaller: g or j?
g
Let u = -7/18 + 19/72. Are 0.2 and u equal?
False
Let r be 2/1*45/18. Let o = 10 - r. Which is greater: o or 6?
6
Let h be (-4)/((-224)/76) + -1. Let m = -5/9 + 167/252. Let s = m - h. Is s < 1?
True
Let p be 0 + 1 - (-5)/(-15). Is 0 less than p?
True
Suppose 2*f + 11 = -5*y, 0*y - 19 = -2*f + 5*y. Is f less than 2?
False
Suppose -l = -5*l. Let q = -7/12 + 5/6. Which is greater: l or q?
q
Suppose 4 = 3*o + 16. Let j(h) = -11*h**2 - h - 7. Let g(s) = -5*s**2 - 3. Let l(k) = -9*g(k) + 4*j(k). Let f be l(3). Is f greater than o?
False
Let r be 10/8 + (-5)/(-20). Which is bigger: r or 1?
r
Let m(a) = -a**2 - 5*a. Let c be m(-4). Let h be (-4)/(-16) + (-109)/c. Let t be (-4)/75*h/(-18). Which is greater: t or -1?
t
Let m(l) = -l + 2. Let k be m(10). Does k = -8?
True
Let w be 12/(-50)*15/(-6). Let b be 0 + 1 + 5/(-10). Which is smaller: w or b?
b
Let d = 41/66 + -5/11. Is d not equal to -2?
True
Let a = 0.6 + 1.6. Let f = 0.4 - -0.4. Let o = f + a. Is -2 at most o?
True
Let b = 3 - 3.1. Let i = b - -0.1. Does i = 0.01?
False
Let q be -5 - (3 - (-1069)/(-134)). Is q smaller than 0?
True
Let x = -21428/9 - -2388. Which is smaller: x or 8?
x
Suppose -5*r + m = -0*m - 14, -2*r + 4*m = -2. Suppose -8*p - t - 1 = -5*p, -2*p - r*t = -4. Let k = 4 - 5. Is k < p?
False
Suppose -2*o + 11*o - 117 = 0. Is 11 at least as big as o?
False
Let d(v) = 2*v**2 - 16*v + 9. Let y be d(8). Let q be (-3)/4 - (-4)/(-16). Which is smaller: q or y?
q
Let o be (-4)/(-3)*(-9)/(-6). Let g be (2 - 0 - o) + 2. Is 1 >= g?
False
Suppose -28*r - 2 = -30*r. Let n be 1 - 2/36 - 1. Is r != n?
True
Suppose -28 = -5*p - 8. Let v be (-2)/3*12/p. Let s be -3 + 0/(v - 1). Which is bigger: s or 0.1?
0.1
Let l be (2 + 3)*(-4)/330. Are 0.1 and l equal?
False
Let v(x) = x**3 + 6*x**2 + 3*x + 8. Let f(l) = -2*l**2 + 2. Let w be f(2). Let j be v(w). Is 0.1 greater than or equal to j?
True
Let j = -7.8 + 8.8. Is -89 greater than or equal to j?
False
Suppose -5*j + 0*x + 40 = -2*x, -4*j - 3*x = -32. Suppose 0 = -16*i + 139 - 59. Is i > j?
False
Let l be 2/((-26)/(-18) - 1). Is l at most 6?
True
Let m = -8 + 5. Let r = m + 9. Let d = r + -8. Is d <= 0?
True
Let l(s) = -2*s + 3. Let m be l(-3). Is 8 at most as big as m?
True
Let v = 211/670 - 1/67. Which is greater: 1 or v?
1
Suppose -2*j + 4 = -4*j. Let y = -237/154 + 3/77. Are y and j nonequal?
True
Suppose -p - 4*b + 10 = 0, 0*b = -p + 2*b + 22. Is p at most 17?
False
Let b be ((-1)/2)/(1/(-2)). Let f be b/(-1)*(-1 - -2). Let x be (4 - f)*(-2)/(-15). Which is greater: x or 1/3?
x
Let q = -3 - -5. Let d(i) = -i**2 + 2*i + 2. Let m be d(0). Is m < q?
False
Let v be (((-9)/(-3))/(-120))/(7/14). Suppose 11 = r + 4*c, 3*r - 3 = -2*c - 0. Which is bigger: v or r?
v
Let v(a) = -a**2 + 2. Let h be v(4). Let m be (-3)/(-3) + 10/h. Suppose -n = -5*n. Which is smaller: m or n?
n
Let m = -77 - -387/5. Let h(t) = -t**3 + 7*t**2 - 5*t - 7. Let p be h(6). Is p less than m?
True
Let j be (-8)/16*3/(9/(-6)). Let n = -7771/17 + 457. Are n and j equal?
False
Let b be 152/20 + 2/5. Suppose -3*a + u + 22 - b = 0, -a - 4*u = -22. Suppose 7*g - 2*g = 35. Which is bigger: a or g?
g
Suppose h + 5 = 2. Suppose -q + 20 + 2 = 4*c, 0 = 5*q - 2*c. Suppose q = -2*v - 4. Is v greater than