Suppose -2*j + 16 - 42 = 0. Let m be ((-19)/(-133))/(1/j). Is -1 > m?
True
Let c = 0 - -2. Suppose k - 14 = c*k. Let d = 504 - 518. Is d less than or equal to k?
True
Let g = -46/37 + 76372/777. Let m = g + -97. Let x = -3441 + 3442. Which is greater: m or x?
x
Let h = 25 - 47. Let l = h - -22.1. Which is bigger: l or 1.4?
1.4
Suppose 14 = 33*d - 19. Let i be (-2)/(-8) - (-74)/(-360). Which is smaller: i or d?
i
Suppose 4*q = -0*o - 2*o + 12, 5*q + o = 15. Let b be 4 + 3 + -3 + q. Suppose 0 = -b*c + 6*c. Is c < 2/9?
True
Let a(g) = 2*g + 1. Let z be a(-1). Let r be 3/9*(122 - z). Let f = 25 - r. Is f greater than -14?
False
Let u = -0.277 + 0.367. Is u <= 8/5?
True
Suppose -g - 5*t = -20 + 8, t = g + 12. Let y be (-1)/2*g + -3. Are y and -10 non-equal?
True
Let z(x) = 2*x**2 - 8*x - 1. Let t be z(-3). Is t less than or equal to 42?
True
Let x = -36 - -35.95. Let g = x + 0.39. Which is smaller: -1 or g?
-1
Let k = -422/15 - -16448/585. Suppose 4*a = -0*a + 4. Is a less than k?
False
Let f(x) = -7*x**2 - 3*x + 5. Let i be f(3). Let q = i - -68. Is q at least as big as -2/27?
True
Suppose -3*j = -j - 2*h, 3*h = 2*j. Suppose -4*g - 4*o = 0, -2*g + 4*o = -0*o. Is j less than g?
False
Suppose 0 = 3*z + 4*v - 295, 0 = v + 4*v - 5. Let t = 967/10 - z. Let m(i) = i**2 - 6*i - 1. Let g be m(6). Which is bigger: g or t?
t
Let o be 13 - 7 - 5*1. Do 18/11 and o have different values?
True
Suppose -3*l = 5*r, -r = r - 4*l. Let p(b) = -b**2 + 2. Let a be p(0). Let n be 1*a*(-20)/(-32). Is r != n?
True
Let b(v) = -9*v + 14. Let y be b(1). Is 74/13 <= y?
False
Suppose 0 = 6*d + 21 + 3. Let r be (-4)/(-6) - (-55)/(-15). Let g be r/1 + 0/6. Is d != g?
True
Let c = -2422 + 622453/257. Which is smaller: c or 0?
c
Let m be (0 - 2)*(-3 + 6). Let c(o) = o**2 - 5*o + 8. Let a be c(6). Suppose a = 8*w - 10*w. Does w = m?
False
Let h(r) be the first derivative of r**4/24 - 3*r**3/2 + 2*r**2 + 2. Let o(c) be the second derivative of h(c). Let z be o(9). Are z and -3/20 non-equal?
True
Let y = 40047097/12682527 + -1/685542. Let n = y - -1/111. Let h = n + -173/66. Which is smaller: h or 2?
h
Let q = -0.134 + -61.866. Let g = -61.95 - q. Which is greater: 0 or g?
g
Let i = -363 + 349. Is i smaller than -147/10?
False
Let w = -1202 - -1202. Which is bigger: 3/314 or w?
3/314
Suppose 31*d = 32*d - 14. Which is smaller: d or 102/7?
d
Let o(u) = 4*u**2 + 7*u + 16. Let g be o(-4). Let v = g + -71. Which is smaller: v or -21?
-21
Let j be (-130)/(-14)*-5*22/(-25). Which is smaller: 41 or j?
j
Suppose n + 0*x = -3*x - 13, -x = n + 5. Is 1/373 bigger than n?
True
Let v(o) = o + 54*o**2 + 2 - 4*o - 55*o**2. Let k be v(-6). Let m be 8/2*(-6)/k. Is 3 greater than or equal to m?
True
Let c = 116 - 115. Let l be (c/3)/(28/(-42)). Is 2/11 at most as big as l?
False
Suppose 57*c + 20 = 61*c. Suppose 4*p + 7 + 25 = 2*s, 8 = -s - 4*p. Let u be 38/s - 1/(-4). Is c not equal to u?
False
Suppose 4*l - 427 = -3*u, -2*l + 0*l = 3*u - 209. Is l >= 109?
True
Let r = -0.397 + 44.397. Which is greater: 2 or r?
r
Let c = 7334 + -109958/15. Which is greater: c or 2?
c
Let c be (-22)/(-2) - (-51 + 58). Suppose -5*n - 18 = -4*r - 64, -n = 2*r + 2. Suppose -j = -3*j + n. Which is smaller: j or c?
j
Suppose -472 = 2*b + 2*c - 4*c, c + 929 = -4*b. Is b at most -233?
True
Let c = 28981/17 + -1705. Suppose 2*b + 18 = 3*y + y, -b + 5*y - 21 = 0. Which is greater: c or b?
c
Let j be (4/5)/((-16)/840). Let n = 46 + j. Which is bigger: 5 or n?
5
Suppose 29*o = 13*o + 336. Which is bigger: 26 or o?
26
Let v = -1.971 - -1.98. Which is bigger: -0.1 or v?
v
Let a = -3 - -2.9. Let s = 8.492 + -8.532. Which is bigger: a or s?
s
Let z(t) = -3*t - t**3 + 14 + 7*t**2 - 1 + 0*t**2 + t. Let k be z(7). Is -1/61 not equal to k?
True
Suppose -7*p = 48 - 41. Suppose 0 = j + 4*x + 5, j - x + 4 = 14. Let y = j + -4. Is y at least p?
True
Let a be 0/(0/1 - -2). Suppose -2*o + 3*k + 6 + 8 = a, o - 4*k = 17. Which is smaller: -6 or o?
-6
Let q be -5*(2 - (-16)/(-10)). Let i(s) = s**2 + 12*s. Let a be i(-8). Let g = a - -30. Is g less than q?
False
Suppose m + 8 = 5*u + 29, 3*u - 1 = 4*m. Let g be 11 + u + (-2)/2. Let i(s) = s**3 - 6*s**2 + 5*s + 1. Let l be i(g). Which is smaller: 2/21 or l?
2/21
Let o be (-12)/(-4)*(-5)/(-3). Suppose -5*r + o*c - 43 = -2*r, -r = 4*c + 3. Let h = -10 - r. Which is smaller: 4 or h?
h
Let u = -1145 - -1203. Are u and 58 equal?
True
Let d = -18.0044 + 0.2044. Does -0.1 = d?
False
Let p = -1985/78637 - -3/299. Do p and 1 have the same value?
False
Let j be -2 - (11/(-2) + -2). Which is smaller: j or 7?
j
Let s(i) = -16*i + 10. Let l be s(-4). Suppose -l = -u - 65. Is u at most 9?
True
Let w be ((-8)/(-60))/(66/12573). Suppose 3*o = 2 - 11, -4*y + o + 107 = 0. Is w equal to y?
False
Suppose -3*f = 3*w, 3*w = -0*w + 6. Let v = 1094.1 + -1093.5. Which is smaller: f or v?
f
Let w = -66 - -49. Do -17 and w have different values?
False
Suppose 0 = 5*w - 28 + 3, -5*j - 4*w = 435. Are -92 and j equal?
False
Suppose -2*x - 8 + 18 = 0. Let o be 3/x - 276/60. Is -5 >= o?
False
Let i = 0.611 - 40.611. Which is smaller: -3/5 or i?
i
Let y be 6/(-39) + 418/13. Suppose 5*t - 172 = -y. Let o = 35 - t. Is 5 bigger than o?
False
Let v = -96 - -90. Let n = v - 5. Which is smaller: -10 or n?
n
Let b(y) = -59*y**3 + 8*y**2. Let v be b(1). Is v >= -53?
True
Let z be (-7)/(-735)*15/(-10). Which is smaller: z or 0?
z
Let n = -2.34 - -2.34. Which is bigger: -97 or n?
n
Let u be (-13 - 1 - -3)*-1. Let r = u - 12. Let c(o) = o**2 - 3*o. Let j be c(2). Which is smaller: j or r?
j
Let z = -11 + 14. Let w be 4/(-12) - (2/(-6) + 0). Suppose w*d - d = -z. Which is bigger: d or 1?
d
Let h be (-600)/(-9) + 9*(-10)/(-15). Which is smaller: 74 or h?
h
Let g = -2 - -41. Let h be 3/15 - g/345. Is 1 greater than h?
True
Let s = -1115 + 768. Is 0 at most as big as s?
False
Let a = 24.8 + -24.9. Which is bigger: a or 21.9?
21.9
Let p = -3476 + 17204/5. Which is bigger: p or -34?
-34
Suppose -4*o = 3*g + 212, 0 = o + g + 64 - 11. Does -54 = o?
False
Let a = 0.9 + -0.8. Let l be -1 + -2 + 3 - -3. Suppose -2*t = t - l. Which is smaller: a or t?
a
Let n(v) = -3*v**2 + 1. Let g be n(0). Which is smaller: g or -5/11?
-5/11
Let z be ((-30)/36)/((-1)/(-6)) + 60. Is 51 >= z?
False
Let m be (1 - (-17)/(-2)) + (-3)/(-6). Let f be 6280/1540 - (-1)/m*-2. Which is smaller: f or 5?
f
Let v(y) = y**2 + 3*y - 3. Let r be v(-4). Let h = 106.3 - 114.3. Is r < h?
False
Suppose -310 = 11*n - n. Suppose 3*i + 61 = 2*o, -2*o + 3*o = -3*i + 17. Let z = n + o. Is -5 at most as big as z?
True
Let q = 3 - -5. Let f = q + -7. Let i = -2179/2900 + 1/725. Which is bigger: f or i?
f
Suppose 0 = -23*r - 11538 + 10480. Suppose 2*g + 3*g = -3*a - 239, -132 = 3*g - 2*a. Is g at most r?
True
Let n = 217/36 - 6. Which is smaller: -1/6 or n?
-1/6
Suppose 2*i = -2*w - 2*i + 38, 3 = i. Let s be (-1 - 26/(-4))*-2. Let v = w + s. Is 6/7 >= v?
False
Let k = 12/7 + -17/14. Let q = 5.3 - 2.1. Let b = 0.2 - q. Are k and b non-equal?
True
Suppose -3*q = -4*q - 2. Let d be q - ((-36)/15 - 1). Let n = 0.0314 + 0.0686. Is d <= n?
False
Let z = -8236/5 + 1642. Which is smaller: 0 or z?
z
Let a = 5.6 - 12.48. Let m = -0.12 + a. Let k = 10 + m. Is k at most as big as 3/2?
False
Let r = -16 + 28. Suppose 0 = 2*x + x + r. Let a be (-87)/(-27) + x/18. Which is smaller: 4 or a?
a
Let i = 62.4 - 11.4. Let a = i - 49. Which is greater: a or 6?
6
Suppose 154*g - 155*g - x = -104, -g + 4*x = -89. Is g bigger than 98?
True
Let s be (-304)/306 - 54/243. Let c = s - -4/3. Which is smaller: c or 0?
0
Let f = -629 + 87. Is f less than or equal to 1?
True
Let x = -514/3 - -1550/9. Do 2 and x have different values?
True
Let g be 10 + 2 + 1 + -2. Suppose -2*p - 4*f + 0*f + 20 = 0, -2*p = f - 26. Which is greater: g or p?
p
Suppose -7*o = -38 - 4. Suppose -o*h + 9*h = 0. Which is greater: h or -2/47?
h
Let t be 2227/408 + (2 - 7). Is t greater than -1?
True
Suppose j + 0 = -18. Let b = -16 - j. Is b >= 1?
True
Let l = -22915722/595 - 192529/35. Let f = l - -44184. Let g = 169 - f. Is g <= 1?
True
Let h = -18 + 15. Let b be 2/6*(h + 0). Let w(i) = 2*i**2 + 2*i + 1. Let p be w(b). Which is smaller: p or -1/6?
-1/6
Suppose -111*v - 48 = -105*v. Which is bigger: -19 or v?
v
Suppose 28 = 3*a + l, a - l - 3*l =