 1174 non-equal?
True
Let l be (0/(-2))/(2 - 0). Suppose -4*i = -5*r + 134, 3*r - 4*r + 2 = l. Let p(u) = 2*u - 80. Let v be p(24). Is i at most v?
False
Let o = -923/18411 - -15/323. Which is greater: o or -1?
o
Let s = 612/1975 + -94/79. Let r = -69/50 - s. Is -33 at least as big as r?
False
Suppose 0 = 48*l - 19 + 787. Which is bigger: l or -55?
l
Let q(t) = -2*t**2 + 3*t - 2. Let u be q(2). Let n be -2*4/u + (3 - 6). Let b be ((-426)/(-86) - 4) + -1. Is b greater than n?
True
Let g be 13 - -3 - (-5 - -8). Let i = 16 + -5. Suppose 2*j + g - 3 = 2*v, 3*v - i = 2*j. Is v < 2/39?
False
Let k = 672 + -1176. Let p = 279 + k. Which is smaller: -227 or p?
-227
Let v = 34048 - 202837/6. Let r = v - 241. Let l be (-2)/6*3/(-4). Which is bigger: r or l?
r
Let o(s) = -876*s + 1382. Let z be o(3). Is z >= -1246?
True
Let f = 6233.0222 + -6234. Let j = -0.0222 + f. Is -2.59 at most as big as j?
True
Let g = 216.205814 - -0.794686. Let j = 217 - g. Is j bigger than -0.1?
True
Let a(d) be the second derivative of -7*d**3/6 + 15*d**2/2 - 3*d - 27. Let b be a(2). Is b bigger than -2/81?
True
Let l(g) = 2*g**2 + 4*g + 2. Let q be l(-1). Let t = -9366 - -945956/101. Do q and t have different values?
True
Suppose 0 = -2*v - 4*y + 1566, y - 1421 - 1718 = -4*v. Is 789 <= v?
False
Let h = 1015 + -949. Suppose -a = -3*a. Which is greater: h or a?
h
Suppose 1561716 = -203*k - 649*k. Which is smaller: k or -1834?
-1834
Let q = 4/96167 - -8846312/25291921. Which is bigger: q or 1?
1
Let d = -92 - 4. Let i = d - -95. Which is smaller: i or -5/7?
i
Let z be 1848/(-48)*(-7)/(-147)*(-1496)/(-10). Which is bigger: -275 or z?
z
Let v(q) = q**2 + 3*q - 2. Let h = -30 - -32. Let w be -4 + (0 - 1) + h. Let l be v(w). Is l != -11/6?
True
Let b(l) = 7*l - 29. Let s be b(12). Suppose 3*r - 475 = -s. Let a be 4/6 + r/(-30). Is a at most -4?
True
Suppose 194*f - 1909 = -3286 - 8517. Is f at most as big as -44?
True
Let l = 105573/96286 - -1/3106. Is 1 > l?
False
Let d(s) = s**3 + 14*s**2 - s - 12. Let g be d(-14). Suppose -5*w + 20 = 2*u + g*u, 4*w - 5 = -u. Which is smaller: w or -1/8?
-1/8
Let l be 0/(-1) - (-2)/(-8). Let a = 1489/1564 - 16/17. Is a > l?
True
Let c = 119/212 - -316477/636. Which is smaller: c or 499?
c
Let x = 0.47 + -0.249. Let b = x + 10.779. Do -1/3 and b have different values?
True
Let a = -0.041 - 47.959. Let t = -48.044 - a. Let z = t + 0.044. Is z at least -1/2?
True
Let d = -847.44 + 631.7. Let b = d - -213. Is b equal to 1?
False
Let d = 1385 + -1385.753. Let n = 0.053 + d. Which is greater: -1/6 or n?
-1/6
Let b = -244 - -1222/5. Let j = -0.7 + -0.11. Let x = -2.29 + j. Which is smaller: x or b?
x
Let x(s) = s**3 - 7*s**2 - 25*s - 26. Let g be x(10). Let h be ((-10)/g)/(-8 - -4). Which is smaller: h or 1?
h
Let f = -28177/11 + 2559. Let h = 46 - 22. Suppose 27*r - h*r = -9. Is r not equal to f?
True
Suppose 0 = -2607*h + 2581*h - 4654. Is -179 smaller than h?
False
Let z(i) = 27*i - 2 - 3*i - 118*i. Let y be z(1). Let o = y + 98. Do o and 36/11 have different values?
True
Let a = 116 + -115. Let s be ((-4)/(-12))/(8/48). Is s at most as big as a?
False
Let v = -10 + 11. Let h be (-2)/318*2*(-13)/((-182)/(-378)). Which is smaller: h or v?
h
Let x be (-5259)/(-2)*(-51 + 96063/1881). Which is greater: 0.1 or x?
x
Let i(g) = 20*g**2 - 7*g**2 + 1 - 3*g - g**3 + 13*g - 4*g**2. Let b be i(7). Is b not equal to 169?
False
Let s(w) = -5*w**2 - 32*w - 35. Let h be s(-5). Let n be 6182/(-4116) - (-51)/34. Which is bigger: h or n?
h
Let p(x) = 16*x**3 - x**2 - x + 1. Let q = 18 + -17. Let z be p(q). Let m be 15/z - 1*3. Which is smaller: -1/2 or m?
m
Let v = 5.503 + 71.717. Let g = v + -1.22. Let l = 74 - g. Is 3 less than or equal to l?
False
Let k(n) = -n - 5*n + 61 - 8*n + 20*n. Let t be k(-11). Let i be ((-2)/2 - 0)*2. Which is smaller: t or i?
t
Let s = 4264.2 - 4265.2. Is s != 3967?
True
Let j = 15 + 9. Suppose -2*h + 2*f = j, 4*h - 5*f - 32 = -84. Let v(w) = -2*w - 16. Let b be v(h). Which is smaller: b or -14?
-14
Suppose -13*s + 2647 = -5881. Which is bigger: 658 or s?
658
Let y be -15*(28/6 + -4). Let r = -214.3 + 214.1. Is r equal to y?
False
Suppose -29 = -3*d - 4*b, 5*b + 10 + 85 = 5*d. Let j(y) = -y**3 - 5*y**2 - 5*y - 2. Let m be j(-5). Let p = -6 + m. Which is bigger: d or p?
p
Let n = 11084 - 11016. Suppose -5*f = 211 + 209. Let j be 4/f - 1/(-3). Are n and j nonequal?
True
Let x be 170*(-60)/1404 + (-1)/((-4)/24). Do x and -1 have the same value?
False
Let v = 0.04623 - 1.04623. Is 2577 >= v?
True
Suppose -137*z - 644 = 726. Is z > -366/41?
False
Suppose -j = -374 + 104. Let w be (j/65 - 4) + 684/(-2418). Suppose -3*o = -0*o - 3. Do w and o have the same value?
False
Let t = 38 - 23. Suppose -5*k + 6 = -2*z, 5*z = -t*k + 11*k - 81. Let i be (-1 + z)*(-1)/2. Is 23/3 < i?
False
Let w = -0.32 - -0.02. Let z = -7519 + 7519.5. Do z and w have different values?
True
Suppose 0 = -375*n + 170*n + 187*n. Is n equal to -91/88?
False
Let y be (72/(-126))/((-1)/(-70)*4). Is y less than or equal to 28?
True
Let t = -1305 - -2382. Which is greater: -0.2 or t?
t
Let o(b) = b**2 - b. Let h be o(3). Suppose -4*z = -h*z + 28. Suppose -5*u - 41 = z. Which is greater: 0.2 or u?
0.2
Let x = -2577 + 2705. Which is smaller: x or -2?
-2
Let a be (-4 + (-825)/(-35))/(152/(-14) - -11). Let s = 2 - 3. Is a < s?
False
Let i(s) = -s**3 - 12*s**2 - 5*s + 4. Suppose 0 = -5*j - h + 412, 54 = j - h - 26. Let q = j + -94. Let z be i(q). Which is greater: 65 or z?
65
Let p(z) = -z**2 - 5*z + 11. Let h be p(-7). Let k be -2 - (-3 + 2)*(-3)/h. Let u be (17 + -16)*(19 - k). Is 20 > u?
False
Let v = 392 - 404. Let m(k) = -k**3 - 15*k**2 - 37*k - 16. Let a be m(v). Is -20/7 > a?
True
Let u = 14288 - 14687. Is u smaller than -3?
True
Let o = -0.7 + 0.9. Let b = -0.826 - -1.19. Let f = b - 1.064. Which is bigger: f or o?
o
Let o = 214 - 110. Let a = 104 - o. Let m be a/(-3 + 5 + -3). Is 58 greater than m?
True
Let z be (-2 - 0)/((-2)/15). Suppose i + 0*i = -5*b + z, 5*i - 29 = -2*b. Suppose 20 = 5*v, -i*v = 2*n - 3 - 13. Are 2 and n unequal?
True
Let i(q) = -4*q + 9. Let a(u) = 20*u - 48. Let b(c) = -2*a(c) - 11*i(c). Let z be b(0). Which is greater: z or 2?
2
Let y = 31577 - 31634.982. Let g = y - 0.018. Let w = -58 - g. Do 21 and w have different values?
True
Let g(m) = -m**3 - 51*m**2 + 88*m + 849. Let x be g(-52). Are x and -1016 non-equal?
True
Let k(o) = -116*o - 478. Let q be k(0). Which is smaller: -481 or q?
-481
Let i be ((-24)/930)/(6/(-10) - 2). Which is smaller: -2/5 or i?
-2/5
Let g be 2/(1*-5*6/(-45)). Suppose 0 = 2*u - g*f, 5*u = -2*f - 3 + 22. Suppose h = 4*s - 2 + 46, -u*s - 39 = -h. Which is greater: 23 or h?
h
Suppose 26 = -9*a + 8*a. Let c be 2 + a/6 - (-2)/(-3). Let u = -13619/4040 + -2/505. Which is smaller: u or c?
u
Let m be (-5)/2*148/(-10). Suppose m*q = 15*q. Do q and 3/10 have different values?
True
Let j = -14611 + 9160. Does -5451 = j?
True
Let p be ((-1)/2)/(1/2). Suppose 24*m - 18 = 30*m. Let c be (m - 84/(-64)) + 2. Which is greater: c or p?
c
Suppose 6 = 4*l + 5*j + 66, -4*l - 20 = -5*j. Let a be (-172)/(-40) + (-2)/l. Which is greater: 6 or a?
6
Suppose -7*x + 453 = 159. Suppose 0 = -9*v + 3*v + 252. Is v > x?
False
Let k(f) = -12 - 9*f**2 + f**3 - f + 0 + 2. Let r be k(9). Let g = r - -13. Is -5 != g?
True
Suppose 681*g - 803*g = -15128. Which is smaller: g or 63?
63
Let v(r) = -r**3 - 2*r**2 + 4*r + 16. Let i be v(-2). Let s be (8/(-5))/(i/20). Suppose -2*h - 3*h = 30. Is s <= h?
False
Let l(s) be the second derivative of -s**4/12 + s**2/2 - 2*s + 9. Let p be l(1). Which is smaller: -2.5 or p?
-2.5
Let h = -27759.466 - -27995.7. Let t = h + -236. Let j = t + -0.034. Is 9/4 != j?
True
Suppose 4*d = -2*y - 60, 5*y - 7*d + 150 = -3*d. Do -23 and y have the same value?
False
Let u = -7658.1 - -7662. Let a = 11/2 - 53/10. Which is smaller: a or u?
a
Let s = -1/43658 + 18074447/1528030. Is 13 smaller than s?
False
Let x = 7092987/19 - 373416. Let g be (-2820)/(-28) + (-2)/(-7). Let s = g + x. Do 0 and s have the same value?
False
Let h = -142 - -146. Which is greater: h or -1215?
h
Suppose 0 = 2*b + 11*q + 2644, -2*b + 9*q = 5*q + 2524. Is -1294 at most as big as b?
True
Let q(a) = -a + 53. Let p be q(-12). Suppose -59 = 4*i + p. Which is bigger: -32 