 o(z) = 4*z - 1. Let n be o(1). Suppose -n*m - q = 2*m. Are -1 and m non-equal?
False
Let x be 4 - 6*(-52)/(-6). Let t be (1995/x)/(-7)*6. Let n = 36 - t. Is n at most 0?
False
Let j be 1 - (4/(-6))/((-16)/18). Let p be (-15938)/28 + 2 + 3. Let m = 564 + p. Which is smaller: j or m?
m
Let v = 29293/20 + -1465. Let g = v - -1/10. Which is smaller: -1 or g?
-1
Let u = 22 - 22.03. Let c = -0.23 - u. Which is bigger: 2 or c?
2
Let l = 13 - 12. Let s = 3 - l. Let f = -5.4 - -4.4. Which is smaller: f or s?
f
Let p be (6/15)/(1/10). Suppose -2*y + 5 = p*r - 5, -4*r = 3*y - 15. Which is bigger: 6/5 or r?
6/5
Let f be 1 - -2*(-216)/16. Which is bigger: -29 or f?
f
Let v be 31*2*2/10. Suppose 0 = -9*j - 5 + 104. Which is smaller: j or v?
j
Suppose -s - 16 = -2*v - v, 23 = 5*v + 2*s. Let g = 5 - v. Suppose g*k = 2*k. Are k and 4/9 equal?
False
Let k = 0.1422 + 0.0578. Let b = -6.3 - -6. Let p = -0.4 - b. Is p <= k?
True
Let w = -73 - -71. Is w smaller than -8/3?
False
Let r = -2365 - -2369. Let o(s) = -s + 2. Let g be o(4). Let q = g + 5. Is r <= q?
False
Let g be (-228)/3486 - (-30)/420. Which is smaller: 0 or g?
0
Let u = 4 + -5. Let k be (4/(-12))/(1/(-8 + u)). Is 2 greater than k?
False
Let n(b) = -b**3 - 10*b**2 + 12*b + 14. Let t be n(-11). Suppose u - t = -0. Suppose 2 = -u*w + 5*w + 4*x, 2*x + 26 = -4*w. Is w at least as big as -9?
True
Let v(s) = s**2 - 12*s + 16. Let r be v(13). Let o = -17 + r. Do o and 10 have the same value?
False
Let k = 13 - 11. Suppose -2*d = k - 12. Suppose -3*g + d - 8 = 0. Does 2/9 = g?
False
Let u(n) = 2*n - 19. Let l be u(12). Suppose 25 - l = -5*v. Which is bigger: -3 or v?
-3
Let u be 68*4/8 + 0. Let s = u - 32. Let b be 0 + s/(-27)*6. Is b at least as big as 1?
False
Let u be 7*(-3 + 124/28). Suppose -2*c + 0*j = -3*j + 14, 3*j - u = c. Let w be 16/c - -1 - 3. Is -2 < w?
False
Let h be (-3 - 155/(-25)) + -3 + 0. Which is smaller: 0 or h?
0
Let z(a) = a**2 + 21*a - 10. Let u be z(-20). Suppose -3*n - n = 124. Is u smaller than n?
False
Let s = -320 - -338. Let f(j) = -j + 8. Let m be f(6). Suppose -a - m*a = -54. Is s at least a?
True
Let s be (-5)/(((-2)/(-6))/1). Suppose -19 + 82 - 375 = 24*y. Which is greater: y or s?
y
Let f(j) be the third derivative of j**6/120 + j**5/10 + j**4/6 - j**3/2 - j**2. Let c be f(-5). Let q = 2 - c. Which is smaller: -2/33 or q?
-2/33
Let p(v) = -v**3 + 9*v**2 - 21*v + 28. Let a be p(5). Is 13 at least as big as a?
False
Suppose 6*i = 3*i + 1650. Let k = 985 - i. Let u = k + -3057/7. Do -3 and u have the same value?
False
Let q be -5 - -5 - 24/2622. Which is bigger: 0 or q?
0
Suppose -7*x = -3*x + 6*x. Suppose x = 2*c + 7*c + 207. Are c and -23 unequal?
False
Let b = 1.92 - 2. Let f = -0.022 + -0.058. Let g = b - f. Is -0.06 at least as big as g?
False
Let a = -4 + 3.87. Let d = a + 0.23. Suppose 2*x - 9 = -3*o - 2*o, -2*x + 6 = 2*o. Which is smaller: x or d?
d
Let b = -127 + 157. Is 31 greater than or equal to b?
True
Let g = -10 - 7. Let f = -16 - g. Is f at most 0.18?
False
Let n = -203 - -89. Which is greater: n or 0.3?
0.3
Let z be ((-96)/(-80))/(194/10). Do z and -1/2 have the same value?
False
Let o(f) = -f**3 - 2*f**2 - 2*f - 3. Let l be o(-2). Do l and -14/29 have different values?
True
Let l(m) = -m**3 + 5*m**2 - 17*m + 55. Let a be l(4). Let q = 13 - 12. Which is smaller: a or q?
q
Let g = -46.1 - -49. Let a = 2.9 - g. Which is smaller: 1 or a?
a
Let r be 1 - (-5 - (-17)/3). Let x = -33.26 + -0.74. Is r at least as big as x?
True
Suppose 0 = -5*n + 2*w + 2*w + 35, -5*n - 3*w = 0. Suppose n*d = -d + 24. Is d not equal to 0.1?
True
Suppose 30*l + 8 = 28*l. Let z be 56/(-2) - l*3/(-12). Is z smaller than -30?
False
Let j be 762/14 - (-48 + 41). Which is smaller: j or 62?
j
Let m be ((-12)/(-30))/(2/170). Let a be -10*(2 - m/5). Let u be (-60)/a*(-2)/(-5). Is u less than -6?
False
Let g = -3 - -2.9. Suppose -9*k - 17 = -4*k - 2*r, 0 = 3*k + 5*r + 4. Let h = k + 18. Is h at most as big as g?
False
Let y = 1.39 - 1.56. Let k = y + -0.13. Let s = -1.2 + 1. Is s >= k?
True
Let p = 0.2111 - -1.7429. Let l = 0.046 + p. Are l and 2 unequal?
False
Let c be (2008/(-6) - 0)/2. Is c >= -166?
False
Let w = 2573/2 + -1411. Which is smaller: -124 or w?
w
Let y = 2087 + -3023. Which is greater: y or -935?
-935
Let j = -296 - -295.9. Is j > 47?
False
Let f = -3567 + 2085. Let i be f/351 - -1*(-4)/(-18). Is 0.13 greater than i?
True
Let i(y) = 0 + 0 - 11*y**2 + 12*y**2. Let x be i(2). Let f be 2/6 + x/(-9). Which is smaller: f or 0?
f
Let x = -452 - -451.3. Which is bigger: x or 5/2?
5/2
Let z be 8/(-14)*(-14)/4. Let s be (3/z - 2)*384. Let l = s - -964/5. Is 2 greater than l?
True
Suppose -18 = -2*w + 4*r - 0*r, 5*r = -w - 26. Let f = -0.66 - 37.34. Is f smaller than w?
True
Suppose 5*p = -4*d - 217, -162 = -4*d + 7*d + 3*p. Is d <= -57?
False
Let n be (-1)/(-4) - (-203)/20. Let q = -1898 + 1909. Are n and q equal?
False
Suppose -16 = -5*n + n. Let h be (-10)/n - (-2 + 1). Let b be 20/(-40) + 1/(-2). Is h != b?
True
Let n = 224.4 + -224. Are 18 and n unequal?
True
Let s(y) = -y**2 + 10*y. Let b be s(10). Suppose -2*c = -b + 6. Let h be c - ((3 - 0) + -6). Which is smaller: h or -5/4?
-5/4
Let a = 405 + -144. Does a = 262?
False
Let y be (-2)/(-51)*(-8 - 6). Let k = 2/17 - y. Is -2/5 less than or equal to k?
True
Let g = 9.92781 - -0.07219. Let f(x) = -x**2 - 4*x + 4. Let w be f(-4). Are g and w nonequal?
True
Suppose 0 = -11*o + 10*o + u + 570, -5*u + 1702 = 3*o. Which is bigger: o or 568?
o
Let n(v) = 2*v**3 + 67*v**2 - 37*v - 8. Let k be n(-34). Does k = 96?
False
Suppose 2*f + 33 = 7. Let z = -11 - f. Is z bigger than 0?
True
Suppose -7*n + 229 = 236. Let r(m) = -36 - m**3 + 3*m**2 + 36. Let u be r(3). Which is smaller: n or u?
n
Let l = 2/8229 + -1950281/32916. Is l equal to -59?
False
Let y be -1 + (8 - 8) + (3 - 1). Which is bigger: -28/135 or y?
y
Let s = 11.93 + -12.73. Is s at most -0.159?
True
Let k be (525/(-10))/(-15)*-2. Suppose 5*p = 4*v - 40, -5*v = -0*p + p + 8. Which is greater: k or p?
k
Suppose -5*i - 9*n + 27 = -5*n, -2*i - 6 = -4*n. Let z = -7 + 3. Is i less than z?
False
Let l(x) = -x**3 - 12*x**2 + 4. Let g be l(-12). Let s be (-3)/(-9)*g/(-6). Let o be (-4 + 0 - -5)/(3 + -2). Which is smaller: o or s?
s
Let w = -230 - -229. Which is smaller: w or 30/23?
w
Suppose -m + 224 = 2*d, 2*d - 4*m + 3*m - 216 = 0. Suppose -29*w - d = -24*w. Are -22 and w unequal?
False
Suppose -a + 27 - 22 = 0. Suppose 3*h - 5*w = 15, 3*w + a = 4*h - 4. Are 6 and h equal?
False
Let p(l) = -47*l. Let v be p(3). Let s be (-6)/(-10) - v/15. Let j be 1/(-2)*12/s. Is -2 at most j?
True
Let p be 11 + (-42)/18*3. Are 4 and p nonequal?
False
Suppose -1 = -s, -12 - 15 = -3*z - 3*s. Which is smaller: -4 or z?
-4
Let f(k) = k**3 - 7*k**2 - 9*k + 11. Let q be f(8). Let g be 3 + -3 + 1 + q. Suppose -g*a = a. Which is smaller: -2/5 or a?
-2/5
Let z be (-11)/42 - (3 + 34/(-12)). Suppose o = s + 3, -5*s - o + 5 = -8*s. Which is smaller: z or s?
s
Let c = 1.51 + -1.51. Which is smaller: 4/63 or c?
c
Let g be 66/(-40) + 6/(-12). Let i = g - -12/5. Let z = -1.9 - -0.9. Which is smaller: i or z?
z
Let v = 69/13 + -3769/715. Suppose 0 = 13*s - 12*s. Let c be (52 - 51)*(0 - (s + 1)). Is v at least as big as c?
True
Let c = -205 - -198. Is -2 at least as big as c?
True
Let k be 0/((-2)/(-3) + (-48)/18). Suppose k = 3*q + b + 84, -5*q - 4*b - 26 - 107 = 0. Is -30 smaller than q?
True
Suppose 8*p = -2*a + 3*p - 359, -5*a - 880 = -5*p. Is a at least as big as -177?
True
Let d be (704970/7224)/(22/24 + -1). Let t = d - -1171. Suppose 0 = -4*q - 0*q. Is q greater than or equal to t?
True
Suppose -3*z + 7*z = 3*v - 19, 5*v + 7 = -3*z. Is 45 at least as big as v?
True
Suppose 2*s + 252 = -4*s. Let r be ((-3)/2 + 0)*s/(-63). Which is smaller: r or -10/11?
r
Suppose 132*f - 122*f = 90. Do 172/17 and f have different values?
True
Let a = 537 - 538. Which is bigger: a or -32?
a
Let w = -188 + 198.19. Let v = w + -0.19. Let k = 6.7 + -6.5. Which is smaller: v or k?
k
Suppose 8 = -9*c + 11*c. Suppose 45 = c*a - 23. Suppose -a*m = -20*m. Which is bigger: m or -2/3?
m
Let o = -364 - -364. Is o at least as big as -4/135?
True
Suppose -78*n = -91*n - 169. Which is greater: -99/7 or n?
n
Let l = 18 + -21. Let z = -111 - -110.91