have the same value?
False
Let d = -39 - -67. Let c = 66.1 - 66. Which is smaller: c or d?
c
Let r(i) = 11*i**2 + i. Let y be r(-1). Suppose -2*s = 4*x + 14, 0 = -s - s - 3*x - y. Do s and 4 have the same value?
False
Let i be 86*(-1)/18 + -2. Let t = 7 + i. Let d(f) = -f**3 - 7*f**2 - 5*f + 5. Let a be d(-6). Is t < a?
False
Let r be 18 + -6 + 132/(-11). Suppose 5*o = j + 3*j + 7, 3*j = -9. Let p(q) = -q. Let t be p(o). Are t and r unequal?
True
Suppose 9*s = 5*s + 8. Let y be (-20)/(3 + s + -7). Let c be 2 + -1*y/4. Is c greater than or equal to -2?
True
Let o = 1 + 2. Suppose -13 = -o*x - 4. Suppose -22 = x*p + 5*r, r = -5*p - 2*r - 10. Does p = -1/5?
False
Let a(m) be the first derivative of -2*m**3/3 + m**2/2 + 2*m + 9. Let h be a(-1). Which is bigger: h or 1/9?
1/9
Let y be 1 + 2*8/(-17). Let c = -17 + 19. Is c at least as big as y?
True
Suppose 0*g - 5*g + 14 = 2*b, -4*g = -8. Suppose -y - 3*l = -3*y + 24, b*l = 0. Which is smaller: y or 14?
y
Let w = 5339/2241 - 64/27. Which is bigger: 9 or w?
9
Let k = 3571/7 - 513. Suppose 5*d - 11*d = -36. Suppose 0 = -2*w + d*u - 2*u + 4, w = 3*u + 5. Which is greater: w or k?
k
Let n(h) = h**2 - 8*h - 14. Let v be n(10). Suppose -v*y + 4*y = -8. Let c be ((-7)/6)/((-2)/y). Is 1 greater than c?
False
Let x = -302.15 + 290. Let s = x - -0.15. Let a = 10 + s. Which is greater: 1 or a?
1
Suppose y - 90 = -4*y + 3*p, 4*p + 54 = 3*y. Suppose 0 = 5*r - 4*l + y, 2*r - 4*l = -2*r - 12. Let k(h) = 2*h + 3. Let a be k(-4). Is r <= a?
True
Suppose 4*o - 3*r - 1 = 11, 3*r + 12 = 3*o. Suppose i + i = o. Let p be i - 1/(-1) - 6. Is p bigger than -4?
False
Let o be ((-2)/6)/((-7)/84). Suppose -2*m = o*q - 8, -3*q = 5*m + q - 14. Is m less than or equal to 3?
True
Suppose -5*i + 283 - 5 = -3*x, 5*x + i = -510. Is x bigger than -0.2?
False
Suppose 3*l - 6 = 0, -l + 5*l - 204 = -4*p. Let v = p + -47. Is -11 at least as big as v?
False
Let i be ((-24)/(-36))/((-2)/(-231)). Let g = i - 79. Let f = 1521/55 + -141/5. Which is smaller: g or f?
g
Let c be (-8)/(2112/(-100)) + (-3)/(-18). Is c at most as big as 0?
False
Let z be (-4)/34 - (-789)/8007. Which is greater: z or 0?
0
Let i = 0.2 - 0.2. Let q be 442/(-11) + 3/(132/8). Let x = q + 598/15. Is i at least x?
True
Let w = 166448/57 + -2920. Which is greater: 2/3 or w?
2/3
Let a be (-21112)/(-36260) - 8/14. Which is smaller: a or 1?
a
Suppose 20 = -4*w - 0*w. Let y(z) = 10*z + 25. Suppose 3*m - 1 + 10 = 0. Let h be y(m). Is w <= h?
True
Let p = 716 + -1253. Which is greater: -538 or p?
p
Suppose -2*o = -4*o + 4. Suppose -3*v + o*v = 0. Which is smaller: v or 1?
v
Suppose 73 = 5*p - 137. Suppose 6*v = 3*v - p. Let s be (-42)/v + (-60)/22. Which is greater: s or -1?
s
Suppose -285 = -5*t + 5*p - 40, -2*p = -4*t + 186. Is 44 equal to t?
True
Suppose 4*q - 101 + 85 = 0. Let n be (-4 + -1)*18/(-15). Let c = q - n. Is 0 less than or equal to c?
False
Let d be 3/(-12) - (-39)/156. Are d and -25/61 non-equal?
True
Suppose 11*h - 1089 = 1232. Is 210 at most as big as h?
True
Let o be ((-86)/4)/(1/2). Let m(k) = k**3 - 8*k**2 - 16*k + 86. Let z be m(8). Which is bigger: z or o?
z
Let c(a) = -3*a - 2. Let t be c(-2). Suppose 4*k - t = -0. Suppose 5*w = 3*s + 22, 4 = w - k. Is s greater than or equal to 4/9?
True
Let l = 6 - 5. Suppose -p + l = -1. Suppose -p*y = z + 2*z - 6, 0 = -y - 2*z + 4. Which is smaller: y or -2/17?
-2/17
Let g = -15325/88 - -57/88. Which is smaller: g or -175?
-175
Suppose -142 = -4*x + 130. Which is bigger: 70 or x?
70
Suppose 0*t = -3*t - 30. Let r be 6704/(-120) + 4/(-30). Let y = 46 + r. Is y bigger than t?
False
Let c(k) = 8*k - 19. Let z(x) = 16*x - 38. Let f(a) = 5*c(a) - 3*z(a). Let o be f(4). Which is bigger: o or -12?
-12
Let l(m) = m**2 + m + 4. Let d be l(-2). Suppose 0 = -4*u + w + 24, -4*u + 12 = w - 4. Suppose 0*z = -u*z + 30. Are z and d nonequal?
False
Suppose -j + z + 2 = 0, -4*j - z = -7*j + 8. Let x be j + (8/(-2))/(-4). Suppose -5*d = y + 15, 0 = -x*d - 0 + 4. Is y at most -20?
True
Suppose -h = -3*v + 30, 48 = 4*v + 2*h + 18. Let l(r) = v*r + 8 + 3 - r**2 + 4 - 10. Let c be l(10). Which is smaller: -14/3 or c?
c
Suppose 13*j + 25 = 18*j. Suppose -j*q = -c + 6*c - 35, -c = -4*q + 53. Which is greater: 13 or q?
13
Let s = -84 + 103. Do s and 13 have the same value?
False
Let s(k) = k**2 + 13*k + 16. Let w be s(-12). Suppose -y + 5 = -3*v, -5*y + 25 = -w*v + 5*v. Is -1/9 < v?
True
Let t(d) = -6*d - 19. Let x be t(-5). Does x = 8?
False
Let i(w) = 2*w - 19. Let p be i(8). Let j(f) = 3*f**2 + 4*f + 11. Let z be j(p). Which is greater: z or 0?
z
Let h = -0.81 + -1.19. Let z = 2 + h. Let a = 0.92 - 0.8. Is a at least as big as z?
True
Suppose -h + 24 = 5*h. Suppose -43 = -3*s + 4*v, -35 = -3*s - 2*v + h*v. Which is smaller: 11 or s?
s
Suppose 16*i = 21*i + 25, 2*u - 244 = 2*i. Are u and 109 non-equal?
True
Let s = -0.07 + 10.07. Let u = s - 10.2. Are u and -1/10 unequal?
True
Let x be 2/4*-6 + 10. Let c(q) = 3*q**2 - 20*q - 8. Let n be c(x). Which is bigger: n or -2/209?
-2/209
Let r(i) = 8*i - 7. Let w be r(-1). Let c be 2/(-3)*(-1 + -23). Let l = w + c. Which is bigger: 5/9 or l?
l
Let f be ((-48)/(-30))/((-4)/(-5)). Let c = 1410 + -153693/109. Let p = c + 905/1199. Do f and p have different values?
True
Suppose 15 = 5*t + 5*a, 0 = -3*t + 3*a - 0*a - 15. Which is smaller: t or 6/37?
t
Let y be (21 - 15) + 632/(-106). Which is bigger: y or -0.4?
y
Let v be (12 + -10)*4/74. Which is greater: v or 1?
1
Suppose -41 = -5*b - 4*p, -2*p + 16 = 2*p. Let s be b/(-3)*(-9)/1. Which is bigger: 14 or s?
s
Let m(z) be the second derivative of -z**5/20 - 3*z**4/4 - 5*z**3/6 + 11*z**2 + 33*z. Let h be m(-8). Does h = -7/6?
False
Let p(h) = 23*h - 55. Let t be p(2). Is -0.05 smaller than t?
False
Let n be 3/((-2)/(-4) - 0). Let g be (-740)/90 - 2/(-9). Let v = n + g. Which is smaller: -5 or v?
-5
Suppose -30*g = -11*g + 912. Which is smaller: -46 or g?
g
Let z be 4/(-12)*3*-2. Suppose -z*w + 12 + 56 = 0. Let a be w/2 - (-8 - -11). Is 15 at least as big as a?
True
Let l = 1/294 + -131/98. Is -0.11 at most l?
False
Let l(x) = 3096*x**3 - 2*x**2 + 2. Let o be l(-1). Let f = 40228/13 + o. Is -3 >= f?
False
Let w = 0.872 - 3.872. Is -0.127 > w?
True
Let l = -84 + 91. Let o be ((-63)/(-35))/((-3)/(-10)). Is l at most o?
False
Let v(p) be the third derivative of -p**4/24 + 3*p**3/2 - 2*p**2. Let q be v(9). Let i(h) = -2*h**2 - 31*h - 43. Let k be i(-14). Which is smaller: k or q?
k
Suppose -10*m - 1 = -9*m. Let k be (8/(-5))/(5/25). Let r = k - -7. Do r and m have the same value?
True
Let i be (-2)/4*15/1685. Let z = i - 1619/14828. Let d = z + 123/308. Which is smaller: -10 or d?
-10
Let x(y) = -2*y**3 - 48*y**2 - 30*y + 83. Let k be x(-23). Do -285 and k have different values?
False
Suppose -v = -2*d + 6, -10*v + 5 = -5*v - 3*d. Which is smaller: v or 7?
v
Let h be -2*20/70 - 438/(-7). Is 60 smaller than h?
True
Suppose 0 = -2*p - 4*c - 28, p + 5*c + 41 = -3*p. Suppose 0 = -2*n - 4*v - 14, -v = -4*n - 2*v. Let o = p + n. Which is greater: -2 or o?
-2
Suppose 31 = 4*j + 3*p, 0 = -3*j - j + 5*p - 9. Suppose -3*d - 20 = 2*d. Let u be (-1)/d - (-19)/4. Which is smaller: u or j?
j
Let f = 3.365 + -3.265. Let i be 2 - (-1 + 1) - -2. Let g be 14/(-20) + 2/i. Which is bigger: f or g?
f
Let v = -120 - -261. Let m = v + -143. Which is smaller: 5 or m?
m
Let n(i) = i**3 + 5 - 6*i + 3*i - 3*i + 6*i**2. Let b be n(-7). Let p = -562 - -561. Is b less than or equal to p?
True
Let s = 18549/26470 + -2/2647. Let x = -1/10 + s. Is x bigger than 1?
False
Let q be (-130)/(-39) + (-4)/3. Suppose 3*o - 1 = 4*p, q*o + 5*p + 7 = -0*o. Is -2/29 != o?
True
Let g be (3/18)/(50/(-40)). Let u be 2/(-6)*(-6)/4. Do g and u have different values?
True
Let k = -25 - -2. Which is greater: 2/15 or k?
2/15
Let k be -5 + -6*207/(-54). Is k at least as big as 18?
True
Let q = 6.89 - 121.89. Is q >= 4?
False
Let o be (0*(-6 + 5))/(-4). Which is smaller: 5/21 or o?
o
Let o = -6 + 5.99. Let h = -0.01 - o. Let j = h - 0.1. Which is smaller: 2/7 or j?
j
Let a = -3 - -3. Let h be a + (10 + 2 - 0). Suppose 7*i - 3*i + h = 0. Is -14/9 at most i?
False
Let k = -15.32 - -0.32. Let w = -25 - -35. Let b = w + k. Which is bigger: -2/3 or b?
-2/3
Let k = 33 - 31. Let b(q) = 3*q**3 - 5*q**2 + 5*q - 7. Let u