+ 6 = -5*d. Do -0.09 and d have different values?
True
Let d be 0/(((-8)/10)/(4/10)). Suppose g - 5 = -2. Suppose d = -7*c + g*c. Is 1/3 at most c?
False
Let t(u) = -5*u**3 - 2*u**2 + u - 1. Suppose 6*j = 9*j - 6. Suppose -3*f - j + 5 = 0. Let v be t(f). Which is smaller: v or 0?
v
Let b = 2/119 + 353/238. Let t = 1.8 + -0.5. Let m = -1.2 + t. Is m greater than or equal to b?
False
Let t(g) = g**3 - 2*g**2 - 6*g + 1. Let r be t(4). Let b = 8 - 0. Is r < b?
False
Let o(t) = -t - 1. Let n be o(3). Let i(b) = b**3 + 4*b**2 - b - 7. Let r be i(n). Which is greater: r or -5/2?
-5/2
Let b be (41 - 41) + -6*1. Which is smaller: -44/9 or b?
b
Suppose 0 = 4*z - 702 - 642. Which is smaller: 335 or z?
335
Let j be 74/66 + 2*(-1)/2. Are j and 1 equal?
False
Suppose -9*v = -10*v + 6*v. Suppose v = -4*t + t. Is t != 2/33?
True
Let y = 6.504 - 6.5. Let j = y + 0.096. Which is smaller: -21/11 or j?
-21/11
Let x(j) = 2*j**2 - 18*j + 18. Let m be x(6). Is m bigger than 0.03?
False
Let r = -409 + 539. Is 132 at least r?
True
Suppose r = 4*s + s + 143, 3*r - 149 = 5*s. Let k be s/21 - (-2)/(-3). Is -2 <= k?
True
Let l = 15 - 13. Suppose 6*i + 4 = l*i. Which is smaller: i or -5/7?
i
Let k = 34143169/24 + -1422311. Let o = 321 - k. Are o and 0 equal?
False
Suppose 0 = 2*d - 3*d. Let t = -1160 + 1156.8. Which is bigger: t or d?
d
Suppose 5*g - 3*a - 145 = 0, -3*g + 145 - 58 = 5*a. Which is smaller: -2 or g?
-2
Let d = -32.3 - 44.7. Is 2 >= d?
True
Let l = 155 + -4649/30. Is l at least -1?
True
Let v = -34 - -74. Let r = v - 44. Which is smaller: 0.06 or r?
r
Suppose 0 = -8*q + 5*q + 120. Let s = q - 40. Does s = -1/23?
False
Suppose n = -3*z + 4, 0 = -3*n - 0*z - 5*z + 24. Is n greater than 10?
True
Let s = -4 + 10. Suppose 5*z - 10 = 5*k, 16 = z + 14. Is k equal to s?
False
Let m be ((-312)/(-32) + -8)*(-396)/8. Is m bigger than -88?
True
Suppose 0 = -m - 2 + 6. Suppose m*l = 6*l. Is l less than -12?
False
Let t be (-370)/(-855) - (-6)/(-27). Let u be (-2 - (-2 + 1))*-1. Let j = 0 - u. Which is smaller: t or j?
j
Suppose 0 = 12*p + 423 - 471. Let r be (0/2)/(2/2). Suppose o - 4 = -p*c - 6, r = -2*o - c + 3. Is 2 not equal to o?
False
Let c(k) = 2*k**2 - 3*k - 2. Let s be c(-1). Is 3 > s?
False
Let s be 1 + 4 + (2 - 6). Let j be (-1)/(-1)*((-4 - -2) + 3). Is j >= s?
True
Let i = 2846 + -14177/5. Which is smaller: -1 or i?
-1
Let w(g) = 74*g - 126. Let i be w(-4). Is i at most as big as -423?
False
Suppose 22 = -2*x + 4*w + 4, -x - 3*w + 1 = 0. Suppose -8 = 4*t - z + 11, -t + z - 7 = 0. Let d = x - t. Which is greater: d or -3/5?
-3/5
Let d(v) = 11*v + 330. Let a be d(-30). Which is greater: a or 11/9?
11/9
Suppose -4*j + 4 + 12 = 0. Suppose 0 = -j*q + 76 - 12. Suppose 0 = 9*f - 5*f + q. Is f greater than or equal to -3?
False
Suppose 0 = 2*i + 4*h + 16 - 2, -4*i + h + 8 = 0. Let m(y) = -2*y**2 - 1. Let b be m(i). Which is smaller: b or 3?
b
Let q = -672 - -671.8. Do q and 49 have different values?
True
Let v = 16 - -1. Let p = v + -33. Let u be 1/4 - 36/p. Which is bigger: 2 or u?
u
Let i(u) = -3*u + 14. Let w be i(2). Let v = -12259/4 - -3086. Let a = -21 + v. Which is bigger: a or w?
w
Let j(i) = -i**2 + 10*i - 25. Let n be j(4). Let y = -87 + 961/11. Is y not equal to n?
True
Let b = -0.243 + 0.143. Let s be 55/57 - (-4)/(-4). Let a = s - 5/38. Which is greater: a or b?
b
Let l(v) = 22*v - 45. Let u be l(7). Which is smaller: u or 103?
103
Suppose p - j + 14 + 14 = 0, 84 = -3*p - j. Which is bigger: -29 or p?
p
Let w(g) be the first derivative of -g**3/3 + 7*g**2/2 - 7*g - 11. Let l be w(5). Suppose -l*j + j = 0. Which is bigger: -1/47 or j?
j
Suppose -5*x + 0 = -5. Let z be (-2)/(-5)*(-45)/(-72). Is z bigger than x?
False
Suppose -3*m - 86 = -4*i, i - 2*i - 83 = 4*m. Is -18 <= m?
False
Suppose -h + 14 = 5*i + 57, -5*i + 3*h - 31 = 0. Let f be 4/6*18/(-16). Is i smaller than f?
True
Suppose 3 = 2*b - 1. Suppose 4*r = -l - 2, -3*r + b = l + 3. Which is bigger: 2/3 or l?
l
Let n be 8/(-6) + (-4)/6. Let u be (-5)/4 + n/(-8). Let k be 14/((-3640)/790) - -3. Do u and k have the same value?
False
Let l = 135 - 96. Let r = l + -43. Which is greater: r or -1/9?
-1/9
Let v = -3 - 1. Let s be -5*((-18)/10 + 1). Let x = s + v. Which is greater: 6/11 or x?
6/11
Let d(n) = -n**3 - n**2 + 3*n - 3. Let x be d(-3). Suppose 60 + 18 = -x*s. Which is bigger: -12 or s?
-12
Suppose 3*u - 2*c = -208, 8*u = 3*u + 2*c - 348. Is u < -70?
False
Suppose -5*a - 5*x = -150, -79 = -5*a + 3*x + 39. Which is bigger: a or 25?
a
Let j(w) = 3*w - 1. Let n be j(0). Suppose 5*u - u = 24. Suppose -3*z = -0*z - u. Which is bigger: z or n?
z
Let h = -185 - -136. Which is greater: h or -6?
-6
Let l = 6 - 18. Let v be 26/12 - l/(-6). Which is smaller: 0 or v?
0
Let j = -0.1588 - -0.0588. Is 18/17 bigger than j?
True
Suppose -o + 2*d - 20 = 0, -5*o + 13 = 3*d + 74. Let v be 1/(5 - 4)*o/2. Is -8 < v?
True
Let b(k) = -3*k - 5. Let g be b(-3). Suppose -g*u = 4*u. Which is smaller: -9 or u?
-9
Suppose 0*t = -l - 2*t - 13, -32 = 3*l - t. Let p = -15 - l. Let m be (p/10)/(390/(-50)). Which is bigger: m or 1?
1
Let j be (3/(-4686))/((-1)/742). Let d = -5/71 - j. Let s = 6 + -7. Which is bigger: d or s?
d
Let l be -11 - -4 - 25945/(-3705). Which is smaller: l or 0?
0
Let t be 66/1974*(-14)/(-4). Which is smaller: t or 1?
t
Let m(w) = -8*w - 8. Let p be m(-5). Let h = p - 21. Is h bigger than 12?
False
Suppose -50 = -3*w - 2*m - 2, 2*m + 50 = 4*w. Let n be (-6)/8 - (13 - w). Let a = -0.4 - -2.4. Do n and a have different values?
True
Suppose 5*c - 4221 = 2*c. Suppose 3*m + c = 5*a, 4*a + a + 4*m - 1379 = 0. Let y be 3/(-2)*(-12)/a. Is y <= -1?
False
Suppose 3*w - 20 = o + 4, -4*o - 2*w = 40. Suppose -2*d = -3*g + 38, -59 = 3*d - 0*d - 5*g. Which is smaller: d or o?
d
Let w(c) be the third derivative of c**5/20 + 9*c**2. Let t be w(1). Let s = -5 + t. Is -8/5 equal to s?
False
Suppose 3*z + 2*y - 22 = -0*y, 3*y - 3 = 3*z. Suppose -z*v = -2*v + 58. Let q = 91 - 120. Is v at most as big as q?
True
Let s = 224 - 221.3. Which is greater: 6 or s?
6
Let z(t) = -t**2 - 4*t + 50. Let i be z(7). Which is smaller: i or -18?
i
Let q be 0 - -3 - 4/2. Let x = 2 + q. Let y = -83/231 + 2/77. Which is bigger: y or x?
x
Let b(l) = l - 1. Let n be b(6). Suppose 4*f - 35 = -5*p - 131, -120 = 5*f + n*p. Is f at least -25?
True
Let s = -402 - -289. Is -1/4 < s?
False
Let x = 299286/5 - 1258119/20. Let n = -3033 - x. Which is smaller: 17 or n?
n
Suppose 4*h = -2*g - 2, 8*g - 4 = 4*g. Let u be (h/(-2))/(3 + 21/(-6)). Which is greater: u or -4/3?
u
Let k be 1/2 + 630/(-1244). Let z = k + -267/6842. Are -1 and z non-equal?
True
Let g be (-4)/(-2)*(-1)/(-2). Let p be 1/8*2 + (-441)/(-28). Suppose 0*v - 5 = -v, -p = -4*h - 4*v. Which is bigger: g or h?
g
Let n be 18 - (-5 - -16) - 82. Is n greater than -71?
False
Let n = -0.17 - -1.67. Let h = n - 5.7. Which is smaller: 1 or h?
h
Suppose -c + 14 + 0 = 3*s, -5*s = -20. Let r be (-5)/(-2)*(c - -2). Let n = 49 + -38. Which is smaller: r or n?
r
Let y(u) = u**3 - 11*u**2 - 10*u - 25. Let s be y(12). Is s < 2/223?
True
Let w(l) = -l**3 - 17*l**2 - 17*l - 11. Let x be w(-16). Suppose -7*f = -x*f + 2. Is f != 1?
True
Let x = 1.6 - 1.8. Let l = -108 - -117. Which is bigger: x or l?
l
Let y be 2/(-2 - -1) - 8. Let p be (-403)/2 - (-3)/(-2). Let g = -635/3 - p. Which is bigger: g or y?
g
Suppose -y - 479 = f - 0*y, 2*y = -5*f - 2383. Which is greater: -1 or f?
-1
Suppose -66 + 16 = -5*q. Let d = q + -7. Which is bigger: d or -4?
d
Let o(b) = -b**3 - 6*b**2 + 4*b + 6. Let n be o(-5). Let c = n - -79/2. Which is smaller: c or -20?
-20
Suppose 5*y + 3*z + 1055 = 0, y - z = -0*z - 203. Is y <= -210?
False
Let y be (-2)/20 + 372/120. Let t be -3 - (0 + -4 + -3). Suppose t*z + 0*z - 8 = 0. Is y less than or equal to z?
False
Let c = -26 - -15. Let b = 7 + c. Let n(w) = w**2 - 2*w + 2. Let i be n(1). Which is smaller: b or i?
b
Let s(u) = 9*u + 26. Let b be s(-7). Let a = b - -36. Let p = 1/85 + 16/85. Which is bigger: p or a?
p
Let r = 10 - 14. Let a(i) = 3*i - 7. Let v be a(-4). Let l = v + 19. Which is smaller: r or l?
r
Let i(n) = 2*n**2 - 18. Let t be i(3). Is 1/190 >= t?
True
Let l be (-11 + 15 + 0)*18/(-412). Which is smaller: l or -1?
-1
Let r be (-1 + -1)*(-6)/4. Suppose 4*m - b = 5, 15 = -m + 