rue
Let x = -28.66 - -29. Let t = 0.06 + x. Are t and 2/47 nonequal?
True
Suppose 2*x - 48 = -4*r, 4*x - 35 - 25 = r. Let p = -10 + x. Let y be (-93)/(-15) + (-8)/(-10). Which is greater: y or p?
y
Let k = -53 + 15. Let a = -39 - k. Do a and 4 have the same value?
False
Let a = -1.115 - 0.005. Let x = a + 1.1. Let t = 0.98 - x. Is t less than 0?
False
Let h = 1.61 - 0.31. Let s = 78 - 74.7. Let v = h - s. Which is bigger: v or 1/2?
1/2
Let d = 735 + -5839/8. Which is smaller: 6 or d?
d
Suppose 115 = q - f, 3*q - 127 = 2*q + 4*f. Let h = 159 - q. Do 48 and h have the same value?
True
Let w = 931 + -932. Which is smaller: -7/340 or w?
w
Let p = 1.16 - 1.06. Which is bigger: -44 or p?
p
Let l = 66 + -38. Suppose 3*s = s - l. Which is smaller: s or -15?
-15
Let j = 13.5 - 2.5. Let l = 11 - j. Let m = l + 0. Which is smaller: -7 or m?
-7
Suppose -3*s = -6*o - s + 876, 3*o - 4*s - 447 = 0. Is 144 > o?
False
Let q = 1214/135 + -9. Let d(c) = -c**2 + 4*c + 20. Let x be d(7). Is q at least x?
True
Let l = -1 + -1. Let z be (0/12)/(4/2). Suppose z = -7*j + 2*j - 5. Which is greater: j or l?
j
Let y = -0.3 + -1.3. Let w = 7.2 + -7.3. Which is greater: y or w?
w
Let n = -14 + 20. Let x be 3/n - (-2)/8. Are x and 10 unequal?
True
Let o = -0.78 + 1.08. Let i = 0.35 - o. Which is greater: i or 2/7?
2/7
Suppose -26 = 4*j - 3*q - 122, -2*q = 4*j - 76. Let l = j - 18. Suppose -l*a - 60 = a. Is -14 bigger than a?
True
Suppose d + 2*d = -54. Suppose -18*l + 117 = 171. Is d <= l?
True
Suppose 0 = -5*c - 5*u + 75, 2*c - 8 = 4*u + 4. Let j be ((-16)/c)/(-2)*3. Suppose -3*z + y = j*z - 1, -10 = -2*z - 2*y. Is z at least as big as -1/7?
True
Suppose -838 = 4*f - i - 248, -5*f = 2*i + 731. Is f > -1?
False
Let v(q) be the third derivative of q**6/120 - q**5/20 - q**4/24 + 2*q**3/3 - q**2. Let l be 57/21 - (-3 + 38/14). Let c be v(l). Is c less than or equal to 0?
False
Suppose 0 = 6*r - 0 - 36. Let p be r/(-14) + 42/(-9) + 5. Which is greater: p or 0?
0
Suppose -50 = -5*i - 16*z + 12*z, 2*i - 37 = -5*z. Let b = 4 - -2. Is i less than b?
False
Let w(v) = -v**3 - 5*v**2 - v - 2. Let i be w(-4). Suppose 2*z - z - 3*b = -4, -2*z = 3*b + 35. Is z at most i?
False
Let r(f) = 3*f - 23. Let y be r(0). Which is smaller: y or 2?
y
Let j be (44/(-28))/(9/(-441)). Is 77 <= j?
True
Let h = -31.83 + 31. Let a = 0.8 + h. Let x be (-45 - -55) + (-156)/15. Is x != a?
True
Let t be ((-26)/6)/(1/3). Let i be 2*(26/4 - 2). Let x(c) = -c - 5. Let u be x(i). Which is bigger: u or t?
t
Let t be ((-4)/(-898))/((-48)/(-6711)). Let n = -1/449 - t. Are n and -1 unequal?
True
Let a be (-8 - -1 - -4)/(-1). Suppose -18 = -3*t + a. Which is greater: 8 or t?
8
Let u = 204 - 288. Let y = -78 - u. Which is bigger: y or 2?
y
Suppose 0 = -w - 4*w. Let k be 344/252 + 0 - 8/36. Which is smaller: k or w?
w
Suppose -5*v - 21 = 79. Let l be (-424)/v*2 - -4. Let g = 10894/235 - l. Is g != 0?
True
Suppose 5*r = -57 + 7. Let p be r/(-4)*16/20. Suppose -1 = p*a + 13. Which is bigger: a or -6?
-6
Let r be 78/(-176) - 2760/(-4416). Let c = 0.05 + -0.1. Is r < c?
False
Let c be ((-21)/(-15) - 2)*(-41 + -9). Which is smaller: c or 6?
6
Suppose 2 = -2*z + 4*z. Let t = -4271/19 - -225. Is z less than t?
False
Let h = 5 + -7. Let g be (-380)/2*h/4. Let z = g - 949/10. Are 1 and z nonequal?
True
Suppose -4*l - 4*u - 2 = -7*u, -3*l + 1 = -u. Let o(q) = q + 2*q - 2 + 1 - q**2. Let w be o(l). Which is smaller: 2 or w?
w
Let l(k) = -k**2 + 2*k + 7. Let s be l(3). Let q(v) = -4*v + 10. Let z be q(s). Let b = 6 + z. Which is bigger: 2/19 or b?
2/19
Let g(y) be the third derivative of -y**5/30 + y**4/12 + 7*y**2. Let q be g(2). Suppose 21 = -5*u + 3*l, 5*u - 2*l + 5 = -7*l. Is q at most as big as u?
True
Let x(j) = -j. Let y be x(-3). Suppose 0 = -2*k - 2*m - 2, -11 = 5*m + 14. Is y at most k?
True
Suppose 4*q - 3*v - 8 = 0, 3 + 1 = 2*q - 5*v. Suppose -q*y + 3 = -y. Is y less than or equal to 11/6?
False
Let z = 4 + -4. Suppose -2*q = -n - 1, 8 + 7 = 5*n. Which is greater: z or q?
q
Let m = -56 + 125. Let j = -62 + m. Is 5 > j?
False
Let r(s) = -3*s - 12. Let t be r(-9). Let c be 6/t + 12/(-5). Let d be (-2 - (-3 - -1))/c. Which is smaller: d or 2/15?
d
Let r(b) = b**2 + 13*b - 24. Let u be r(-15). Suppose 0 = -u*i - 3 - 3. Suppose -3*w = w + 4. Is w > i?
False
Let b = -112.3 - -85. Let t = -688 + 715. Let z = b + t. Is z greater than or equal to 0.1?
False
Let v(x) = 2*x + 48. Let o be v(-14). Let l be ((-145)/o + 8)/(42/(-32)). Which is smaller: -2 or l?
-2
Let q = 45 + -39. Let d be (-1)/(-6) + 77/q. Which is smaller: d or 12?
12
Let p(g) = g**2 + 3*g - 1. Let u be p(-4). Suppose u*l - 5*l = 0. Let v be (-13 - -13) + (-2)/(-6). Are v and l unequal?
True
Let l be (9/(-3))/(-9)*2. Let d(a) be the third derivative of a**5/60 + a**3/6 - a**2. Let s be d(2). Which is smaller: s or l?
l
Let j = -47 + 64. Suppose -3*y - 54 = -105. Is y bigger than j?
False
Suppose -3*k - 93 = 3*n, 0 = 4*k - 5*k + 5*n - 7. Let p be (4/3)/((-18)/k). Suppose p*l + 3*l = 25. Is l smaller than 6?
True
Let v = -6 - -14. Let i be ((-24)/(-4))/(9/(-6)). Let x be i - ((-3 - -5) + -4). Which is smaller: v or x?
x
Suppose 3*m - 117 = 111. Does 78 = m?
False
Suppose 2*o = 150 + 190. Which is bigger: o or 171?
171
Let x(i) = i**2 - 12*i - 1. Let y be x(12). Let u be y/(-3) + (-55)/(-33). Is u less than -24?
False
Let z = 1063/14 - 76. Let l = 1.1 - 1.1. Which is bigger: z or l?
l
Let w be 1 + (1 + 20 - 3). Let i = 9 - w. Let l be (-4)/i + 172/20. Are l and 8 non-equal?
True
Suppose -50*q = -39*q + 2794. Is -253 bigger than q?
True
Let j = -49.06 + 49. Let k = -0.24 + j. Is k at least as big as -9?
True
Let l(v) = -v**2 - 13*v - 7. Let x be l(-13). Let g = -27 - 0. Let b = g - -19. Is x != b?
True
Let x(g) = -548*g**2 + 19*g + 7. Let u be x(-2). Which is smaller: -2224 or u?
-2224
Suppose 4*p = o - 18, 5 = -o + 2*p + 23. Let q = 3301 + -3283. Is o > q?
False
Let h = 45 - 107. Let j = -59.1 - h. Let v = j + 1.1. Which is smaller: v or -0.1?
-0.1
Let j = -14.05 + 9.95. Is j bigger than -2/19?
False
Let c(w) = w**2 + 4*w - 2. Let s be c(-5). Let i be -4 + s/7*20. Let a = 271/21 - i. Is a != 9?
True
Suppose -14*l = -960 + 162. Which is smaller: 58 or l?
l
Let t(a) = -5*a + 151. Let r be t(30). Let d(l) = -l**3 - 3*l**2 - l. Let q be d(-1). Is q greater than r?
False
Suppose -5*a + 0*c + 16 = 3*c, 3*a = -3*c + 6. Let q be (a + -3)/(-2) - -13. Let l be (0 - 5)*(-2 - 21/35). Which is smaller: q or l?
q
Let p be 858/140 - (2 - 12/5). Let o = p + -45/7. Let m(w) = -w**2 - 6*w + 6. Let z be m(-7). Is z smaller than o?
True
Let o be (-26)/(-3) + 0 + 0. Suppose 12*a = 13*a + 9. Let g be -9*(-5)/a*-2. Is g not equal to o?
True
Let y = -83.045 + 0.045. Let u = 82.99 + y. Which is smaller: u or 0.05?
u
Let w = 19 + -73/4. Suppose i = -4*o + 21, o + 4*i - 15 = 9. Let x = o - 3. Which is smaller: w or x?
w
Let l = -23112/99887 + -10/1693. Is -1 <= l?
True
Let v(l) = l**2 + l - 7. Let d(u) = -u - 1. Let x be d(2). Let k be v(x). Let a = -92/3 - -31. Which is smaller: k or a?
k
Suppose 3*o - 109 = 35. Let s be ((-1)/1 + -2)*o/(-684). Is 1 <= s?
False
Let i = -342 + 444. Is 102 bigger than i?
False
Let z be (-1 - (-3 + 5)) + 327/4. Which is bigger: z or 80?
80
Let t(i) = 26*i + 2. Let n(d) = -d**2 + 10*d - 1. Let r be n(10). Let j be t(r). Are -23 and j equal?
False
Let z be 26/4*(1 + 1). Let b(u) be the first derivative of -u**4/4 + 14*u**3/3 - 13*u**2/2 + 2*u + 355. Let d be b(z). Which is greater: 3 or d?
3
Let z = 570 + -568. Is 50/57 smaller than z?
True
Let q be (-2)/2 + (-14227)/(-14268). Which is greater: 0 or q?
0
Suppose -4*h = 3*g + 2*g - 1527, 0 = -5*g + 5*h + 1545. Suppose 243 = 4*j - 5*v, -2*v = 5*j - 5*v - g. Which is smaller: j or 63?
j
Suppose 3*h = -10 + 13. Let a = -489/35 - -14. Are h and a equal?
False
Suppose 5*z - 2*s = -118, 5*z + 136 = -4*s + 12. Let k = z + 25. Is -3/10 smaller than k?
True
Suppose -3*x = -4*x - 9. Let p = -5 + -5. Which is bigger: x or p?
x
Let y = -396/25 + 31/2. Is y > 0?
False
Let o = -109 + 107. Let n(z) = -z**3 - 3*z**2 - z + 1. Let l be n(o). Is -11/13 equal to l?
False
Let y be 4/(-12)*3*-14. Let m = y - 14. Is -1/8 less than m?
True
Let l = -14.5 + 50.5. Is l > -1/3?
True
Let u = 0.062 - 0.262. Let l be (-1 + -1)*(-12)/30. Ar