). Are d and x unequal?
True
Let k be ((-6)/(-4))/(5/10). Let p be -46 - -6*(5/k)/5. Is -45 at most as big as p?
True
Let p = 8.14 + -0.14. Let n = 0.18 + -0.18. Is p at most n?
False
Let k = -153 - -153.4. Suppose -4*p + 436 = 60. Let c = -660/7 + p. Which is smaller: k or c?
c
Let p = -55 - -183. Suppose 5*c - 4*l - 256 = -0*l, -4*l + p = 3*c. Let b be (c/40)/(2/10). Which is greater: 5 or b?
b
Let j = -1 + 1. Suppose 8*p - 42 - 22 = j. Is 8 >= p?
True
Let k = -25373 + 152683/6. Let z(j) = -3*j**2 - 5*j + 4. Let w be z(-6). Let n = w + k. Which is smaller: n or -1?
-1
Let v be 7/((-21)/(-66)) + 2/2. Suppose 0 = -5*a + v*a + 1998. Is a greater than -112?
True
Let u be 0*(-3 + (-3)/(-24)*22). Suppose -29*z + 26*z - 135 = u. Is z greater than or equal to -45?
True
Let z = 1713 + -17129/10. Suppose 4 = 5*m + 4*b + 1, 4*b - 13 = 5*m. Is m at least z?
False
Let b = 65463/5 + -13140. Which is smaller: b or 0?
b
Let k(f) = -2*f**2 + f**2 + 3*f + 1 + 0*f - f**3. Let p be k(-2). Let r be 4/16*(-8)/(-15). Which is smaller: r or p?
p
Let l = 29 + -29. Suppose -v + 4*j + 14 = l, v - j + 7 = -4*j. Is v at least as big as 3?
False
Let r(y) = -4 + 0 - 4*y - 12. Let s be r(-11). Let x = -42 + s. Which is greater: -13 or x?
-13
Let k be 1/((-1)/(-2) - 1). Let v be (348/(-609))/((-5)/(-6) + (-3)/9). Is v greater than k?
True
Let v be (59/(-59))/(-1*(-1)/(-93)). Let a = 91 - v. Which is smaller: -28 or a?
-28
Let x = -247 + 247. Which is bigger: x or -0.019?
x
Suppose 0 = 4*y + 16 + 4. Let u be (-171)/87 + -2 + 9 + y. Let k(w) = 2*w**2 - 1. Let g be k(-1). Does u = g?
False
Suppose -2*w + 10 = 3*o, w + 12 = 3*o + 4*w. Let q be 58/4*o/(2/(-2)). Which is smaller: -28 or q?
q
Suppose -4*j + 2*y + 580 = 0, -2*j - 3*y + 306 = -8*y. Is 144 at least as big as j?
True
Let z = -495 + 39599/80. Suppose -1142 = 9*c - 1151. Which is smaller: c or z?
z
Let m be (4 - 4)*1/3. Suppose m = -0*j - j - 2, y = 2*j + 3. Let x = -2444/11 - -222. Which is bigger: y or x?
x
Suppose 74*h + 329 = 27*h. Which is smaller: -33 or h?
-33
Suppose 40*g - 22 = 18. Let o be 1/4 - (-19)/(-28). Which is bigger: o or g?
g
Suppose -40 = r + 3*r. Let m = -6 - r. Suppose -m*k + 4 = -0. Are k and -2/7 non-equal?
True
Let w be -4*4/(-64) + (-28)/(-80). Are 4 and w equal?
False
Let s = 290 - 54. Suppose 5*a - s = -51. Suppose -2 + 0 = -2*j, -3*j = -2*m - a. Is -16 at least as big as m?
True
Let g = 1127/2 - 604. Let q = 42 + g. Let k be (0 - 1)/(1 + 0). Which is smaller: k or q?
k
Let x be (((-3927)/(-14))/17)/(54/8). Which is smaller: 3 or x?
x
Let v be -2 + 6 - (4 + (-2568)/1290 + 2). Let s be 3 - 2 - (3 - 1). Which is smaller: v or s?
s
Let l = 72862/9 - 8080. Let t = l - 3541/225. Is 1 smaller than t?
False
Let u be 5472/252 - 3/(-3). Which is bigger: u or 24?
24
Let s be (((-46)/5 - -3) + 6)*4/(-26). Suppose -4*k + 2*q = -10, 0 = k - 0*k - 3*q - 15. Is k >= s?
False
Let t = 31 - -1. Suppose -33*b + 25*b - t = 0. Is -4 at most as big as b?
True
Let v(r) be the second derivative of -r**5/20 - r**4/4 - r**2 + r. Let b be v(-3). Let l be (6/9)/(-3 - (-90)/40). Which is smaller: l or b?
b
Suppose 4*g - 10 = 5*t, -5*t - 1 = -11. Suppose 0 = g*a - 43 + 13. Let u be (-8)/(-240) - 1/a. Which is bigger: u or -0.2?
u
Let g be (2/232)/(-5 + 175/56). Which is bigger: 1 or g?
1
Let t = -0.0192 - -5.0192. Is 0.8 equal to t?
False
Let w be (-3)/(-2) - 2/(-4). Suppose 2*h + 4*c - 5*c + 759 = 0, -w*h + 2*c = 758. Let f be (-2)/(-19) + (-720)/h. Which is greater: 0.1 or f?
f
Let y be (-3)/3*2/(-4). Let o(w) = -3*w + 21. Let j(l) = 2*l - 20. Let r(b) = 5*j(b) + 4*o(b). Let z be r(-8). Which is smaller: y or z?
z
Let k = -9 - -16. Suppose -11*l = -k*l + 156. Which is bigger: l or 0.1?
0.1
Let j be 1*(1 - (1 + -8)). Let h = 16 - j. Suppose -3*v - 15 = 0, -3*c = -21*v + 25*v - 4. Is c equal to h?
True
Let c be 5*(222/(-105) + (-6)/21). Let u = -17 - c. Is -7 less than u?
True
Let q = 157 + -44. Is 113 bigger than q?
False
Suppose q + 3*y = -3, -4*q - 4*y + 19 = 7. Let u(n) = -2*n + 14. Let a be u(q). Suppose 2*c + 23 = -i + a*i, -2*c - 29 = -3*i. Which is greater: -11 or c?
c
Let j = -0.927 + 18.927. Which is greater: j or -0.09?
j
Let r = -0.006 - -25.006. Let c = -31.6 - -2.6. Let z = r + c. Are z and 0.1 non-equal?
True
Let l = -0.1 - -0.03. Let k = 0.05 - l. Let u = k - -1.88. Is -2 greater than or equal to u?
False
Let l = 55.02 + -55. Let p = -2.02 + l. Are -0.1 and p nonequal?
True
Let u be 25/(225/(-54)) + 11/6. Which is greater: u or -2/9?
-2/9
Suppose 5*u + 268 = 2*d, 0 = 3*u + 4*d + 134 + 6. Are -54 and u equal?
False
Suppose -5*f - 5*y - 88 = -y, f = -5*y - 5. Let m = f + 29. Suppose 0 = -5*w + 45. Is m less than w?
False
Let h = -9 + 2. Let p(t) = -t**2 - 7*t + 6. Let d be p(h). Let s be (d/5)/((-8)/(-20)). Is 3 >= s?
True
Let q = -239 - -243.28. Let j = 0.28 - q. Does j = -0.2?
False
Let k = -9/83 + -1043/332. Is k < -2?
True
Let v = 8.8 - 8. Let z be (2/9)/(16/36). Which is smaller: v or z?
z
Suppose -5*m - 2 - 8 = 0. Let k be -1 + (-5)/m + -2. Let p = 24 - 26. Is p <= k?
True
Suppose 2*a + 24 = -m, 2*a + 3*a = -5*m - 100. Let l = m + 23. Suppose 15 = -l*o + 4*o. Is 0 greater than o?
True
Let g be 192/352*6/1. Let s = 8 - 4. Is s at least as big as g?
True
Suppose -2*z = -4*j + 2*z + 4, 0 = 3*j - 2*z - 4. Suppose -5*g = u + u + 2, -g - 2*u = j. Is -7/16 != g?
True
Let s be (-26)/(-36)*3 - -3. Let k = 507 + -2049/4. Let p = s + k. Is 1 at most as big as p?
False
Let o = 220.7 + 19.3. Which is greater: 2/7 or o?
o
Suppose 5*m + 3 = p - 0*m, -4*p - 3*m + 12 = 0. Which is smaller: p or 56?
p
Let k = 42 + -38. Suppose c - k*y = -2, -2*y + 3 = c - y. Which is smaller: 10/3 or c?
c
Let z be (-1720)/(-5922) - (-9)/((-252)/8). Which is smaller: z or 0?
0
Suppose -10 = 670*k - 675*k. Is -3 > k?
False
Let t(z) = -z**3 - 3*z**2 - 3*z - 1. Let w be t(-2). Let q = 2.9 - -6.1. Let m = q + -11. Is m >= w?
False
Suppose 3*o - 11 = -3*f + 7, 0 = o - 3. Suppose -3*h + 0 = -f. Let s be (-1)/h*(0 - 1). Which is bigger: -1/6 or s?
s
Let p be 184730/(-110) - (0 - 5). Let c = p + 1672. Is c greater than -3?
True
Let t = -10 + 16. Let m(u) = -u**2 + 7*u - 6. Let j be m(t). Let q be -2 + 9/4 + j. Is q smaller than 1?
True
Suppose 2*x + 4*g - 23 = -1, 0 = 3*x + 3*g - 18. Which is greater: x or -122?
x
Let y be 6/5*50/(-5). Let i be ((8 - 4) + -3)*-7. Let b = i - y. Which is smaller: b or 6?
b
Let o be 2*(-1 - (-1)/2). Let b(p) = 509*p - 2. Let k be b(-1). Let l = k - -2547/5. Which is greater: o or l?
o
Let v = 0.478 - 0.378. Which is bigger: 13 or v?
13
Let b(q) = q**3 - 14*q**2 - 3*q + 34. Let o be b(14). Let l(z) = z + 9. Let x be l(o). Which is smaller: x or -2?
-2
Suppose -50*p - 4 = -51*p, 2*f + 4*p = -310. Which is bigger: -164 or f?
f
Suppose -2*x - 4 = -6, c - 39 = -3*x. Which is bigger: c or 10?
c
Suppose 17 - 32 = -3*i. Suppose 4*z = -3*t - 5, -i*t + 20 = 5*z - 10*t. Let x = -2.9 - -3. Are z and x equal?
False
Let c be 5 + 5 + (-20)/8*2. Which is greater: c or -24?
c
Let z be (-1434)/336*(2 + -3). Let g = 33/8 - z. Which is smaller: 2 or g?
g
Let k = -105 - -106.5. Let w be ((-4)/18 - 0)*3. Is w > k?
False
Let g be (4/(-18))/((-18)/15903). Do 197 and g have different values?
True
Let a be ((-1)/(-3))/((-6)/(-4)). Let y = 1/1912 - -7643/9560. Is a equal to y?
False
Let i = -0.44 + -11.56. Let s = 14 + i. Which is smaller: -10 or s?
-10
Let g = 83561/7885 + 4/1577. Suppose 27*t + 264 = 561. Which is bigger: g or t?
t
Suppose 47 = 4*q - 53. Suppose 9 = 4*p + q, -3*s - 5*p - 14 = 0. Let l be (1 - (-9)/(-3))/s. Which is greater: -2 or l?
l
Let c(s) = -s**3 + s + 3. Let a be c(0). Let f be 1/((-6)/(-288)*6). Let g be (2 - (-2 + f)) + a. Which is greater: g or 1?
1
Let q = 0.2 - -0.15. Let u = -0.21 + q. Let t = -0.76 - u. Is t greater than 2/3?
False
Let z = 3685 - 3679. Let w(n) = n**3 + 6*n**2 - 8*n - 6. Let r be w(-7). Is r greater than z?
False
Let y be ((-5)/3)/((-30)/252). Let m be 2*(26/y - (11 - 9)). Is m >= 0?
False
Let o = 430 - 392. Is o not equal to -3?
True
Suppose -i + 905 = -6*i + 5*r, -2*i - 352 = -4*r. Is -186 at most i?
True
Let r = 461621/834 - 1107/2. Is r > 0?
True
Let u(f) = -2*f - 41. Let l be u(-25). Let p be (l - 5) + -79*1/7. Which is bigger: -8 or p?
p
Let m be (2/(-18))/(1 + (-12)/18). Which is 