nd -1 nonequal?
True
Let x be (10/4)/(21*4/18). Is 0 at most as big as x?
True
Let m be 8/(-10) + 202/(-10). Let z = 25 + m. Suppose 3*n = -3*d + 4*d - 12, -4*d - z*n = 32. Does d = -5?
False
Let f be 28/(-6)*1/2. Let m = 5/3 + f. Let a = 0.04 + -0.24. Which is smaller: a or m?
m
Let m(x) = -x**2 - 5*x - 6. Suppose -4*f - 5*l - 29 = -3*f, -3*f + l - 7 = 0. Let n be m(f). Let c be (-65)/(8 + 5) - 0. Which is bigger: c or n?
n
Suppose -16*b = -3*q - 15*b - 387, -129 = q - 5*b. Is q < -128?
True
Let m(o) = 851*o**2 + 2*o - 1. Let v be m(1). Suppose v = -9*x + 303. Which is smaller: x or -62?
-62
Let g be 1/(80304/(-16056) + 7 + -2). Which is greater: g or -670?
g
Let j(l) = -18*l + 7. Let q be j(-3). Let u = q - 56. Is u less than -0.01?
False
Let b = -3.06 - -30.36. Let l = b - 29. Let p = l + 1.63. Does 1 = p?
False
Let c = 203 + -202.85. Is -7 not equal to c?
True
Suppose 6*i - 52 = -7*i. Is 13 < i?
False
Suppose 2*x - 2*b - 2*b = 612, -3*x = -5*b - 917. Let r = 3342/11 - x. Let t = -0.515 + 0.515. Is r at least as big as t?
False
Let x(v) = 24*v + 4. Let k(s) = -49*s - 8. Let q(z) = 3*k(z) + 7*x(z). Let i be q(1). Which is smaller: 24 or i?
24
Let w = -2.44 - 30.56. Which is bigger: -2/3 or w?
-2/3
Let z(p) be the first derivative of -21*p**4/2 + 3. Let h be z(1). Let i = -292/7 - h. Is -1 at most as big as i?
True
Suppose -3 = -6*p + 15. Suppose -b - p*a = -10 - 10, 2*b - 34 = -3*a. Let s = 16 - b. Are 11/7 and s unequal?
True
Let d(l) = -2*l**2 + 20*l - 5. Let u be d(11). Let f = u + 24. Is -15/4 <= f?
True
Let r(y) = -7*y + 13. Let w be r(-5). Suppose -2*b - 131 = 5*q, -4*b = 2*q - b + w. Which is smaller: q or -30?
-30
Let q = -193 - -192.8. Which is smaller: 106 or q?
q
Let g(h) = 6*h - 16. Let b be g(10). Let k = b + -45. Which is smaller: k or -5/4?
-5/4
Let q = -414 + 313. Which is smaller: q or -305/3?
-305/3
Suppose -148*f - 4 = -144*f. Which is smaller: f or -9/203?
f
Let t = 26 - 29.6. Let l = t - -3.4. Which is smaller: l or 3?
l
Let t = -44316 - -44342.963. Let c = -0.037 - t. Which is smaller: 1 or c?
c
Suppose 0 = -4*y + 2*y + k + 14, 2*y + 2*k - 8 = 0. Suppose c + 1 = y. Suppose 5*a - c*h = 25, 2*a + 4 = -2*h + 2. Is a <= 3?
True
Let c = 49.5 - 58. Let x = -1.43 - 0.07. Let b = c - x. Is b >= 0.1?
False
Let p = 1690.7 + -1691. Is -2/63 greater than p?
True
Let d = 2 + 0. Let u = 19841/364 + -710/13. Is d smaller than u?
False
Let u(d) = 2*d - 27. Let w(j) = -4*j + 55. Let s(f) = -5*u(f) - 2*w(f). Let y be s(11). Are y and 4 non-equal?
True
Suppose -4*w = -4 - 8. Suppose 3*l + 6*z - 22 = 4*z, -27 = -w*l - 3*z. Suppose -l*c - c - 2*p + 9 = 0, -5*c = -2*p - 1. Are 1/73 and c unequal?
True
Let u(n) = -n**3 + 2*n + 3. Let v = -53 + 51. Let y be u(v). Are 7 and y equal?
True
Let p = 458.3 + -458. Which is smaller: p or -49?
-49
Let z = -1038 + 1039. Let n = 1 - 2. Which is smaller: z or n?
n
Let i(r) = 0*r - 2 - 5*r + 0*r + 3*r. Let w be i(-2). Let h be (-13)/26 + 1/w. Is 1/15 smaller than h?
False
Let o = 1216 - 677. Which is bigger: 0 or o?
o
Let n(m) = -5*m - 3. Let q be n(5). Suppose -176 = 20*v - 12*v. Let t = q - v. Is -14/3 at most as big as t?
False
Let x be 16/(-14)*35/(-10). Let t be (1 - x - -3)/(-5 + 2). Do t and 1 have the same value?
False
Suppose -4*z + 19 = -3*f, -4*z - 11 = 3*f - 0. Let h = -230 + 692. Let u = h + -20788/45. Which is greater: z or u?
z
Let x(f) = f**2 - 8*f - 5. Suppose 0 - 4 = 4*u. Let m(y) = y + 1. Let k(h) = u*x(h) - 6*m(h). Let t be k(1). Which is smaller: t or 6/11?
t
Let w be (1/5)/((-12)/40). Is -0.45 > w?
True
Suppose 0*l = -3*l + 6. Let z be ((-4)/(-3))/((-2)/(-6)). Suppose -z*i = -3*i + 5*x - 11, -x = -5*i + 3. Which is smaller: i or l?
i
Let v(h) = -h + 19. Let b be v(14). Suppose -4*x + 5 = -w, -2*w = b*x + w - 19. Let q be -4 - 2/(x + 0). Which is smaller: q or -2?
q
Let t be (-5 + (-36)/(-8))*18. Let s(z) = -2*z - 8. Let l be s(t). Are l and 8 non-equal?
True
Let x(y) be the first derivative of -y**4/4 + 2*y**2 + 3*y + 2. Let c be x(-2). Let g(l) = 4*l - 27. Let r be g(7). Which is smaller: r or c?
r
Let i be 108/(-30)*10/(-3). Is i greater than 80/7?
True
Let w = -1372 + 1386. Is w smaller than 18?
True
Let p be (-15)/(-10)*(-8)/(-78). Let s = 1/78 + p. Do s and -4 have different values?
True
Suppose -4*b + 20 = -0*b. Suppose -p - 33 = -b*n, -5*n = -2*n - 2*p - 24. Let t be 7/(-2) - n/(-2). Which is greater: 4/5 or t?
4/5
Let k = 0.004 + -0.054. Let b = 0.1 + k. Which is greater: -2/3 or b?
b
Let d = -5349/4 - -1338. Is 227 at least as big as d?
True
Let i(s) be the first derivative of 2*s**3 + 3*s**2/2 + 2*s + 1. Let b be i(-1). Let x = b + 28. Which is bigger: 34 or x?
34
Let m(z) = -13*z + 173. Let t be m(13). Are -235 and t equal?
False
Let i = -0.0261 + -49.9739. Is i greater than 0.12?
False
Let j = 6.2 + -6.08. Let d = 11 + -10.78. Let t = d - j. Is 7/5 at least t?
True
Let f = -19 + 16. Let n(p) = -p**3 + 7*p**2 - 6*p. Let u be n(6). Suppose -3*a + 4*a = u. Which is bigger: a or f?
a
Suppose o - 3*m = -2*m + 1, 0 = -3*o - 4*m - 18. Let k be (3 + -73)*((-21)/(-6) - 1). Let r be ((-1)/5)/((-14)/k). Is o bigger than r?
True
Suppose 5*j + 4*a = 169, 5*j + 4*a - 164 = 5*a. Is -3 <= j?
True
Let f(t) be the first derivative of -t**4/4 + 5*t**3/3 - 5*t**2/2 + t + 7. Let z be f(4). Let k be (2 - 5)/z - 4. Which is greater: k or -4?
k
Suppose 115 - 35 = 5*i + 4*f, -2*f = -10. Let l be (-92)/22 + i/66. Which is greater: -2/5 or l?
-2/5
Let r = -34/3 + 439/39. Let q = r + 41/26. Let n = q - 13/6. Which is greater: n or -1?
n
Let k = -1.5 + 1. Let l = -2943/4 + 736. Which is smaller: k or l?
k
Let p be 1/3 - (-50)/(-24). Suppose -7 - 21 = 2*o. Let f = -16 - o. Which is greater: p or f?
p
Let v = -19 + 25. Suppose 36 = v*b - 4*b. Suppose -2*w - 20 = b. Is w less than or equal to -20?
False
Let p(f) = f + 10. Let d be p(-18). Which is smaller: -28/3 or d?
-28/3
Let k = 2519 - 1551. Which is smaller: 969 or k?
k
Let p be (-50)/38 - (0 + -1). Let d be 4*(-2)/6 + (-321)/(-963). Is p at most d?
False
Suppose 2*r + 0*x - 6 = -2*x, -4*x = 0. Suppose 2*k - u = -4, -15*k + 16*k + 5*u - 20 = 0. Which is greater: k or r?
r
Let m = -76 + 82. Which is greater: m or -7?
m
Suppose -q = -2*q + 8. Let z = q - 7. Let p be (-2)/7 - 40/(-175). Is p smaller than z?
True
Let b = -1482623921/11 + 135108384. Let d = -324613 + b. Let u = d - -222. Which is smaller: u or -0.5?
-0.5
Let v = 1 - -1. Let n be (-2)/v + 38/(-8). Suppose 101*i = -o + 102*i - 10, -4*o - 3*i = 12. Are o and n non-equal?
True
Let g be 3/21 - 26/((-7280)/(-3225)). Which is smaller: -12 or g?
-12
Let m = 118/29 + -7848/1943. Suppose -k = -3*f - 3, -5*k + 2*k + 4*f = -4. Which is greater: m or k?
m
Let j = -4957 + 7390. Let y = j - 26783/11. Which is smaller: y or -3?
-3
Let c be (1/2)/((-7)/112). Let u(d) = -d**2 - 9*d - 2. Let a be u(c). Let f = 4 - a. Is f greater than -1?
False
Let d = 35 + -71. Let x = d - -36.01. Is x smaller than 0.01?
False
Let u be (-4 - -1)/3 + 52. Let k = 154/3 - u. Which is bigger: k or 36?
36
Let n = 199 - 200. Which is bigger: n or -1/16?
-1/16
Let i(m) = -m**3 + 3*m**2 - 3*m + 4. Let v be i(3). Is v smaller than 2/89?
True
Suppose 11*x = 308 - 495. Which is smaller: -71/4 or x?
-71/4
Suppose -4*q - 6 = -5*q. Suppose -q*s = 30 + 36. Let c be (-140)/12 + (-2)/(-3). Is s less than or equal to c?
True
Let l(x) = x**2 + 5*x - 8. Let b be l(-6). Let d(m) = -m**2 - 12*m + 44. Let t be d(-15). Which is smaller: t or b?
b
Suppose 7*r - 18 = 13*r. Let n be 1 + -12 - (22 - 17). Which is bigger: r or n?
r
Let a be (1 - 38/42)*(9 + -12). Is a bigger than -453?
True
Let d = -92.1 + 92.721. Let l = -2.309 - d. Let b = 0.07 - l. Is b greater than -0.1?
True
Let q = 36976/7 + -5299. Is -17 not equal to q?
True
Suppose 2*k + 81 = 5*k. Let q(u) = -26*u**3 - u**2 - 2*u - 1. Let r be q(-1). Which is smaller: k or r?
r
Let m = -1/110 + -13/22. Let i = -0.05 - -0.65. Which is greater: i or m?
i
Let p = 102 - 154. Let c = -677/13 - p. Which is smaller: 0 or c?
c
Let i = 67/80 - 1/240. Let y be 282/24*(1 + (-46)/42). Let c = i + y. Which is bigger: c or -4?
c
Let a(n) = -5*n - 17. Let s be a(3). Which is smaller: -61/2 or s?
s
Let v be ((-3)/(-9))/((-8)/(-2448)). Suppose 0 = -3*x - 4*t + 303, x + 3*t - 18 = 83. Which is smaller: v 