an n?
False
Let u(w) = -2 - 5*w + 3*w + 0 - 5. Let o be u(-5). Suppose -4*z = -l + o*l - 12, z = 3*l - 4. Is 0 equal to l?
False
Let z be (-3 + (-20)/(-8))*-1*8. Let v be (8/(-5))/(z/20). Let c(d) = -6*d**2 + 2*d + 1. Let u be c(-1). Are u and v equal?
False
Let g be ((-32)/10 - -3)*37. Let u be (-4)/(8/6) - 3. Is g <= u?
True
Let z = 25/4796 + 1040401/1443596. Let b = 23/43 - 45/86. Let p = b - z. Is p != -2?
True
Let s be (-2)/16 + 12/(576/(-16458)). Is s bigger than -343?
False
Suppose 3*g - 123 = 3*x, -3*g + 31 = 4*x - 120. Let k = -69 + g. Is -24 greater than k?
False
Let u = 42 + -28. Let b = -0.1 - 13.8. Let f = b + u. Is 2 greater than or equal to f?
True
Let z be -1 + (-4)/(16/(-12)) + 8. Suppose z*w = 14*w + 192. Is w smaller than -48?
False
Let d = 28.7 - 28.6. Let p = -47 + 142/3. Do d and p have the same value?
False
Let d = 69070/5473 - 164/13. Is d > 0?
True
Let v be (3/(-12) - 11605/60)*3. Do v and -580 have the same value?
False
Suppose -17 = -4*h + 3. Suppose 3*w - h = -11. Let q be (36/30)/(w/(-10)). Which is smaller: 7 or q?
q
Let v(q) = -20*q + 153. Let c be v(9). Which is smaller: -18 or c?
c
Let a be (-2373)/(-28)*436/2070. Let n = a - 107/6. Is 0 at most as big as n?
True
Let z(j) = 11*j**2 - 7*j + 4. Let n(c) = 21*c**2 - 13*c + 7. Let g(f) = -6*n(f) + 11*z(f). Let a be g(-1). Which is bigger: -6 or a?
a
Let w = 145.77 - 145.4. Which is greater: -1/3 or w?
w
Let b = 347789/596 - 23/596. Which is bigger: 585 or b?
585
Suppose -4*v - 4*v = -0*v. Suppose 0*q = -2*q + 6. Suppose -b + 8 = q*z, 8*z = -b + 4*z + 10. Is v less than b?
True
Let p be 0/4 + 165/9. Let o = p + -19. Which is bigger: -17 or o?
o
Let q = 34 + 14. Are q and 45 unequal?
True
Let l = -59 + 164. Suppose 3*j = 3*u - 9, 3*u = -1 + 10. Suppose 5*w + l = -j*w - 3*i, 3*i - 57 = 4*w. Which is smaller: w or 0?
w
Let g be 2/(-5) - 81/135. Which is bigger: 3/226 or g?
3/226
Let a = 27 - 89. Let o = 69 + a. Which is greater: o or 2?
o
Let x(q) = q**3 - 4*q**2 + 2*q + 1. Let j be x(2). Let t = 45.2 + -45. Which is bigger: t or j?
t
Let s = -21 - -34. Suppose 0 = -j + 2*y + s, j = y + 3*y + 17. Suppose o - j = 5*d, -o + 0 - 1 = 5*d. Is o at most as big as -1?
False
Let t = -588 + 668. Which is bigger: -0.5 or t?
t
Let z be (-2)/(-8)*28/15. Is z less than 1?
True
Let i = 224 - 220. Let a = 1 - 3. Let f be (a - -3)/(i/36). Does f = 9?
True
Let z(f) = f - 5. Let b be z(-5). Let g be ((-44)/b)/(((-7)/(-1))/35). Which is smaller: g or 21?
21
Let y be (-9)/(-216)*8 + 26/(-24). Which is smaller: -2 or y?
-2
Let r = 14 - 56. Let y = 41 + r. Which is greater: y or 2/89?
2/89
Let n(f) be the third derivative of -f**6/120 - 3*f**5/20 - 5*f**4/8 - 7*f**3/6 + 8*f**2. Let g be n(-7). Let c = 502 + -5526/11. Is c <= g?
True
Let v(u) = u**2 - 21*u + 6. Let a be v(17). Is a less than or equal to -60?
True
Let s = -0.08 + -0.22. Let n = 0.3 + s. Let v = n + 1. Is v less than 0.16?
False
Suppose 3*w = 7*w - 16. Suppose w*d = -0*j - 2*j + 24, -d = -5*j + 5. Let o = 0.5 - -1.5. Are d and o equal?
False
Let j be 54/405*(-72)/(-5). Which is smaller: 4 or j?
j
Suppose 11*g = -229 - 761. Let w = g - -448/5. Is 0.24 > w?
True
Let b(c) = -5*c**2 + 17*c - 12. Let u be b(6). Which is bigger: -91 or u?
u
Suppose -137*p + 2167 = -126*p. Which is smaller: 196 or p?
196
Let d = -1324 + 83416/63. Is 0 at least d?
False
Let n be (-16011)/36*2/(-78). Let h = -148/13 + n. Do h and 1 have the same value?
False
Let a(n) = n**3 + 5*n**2 + 3*n. Let r be a(-3). Let t be r + (-18)/3 + 3. Suppose 0 = -h + t - 2. Which is smaller: h or 5?
h
Let z(t) = 4*t**3. Let u be z(1). Suppose -u*q - 47 = 261. Let a = -1464/19 - q. Does 1 = a?
False
Let j be (0 - -3) + (-192)/(-6). Suppose 6 = 4*q - m - 1, j = 5*q + 4*m. Suppose 0 = 4*w - q*w. Is -2 bigger than w?
False
Let m be 21/(-18)*8/14*426. Do -285 and m have the same value?
False
Let l(a) = a**2 + 5*a - 2. Let d be l(-6). Suppose 6*b = d*b. Is b at least as big as 1?
False
Let k = -31 - -20. Let s = k - -13. Which is greater: 6 or s?
6
Let l be (-3*(-3)/(-3))/(12/(-4)). Which is bigger: l or 4/59?
l
Let z = 1403/26432 + -1/448. Are z and -1 equal?
False
Let o = -91099/876 + -56/219. Let x = 104 + o. Suppose c + 2*c + 3 = 0. Is c <= x?
True
Let l = 102 + -76. Suppose 27 + 27 = 2*p. Is p != l?
True
Let r be (1666/(-344) + -2)/(-1 + 3). Let u = r - -27/8. Does u = 1?
False
Let i be -2 - (23/(-1))/((-6)/18). Let t = -61 - i. Which is smaller: 11 or t?
t
Let k = -999/39406 - 1/1037. Is -5 bigger than k?
False
Let j(c) = c + 3. Let d be j(-3). Let z = 2.06 + -0.26. Let t = 1.8 - z. Do d and t have the same value?
True
Let s = -4/1545 + -77222/10815. Which is smaller: -8 or s?
-8
Suppose 2*c - c + 2 = -g, 2*g - 4*c - 20 = 0. Suppose g*y = -f - 2*f + 13, -5*y - 13 = f. Is f at least as big as 7?
True
Let x = -0.0612 - 11.3588. Let m = -11.8 - x. Which is smaller: m or 1?
m
Let m be (-4)/2 - (2 - -10). Let c = -85 + 124. Let t = c + -41. Is m at most t?
True
Suppose 4*o + 0*o - 8 = -4*r, 20 = -5*o + 5*r. Is o less than 8/115?
True
Let k(u) = 5*u**3 - 3*u**2 - 2*u + 2. Let a be k(-2). Is -47 > a?
False
Let m be (2386/(-6) - -2)/(-1 - 68). Let u = m + -52/9. Is -1 at least u?
False
Let y = 204.2198 + -0.2198. Do 2 and y have different values?
True
Suppose -10*r + 11 + 9 = 0. Suppose 0 = 4*j - 4*u - 36, -j + u = -u - 13. Suppose 23 = -4*c + c - j*v, -r*c - 4*v = 14. Are -11 and c equal?
True
Suppose a - 34 + 0 = v, -4*v + 44 = 2*a. Let g be -5*8/(-50) - (-2)/10. Let f be g + a/2 + 0. Is f < 15?
False
Let x(n) = -n - 7. Let m be (-255)/(-10) - 2/(-4). Suppose 4*d + m = -2. Let b be x(d). Which is smaller: -1/29 or b?
-1/29
Let v(z) = 5*z**2 + 36. Let d be v(7). Which is bigger: 1398/5 or d?
d
Let o = -1107 + 21027/19. Which is smaller: o or -3?
-3
Let i = 85 + -84.893. Which is smaller: i or -1?
-1
Suppose -20*y = -19*y - 3*n + 47, 311 = -5*y - 4*n. Let h(k) = 3*k**3 + k**2 - 4*k + 1. Let l be h(-3). Is l < y?
False
Let p be (4/(-6))/((-6)/(-111)). Let j = -65 + 53. Let h = j - p. Is h at least -1?
True
Let w be (9/6)/(5/(-10)). Let p(d) = -d - 4. Let y be p(w). Let x = -30 + 29. Is y greater than or equal to x?
True
Let v be 60 + (3 + -4)*0. Let x = v - 60. Which is greater: x or -1/2?
x
Let w(s) = -s + 4. Let i be w(2). Suppose -1 = i*o - 3*t + 2*t, -4*o + 2 = 2*t. Is -2/21 bigger than o?
False
Let g = 329.1 + -329. Which is smaller: 204 or g?
g
Suppose 6*k = -4598 - 550. Let l be 55804/(-65) - 2/5. Let y = k - l. Which is smaller: 0 or y?
0
Suppose u + 4*u - 25 = 0. Suppose 4*z + 14 = -2*s, u*z - 5*s - 28 + 8 = 0. Suppose 6*f - f = 5*m, -2*f + 5*m = -3. Is f > z?
False
Let i be (-2)/(-17) + 4260/204. Suppose i = -5*d + 6. Let w be (-62)/(-70) + d/5. Which is greater: -1 or w?
w
Let t(z) = -z - 8. Let w be t(-8). Let c be (2336/140)/(-4)*-45. Let h = c - 188. Is w >= h?
True
Let a(s) be the second derivative of s**5/20 - 7*s**4/12 + s**3 + 3*s**2 - 3*s. Let v be a(6). Let h = v + -4. Is 4 smaller than h?
False
Let n = 331 - 450. Is n not equal to -2?
True
Let n(f) = -f - 17. Let m be n(-7). Let b = -6 - m. Suppose -b = a + 3*a. Which is bigger: a or -2/5?
-2/5
Let p(l) = l**3 + 5*l**2 - l - 11. Let r be p(-4). Which is bigger: r or 2.2?
r
Let d = 552 - 551.76. Let l = 1 - 0.96. Let r = d - l. Is r less than 6?
True
Let y = 499 + -500. Does y = -13/110?
False
Suppose 3*a + 0*a + 159 = 0. Suppose 2*z + 73 = -2*o - 35, -3*z + o = 150. Is a != z?
True
Let y be (1019244/(-8) + -3)*(-6)/291. Let p = -2627 + y. Which is greater: p or 0?
0
Suppose -17 = -3*r - 4*q + 3*q, -3*q + 1 = -r. Suppose 2 = 4*y - 5*o - 2, -3*y + 3 = r*o. Let g = -2 - y. Is -3 < g?
False
Let t = -410 + 413. Which is bigger: 0.042 or t?
t
Let r be ((-482)/(-33))/(10/(-645)). Let g = r + 941. Which is smaller: g or 0?
g
Suppose 5*q - 6 = 9. Let v(p) = 12 - 10 + 8*p + 8 - q*p. Let w be v(-7). Is -25 less than w?
False
Let c be 3/(15/2)*30/6. Let t be -2*(c + 52/(-8)). Is t less than 8?
False
Suppose -6 = 4*p - 7*d, -p + 5*d + 1 = -4. Which is bigger: p or -3?
-3
Suppose -2*i = -2*v - 14, -5*i - 6*v = -4*v - 7. Do i and 5/2 have the same value?
False
Let t(c) = -c**2 + 7*c - 8. Let f be t(4). Suppose -f*a + 4 = -16. Which is greater: 4 or a?
a
Let z = -4 - -9. Let x(w) = 8*w + 93. Let t be x(-11). Do z and t h