han or equal to n?
False
Let r be (-3 + 6)*-1 - -12. Suppose 0 = -4*v - 11 - r. Is v not equal to -5?
False
Let p be 0/2 - (-1 - 1*50). Which is bigger: p or 47?
p
Let k = -1.018 + -1.982. Which is greater: k or -4?
k
Let r = -1.25 + -10.85. Let l = r - -2.1. Let q = 10.1 + l. Do 2 and q have different values?
True
Suppose 472*h = 479*h + 5600. Is h greater than or equal to -799?
False
Suppose 3257 = 5*a + 3*d, -a - d = -0*d - 653. Let k = -99097380/152741 - -33/8039. Let o = a + k. Which is smaller: -1 or o?
-1
Suppose -9*b = 50 - 185. Suppose -231 = 12*z - b*z. Is 77 > z?
False
Let j be 2/4 - (-1020)/24. Suppose 3*u = u - r + 90, 0 = 4*u - 3*r - 170. Which is bigger: u or j?
u
Let u = 0 - -2.2. Let j = 2.33 - u. Let p = 0.11 - j. Is 0 != p?
True
Let y = -23.3 + 24. Let b = y + 22.3. Let n = -22 + b. Is 3 <= n?
False
Suppose -3*i + d + 4 = -6, 4*i = -2*d + 10. Let q(m) = -4*m - 2*m + 7*m - 2 - i. Let x be q(5). Is 2/13 less than x?
False
Let p be -100 + -2 + -3 + -3. Is -111 greater than p?
False
Let j = 23 - 22. Let m be -5 + j - 126/(-32). Let w = -1.95 - 0.05. Is m less than or equal to w?
False
Let b = -75 + 77. Suppose 2*v + 3*w = b*w - 83, 43 = -v + w. Do -42 and v have the same value?
True
Let h = 20 - 29. Let j = h - 11. Is j < -18?
True
Let y be (36/14)/(18/4116*-7). Is y less than or equal to -79?
True
Let b = 168 - 171. Let i = -0.3 - 0.1. Let w = i + 0.6. Is w < b?
False
Suppose -8*o + 9*o - 5 = 0. Suppose o*i + 5 = 0, 0 = -4*g - 4*i - 1 - 19. Is g < 0?
True
Let v(g) = 13*g + 2. Let o be v(4). Let q be (-8)/o*12/8. Which is smaller: -1 or q?
-1
Let d be 12/78 + 6/(-39). Let g be (d + 0)/(8 - 9). Suppose g = -2*u + 3*u. Is u greater than or equal to -1/2?
True
Let w = -46 - -66. Let k = 9 + 9. Is w bigger than k?
True
Let z be 1 + (-78)/(-99)*-3. Suppose 449*l = 464*l. Which is bigger: l or z?
l
Suppose -15*o - 38 = 67. Let t = 1.2 - 0.2. Is t <= o?
False
Let i = 55 + -38. Let d = i + -14. Is 8/5 smaller than d?
True
Suppose 3*s + 8 = -22. Let o be ((-234)/(-54))/((-2)/6). Which is smaller: o or s?
o
Let o be ((-7)/2)/(6/2304). Let r = -520 - o. Let b = -7388/9 + r. Is b less than 2?
False
Suppose 0 = 15*h - 16*h - 5. Is -61/14 <= h?
False
Let t be ((-2)/(-6))/((-8)/24). Let b = 4 - 1. Suppose -5*i = -6*i - b. Which is smaller: i or t?
i
Let w be (-2)/4*(-20)/(-10). Let x be (-2)/(-6) + w/(-3)*-1. Is 2 < x?
False
Let q(l) = l**2 + 15*l + 12. Let y be q(-14). Let z be (3 - 5116/1608)*y. Let g = -2/67 + z. Is 1 greater than g?
True
Let z = -21 + 26. Let q(y) = -2*y + 7. Let o be q(-7). Suppose 4*c + 3 + o = 4*l, 0 = -2*l + z*c + 27. Which is bigger: l or 2?
2
Let d(a) = -2*a**3 + 24*a**2 - 2*a + 18. Let f be d(12). Which is smaller: 16 or f?
f
Let a(o) = -2*o**3 + 7*o**2 - 7*o + 15. Let d be a(3). Is d equal to 39?
False
Suppose -13 = -4*j + 2*x - x, -j - 11 = -5*x. Let u be 45/6 + 2*(-1)/j. Is 0 bigger than u?
False
Let r be 7/((-70)/6) + 6740/650 + -10. Suppose 2*o + 0 = 2. Is r <= o?
True
Let g = -0.075 - -1.185. Let j = g + -0.11. Let d = -1.1 + j. Is d bigger than 4/3?
False
Let w be ((-2)/14)/(240/252). Let t = 5 + 0. Suppose 0*d + t*d = 0. Is w greater than d?
False
Let c = 404 + 390. Does c = 796?
False
Let u be 120/(-200) - 146/(-10). Are u and 10 equal?
False
Let f = 99.96 - 97. Let n = f + 0.04. Is n at least as big as 8?
False
Let v(l) be the first derivative of -l**4/12 - 7*l**3/6 - 5*l**2/2 - 2*l + 4. Let h(g) be the first derivative of v(g). Let n be h(-5). Is 5 bigger than n?
False
Suppose 0 = -0*b - 2*b + 6. Let g(s) = 2*s**2 - 12*s. Suppose 34 = 7*x - 8. Let a be g(x). Is a at least as big as b?
False
Let f = -0.1788 - -0.2788. Which is greater: f or 15.9?
15.9
Suppose -289*u + 10 = -291*u. Let x(s) = -s + 7. Let m be x(6). Let y = -3 + m. Are u and y nonequal?
True
Let p = 2 + 1. Let v be (p/(-2))/(6/56). Let u = v - -13. Which is smaller: 1/4 or u?
u
Suppose -2*r + 2*h + 0 - 2 = 0, 5*r + 33 = -2*h. Let y be 11/(-10) + (-6)/(r - 1). Is y less than or equal to -0.1?
True
Let b be 7/((-98)/52) - (-2)/(-7). Let q be 162/120 + 3/b. Which is bigger: 4 or q?
4
Suppose 475*p + 96 = 467*p. Which is smaller: p or -14?
-14
Let p = 0.3 - 0. Suppose 2*r = -2*w + 2, 0 = 3*w - 7*w + 3*r - 3. Let c be (w + 3)*3/(-36). Are c and p unequal?
True
Let o(j) = 2*j**2 - 2*j - 3. Let d be o(5). Let n(i) = 17*i + 17*i - 9 - d*i. Let s be n(-3). Does 2/5 = s?
False
Let y be (-3)/2 + (-4)/(-8). Let k = 58 + 5. Let p = k - 61. Which is smaller: y or p?
y
Let x(o) = -o**2 + 13*o - 4. Let r(s) = -s**2 + 14*s - 5. Let n(a) = 3*r(a) - 4*x(a). Let z be n(10). Is z < 2/233?
False
Let k = -1 + 1. Let q(r) = r**3 - 6*r**2 - 4*r - 6. Let v be q(5). Let i = v - -51. Is i at most as big as k?
True
Let k(n) be the first derivative of -n**3/3 + 9*n**2 - 13*n + 31. Let t be ((-17)/(-4))/((-3)/(-12)). Let g be k(t). Do 4 and g have the same value?
True
Let x(z) = -3*z**2 - 15*z + 109. Let w be x(-9). Let s be ((-3)/(-135))/((-52)/10). Which is greater: s or w?
w
Let v be (3/(-6))/(1/24). Let b(y) = -3*y**3 - 24*y**2 + 34*y + 52. Let h be b(-9). Which is bigger: h or v?
h
Let u = -15 - -7. Suppose 0 = -6*h - 47 + 5. Is h at least u?
True
Let y(b) = 2*b - 2. Let s = -13 - -32. Suppose 4*v = 3*x + s, v - 4*x = 5*v + 16. Let d be y(v). Which is smaller: d or 10?
d
Suppose 168*t - 307 = 5*s + 172*t, t - 65 = s. Which is bigger: -51 or s?
-51
Suppose -4*p = -20*z + 24*z - 488, 2*z = 2*p - 252. Which is smaller: p or 121?
121
Suppose 51 = 11*s - 59. Which is greater: 8 or s?
s
Let t be (-1)/(66/(-21) + 3). Let n be 2/t - (-183)/(-567). Which is greater: 0 or n?
0
Let s = -1072 - -1878. Let x be 4/(-6) - s/6. Let w be 174/x + (-8)/(-20). Which is bigger: w or -2?
w
Suppose 29 = s - 5*l, -s - l = -5*l - 24. Suppose -2*c = g + 2*c + 15, 3*g + s*c = -61. Is -21 != g?
True
Suppose 0 = -c - 3*u - 10 - 2, 0 = -2*c - u - 14. Suppose 0 = 12*o - 9*o - 15. Suppose 2 + o = -m. Is m equal to c?
False
Let a(t) = 2*t**2 - 32*t - 8. Let h be a(13). Let x = -84 - h. Let n = -1 + 2. Which is greater: x or n?
x
Let d = -85429/742 + 806/7. Are d and -1 equal?
False
Let f be (-2556)/852*(-10)/6. Let d be 2/(-4) + 21/(-2). Which is smaller: f or d?
d
Let j be 7*(-2 + (-100)/(-35)). Suppose 0 = -i - i + j. Let h be 72/16*(-8)/i. Is -12 at most h?
True
Suppose -5*d = 3*w - 216, 3*d + d = -4*w + 280. Is 67 less than w?
False
Let x be (-4)/(-18) + -4 + 62/18. Are x and -54 equal?
False
Let x be -1*((2 - 2)/(-5))/1. Is 1/208 at least x?
True
Suppose -7 = p - 13. Let x be (-91)/39 + 2/p. Are -3 and x equal?
False
Let x be 3 + (-9*2 - -2). Let q = -13 - x. Let a be (0/4)/(q - -2). Is a bigger than 2/33?
False
Suppose 0 = 2*u - 5*u - 2*c - 1427, 4*u - 4*c = -1876. Let n = 16449158 + -904729707/55. Let h = n - u. Is h at most as big as 0?
True
Suppose -r = -y + 3*r + 35, 0 = -2*y - 2*r + 50. Let a be (1 - 21/y)/(1/(-16)). Which is smaller: -5 or a?
-5
Let c be 2/(-8) - (-3 - (-30639)/(-28)). Which is smaller: c or 1098?
c
Let h = -11/34 - 54/17. Let f be 9/(-90) + 1/10. Which is greater: f or h?
f
Let y be ((-108)/189)/((-18)/(-21)). Is y at most as big as -35/29?
False
Let a be (-9)/12 + (-5)/20 + 1. Which is bigger: a or -13/19?
a
Let r = 80 + -722/9. Let o be (-1 - -1) + (3 - 3). Suppose o = -s - 2*s. Which is greater: s or r?
s
Let l be 13 + -11 + -3 + 2 + 21. Let w be l/121 + (-53)/(-11). Is w at least -4?
True
Let g(l) = 3*l - 10. Let v be g(5). Suppose -i + 1 + 0 = -f, 3 = v*f - 3*i. Suppose z + 23 = -f*p - 12, 23 = -2*p - z. Which is greater: p or -11?
-11
Let p be ((-4)/(-5))/((-14)/(-175)). Let f = -14 + p. Let u be 0*(-1 + 3)/f. Which is smaller: -1/4 or u?
-1/4
Suppose d - 45 = 2*q, -3*d + 4*q = 5*q - 128. Is 46 > d?
True
Let h be 1090/4*(-2)/(-10). Let t = -985/18 + h. Is t bigger than 0.07?
False
Let y be (-3700)/40 + (-1)/2. Which is smaller: -462/5 or y?
y
Let h = 209/159 - 52/53. Let l be 7*2 + -1 + -1. Are l and h equal?
False
Suppose 7*k - 12 = 4*k. Suppose -5*l + 5*t = -10*l - 15, 12 = k*l - 4*t. Suppose l = 5*x - 3*x + 16. Which is smaller: x or -7?
x
Let j = -5/76 - -1177/15580. Which is smaller: 1 or j?
j
Let k = -36.082 + 36. Let y = 1083 + -1083. Does y = k?
False
Let y = -76.2 + 78. Is y greater than 0.01?
True
Let u(l) = 2*l + 19. Let k be u(-10). Let f = k - -7