 3373/8. Let f = 2334 - 30359/13. Let u = f + n. Is u not equal to -4?
True
Suppose 145 = -3*q + 4*y, 3*y + 20 - 5 = 0. Is -56 bigger than q?
False
Let j = 10 - 5. Suppose 5*p = -s - s, -j*s = p + 23. Let r be p*3/36*-2. Is r not equal to 0?
True
Let c = 5 + -3. Let p(f) be the second derivative of -f**4/12 - 3*f**3/2 + 2*f**2 + f. Let g be p(-9). Is c bigger than g?
False
Suppose -2*o - 10 = o + l, -o + 2*l = 8. Let n be 4 - o/(-4) - 38. Is -34 at most as big as n?
False
Let h(z) = z**3 + 3*z**2 - 8*z + 11. Let n be h(-5). Which is smaller: n or 2/853?
2/853
Let x = -31 - -33. Suppose 0 = -h - 5*f + 5, 5*h - x = 2*h - 2*f. Let s(l) = -2*l - 6. Let k be s(-4). Is k not equal to h?
True
Let q be 1/(16/(-248))*38/1. Is -590 at least as big as q?
False
Suppose 123 = -4*t - 1. Let x = 32 + t. Which is bigger: x or 3?
3
Let p = 5168/5 + -1030. Let q be 4 + 1 + 1*-2. Which is smaller: q or p?
q
Let h(q) = q**3 + q - 6. Let g be h(0). Let u be 5*3/g - -1. Let k = -966.9 + 967. Is u less than k?
True
Let t be 4 + 0*3/(-6). Suppose -52 = -4*h + 3*i, 5*h - 17 - 48 = t*i. Let o = 14 - h. Which is smaller: o or 14/9?
o
Let g = 7.9 + -8. Let t = -0.39 + 0.99. Which is smaller: t or g?
g
Suppose 0 = -u - u + 4. Suppose 3*m = -2*m. Let b be u*((-3)/6 + m). Which is bigger: 7/4 or b?
7/4
Let g = -8 - 0. Let r = g - -8. Let b = -171 - -170.9. Which is greater: b or r?
r
Let t(o) = 2*o**2 + 10*o + 6. Let m be t(-5). Let l = m + -8. Let c = 1/24 - 17/24. Is c >= l?
True
Let z = -2 + 4. Suppose 0 = d - z*d + 1. Let q be (2*2/4)/d. Is q equal to -2/13?
False
Let o = 12 + -4. Let y be (7/(-3) - (-55)/33)*-12 - 1. Which is greater: o or y?
o
Let t be (-2)/4 - 12/(-8). Let q be 4/(-1) + -1 + t. Let f be (-8)/5 + (q - -6). Is f greater than or equal to 0.7?
False
Let p = -43 + 60. Which is smaller: p or -0.1?
-0.1
Let a = 55 - 154. Is -1 at least as big as a?
True
Let a = 93 - 273. Let k be (-4)/18 + -166*1/a. Which is smaller: k or 2?
k
Let h be 4/10 - (-1848)/(-6195). Which is bigger: h or -1/4?
h
Suppose 3*u - 457 + 103 = 0. Let t = u + -1300/11. Suppose 4*a = 5*i - 11, a = i - 2 - 0. Is t greater than or equal to a?
False
Let j be (5/(30/12))/(-4)*2. Which is smaller: -2/233 or j?
j
Let n = 7 - 6. Let f be 893/(-3015) - n/(-5). Let i = 1/67 - f. Is i bigger than -1?
True
Let j = 97 + -862/9. Are 2 and j equal?
False
Let f(n) = -9*n**3 - 7*n**2 - 4*n. Let o be f(4). Let c = o + 4898/7. Is c less than -3?
True
Let d = -331 - -991/3. Which is bigger: 35 or d?
35
Suppose -25*d = -21*d + 280. Are d and -67 equal?
False
Let l = 3 + 7. Suppose n - 23 = -4*k + 2, -n - l = -3*k. Let y be 7 + 1 - (-12)/(-3). Which is smaller: n or y?
y
Let x be 96/(-10)*40/(-12). Which is bigger: 36 or x?
36
Let s be (57/(-266))/((-12)/14). Which is smaller: 2/5 or s?
s
Let t = 0.1 - -1.9. Let d(p) = 3*p**2 - 41*p + 126. Let u be d(5). Which is bigger: u or t?
t
Suppose 5*y - 490 = 5*m, -16*y - 5*m = -13*y - 270. Are 93 and y equal?
False
Let k(r) = r**3 + 4*r**2 + 5*r + 2. Let b be k(-3). Let o be b + 0 - 1270/(-315). Which is bigger: o or -1?
o
Let m(f) = -f**3 - 11*f**2 - 10*f + 5. Let n be m(-10). Let x be -6 + 4 + -2 + n. Is x less than -2/11?
False
Let k(l) = -47*l**2 + l - 1. Let b be k(1). Let c be 8/36 - b/(-9). Let s(q) = -q**3 + 6*q**2 - 5*q - 6. Let u be s(5). Do c and u have the same value?
False
Let o = 154 + -155. Let u = 3380/19 - 178. Which is smaller: u or o?
o
Suppose 5*p - 19 = 4*h, 4*h - 13 = p - h. Suppose -12 = -4*u + p*u. Is -3 at least as big as u?
True
Let r be (-5)/6*2*(-36)/10. Suppose -r = 2*s + 6. Which is smaller: s or -5?
s
Suppose 40*w = 7*w + 132. Is w > -63?
True
Suppose -3*t + 3*m - 36 = 0, 2*t = -3*t - 2*m - 81. Let h be 2 + 0 - 68/(8 - 4). Is t less than h?
False
Let h = -10.9 - -11. Is 36.4 >= h?
True
Suppose -1 - 7 = -4*r. Suppose 0 = -2*j, 35 = 3*g + r*g - 2*j. Do 39/7 and g have the same value?
False
Let j be (-3 + 4 - 0)/(-1) + -9. Let f be -1 - j/8 - (-14)/(-68). Do 0 and f have different values?
True
Let x(o) = 41*o**3 + 2*o**2 + 11*o - 6. Let i be x(-3). Is -1128 at least as big as i?
True
Suppose -33*h + 252 = -32*h. Suppose -9*t + 0*t - h = 0. Which is smaller: -27 or t?
t
Let r be (-10 - (-9 + 2))/(6/(-70)). Suppose 0*k + 2*k - 6 = -2*q, 4*k = -2*q + 14. Let y be r/15 - (q + 3). Are 0 and y non-equal?
True
Suppose -t - 3*v = -5*t + 39, 5*t - 55 = 5*v. Suppose l = -4*f + 43, -4*f + l - t*l + 39 = 0. Which is smaller: 4 or f?
4
Let r be (-1 + 0)/((-3)/(-18)). Let x(z) = z**2 + 10*z + 12. Let i be x(r). Let w be ((-4)/(-3))/((-8)/i). Is w != 2?
False
Let b be -2 + 10/3 + 8/12. Let j = 0.1 - -0.3. Let y = j - 0. Which is bigger: y or b?
b
Let z(n) = -14*n - 71. Let a be z(-5). Which is bigger: -2/809 or a?
-2/809
Let z = -3/7 - -5/7. Which is smaller: 92 or z?
z
Let f(j) = -5*j - 46. Let t(p) = p + 9. Let u(w) = 4*f(w) + 22*t(w). Let g be u(-6). Let o be g/(-1) - (-4 + 3). Is o less than or equal to 4/13?
True
Let x = 497/80 - -35/16. Let y = x - 539/60. Which is greater: y or 0?
0
Let j(m) = -3*m**3 + 3*m**2 + 5*m - 5. Let w be j(2). Let c(v) = v**2 + 7*v + 5. Let h be c(w). Which is bigger: h or 7/2?
h
Let i = 0.0122 + -0.0122. Which is bigger: i or -412?
i
Suppose -2*h + 4*g = 0, 5*h - g = 12 + 15. Let p = h + -2. Suppose -p*u - 32 - 8 = 0. Is -9 at most u?
False
Let t(o) = o**2 - 5*o - 3. Let v be t(6). Which is smaller: v or 0?
0
Suppose 4*x - 9*x = -4*h + 93, 4*x + h = -87. Suppose 47*q - 51*q = 84. Is q not equal to x?
False
Let u(z) = z**2 - 7*z + 58. Let m be u(7). Is m equal to 341/6?
False
Suppose -2 = -4*r + 2*o - 12, -3*o - 30 = 3*r. Let v be (-1 - -2)/((-1)/r). Suppose -2*q + q - 14 = -5*a, -v*a = 5*q + 10. Are 4 and a unequal?
True
Let b = 69 + -85. Let w be -1*2 - (7 - b). Let y be (-154)/6 - (-1)/(-3). Is y less than or equal to w?
True
Suppose 4*c - 5*n = -67, -2*n = c + 15 + 5. Which is bigger: -21 or c?
c
Let v = -1 - 0. Let u be ((-3)/(-6))/(1/8). Suppose -2*b + p - u = 0, 0 = b + 2*p + 2*p + 11. Which is greater: b or v?
v
Let i be 3/(-1) - 9/(-3). Suppose 0 = -i*d - d. Let c be d/(1/(3/3)). Is c less than -1/13?
False
Let b = -5923/3 + 1957. Are -16 and b equal?
False
Let z be (2 - 2) + -3 - -6. Suppose z*i = 9*i - 132. Which is bigger: 21 or i?
i
Let g(z) be the first derivative of -z**4/4 - 8*z**3/3 - z**2/2 - 11*z + 2. Let b be g(-8). Is b > -11/6?
False
Let w be ((-15)/12)/((-1)/(-36)). Let m = -3 + 3. Which is bigger: w or m?
m
Let y be (-4)/16 - (-26)/36*1. Let w = 2/9 - y. Is w > -12?
True
Let z(h) = 4*h**2 + h + 7. Let t be z(-2). Let i be (-9)/t + (-62)/(-14). Which is smaller: i or -11?
-11
Let r be (-65)/31 - (-4)/2. Suppose 5*a = i + 9, 4*i + a + 43 = 49. Which is smaller: r or i?
r
Suppose -3 = 2*f - 2*j + 1, -5*f + 26 = 4*j. Suppose x + 1 = t, 4*x + f*t = -0*t + 2. Which is greater: x or 1/6?
1/6
Suppose -37 = -h + 4*y - 4, -27 = -4*h - 5*y. Suppose 0*x = -4*d - x + 61, 5*x = 4*d - 55. Is d at most h?
False
Suppose -14*m - 4 = 10. Which is smaller: m or -6/11?
m
Let c(y) = 3*y**2 - 7*y + 11. Let f(r) = r**2 + 1. Let j(k) = -c(k) + 2*f(k). Let b be j(7). Let i = b + 9. Do i and 6/11 have the same value?
False
Let t = 2040 - 2039.6. Is 4/209 greater than t?
False
Let q = 0.49 - -21.51. Let h = q + -20. Which is bigger: 7 or h?
7
Let z = -7 - -9. Suppose -171 = -d + 5*d - 3*h, 0 = z*d + h + 73. Let s be (-50)/13 + 6/d. Which is smaller: s or -5?
-5
Let k = -1088 + 1093. Which is smaller: k or -74?
-74
Let q be ((-2)/(-3))/(5/(45/6)). Let o be (-2)/8 - (0 + -1). Which is smaller: q or o?
o
Let p = 40 - 34. Suppose 4*w - 5*o - 36 = 0, -2*w - p + 38 = o. Is 1 greater than or equal to w?
False
Suppose 2*j + 74 = -o, 2*j + 91 = -3*o + 21. Let a = -38 - j. Which is smaller: -2/5 or a?
-2/5
Let p(v) = -19*v - 76. Let w be p(-13). Is w > 169?
True
Let y(n) = n + 4. Let t be y(8). Suppose q - 8 = -t. Let u be -2 + (7 - (0 - q)). Which is smaller: u or 1/28?
1/28
Let l be (-66 + 3)/(-9) + 326/20. Is 22 at most l?
True
Suppose -5*z + 33 = -4*m - 18, -3*m + 2*z - 33 = 0. Which is smaller: m or -12?
-12
Let g = 203 - 132. Is 73 at most as big as g?
False
Let y(c) = -4*c**2 + c + 1. Let f be y(1). Let x be (-6)/f - (2 - 3). Suppose -15 = -v - 4*v. Which is greater: v or x?
x
Let j = -122.285 + 122. Let u = 7.165 + j. Let 