*l + w = -15. Are l and k nonequal?
True
Suppose 1772*h = 1763*h + 6138. Which is bigger: h or 666?
h
Let f(x) = x**3 - 14*x**2 - 27*x - 19. Let p be f(16). Let v = -1519/25 + p. Is 0 < v?
True
Let p(r) = r**2 - 14*r + 50. Suppose 0*s = 9*s - 54. Let b be p(s). Which is smaller: -1.7 or b?
-1.7
Let o = 7.7 + -27.7. Let h = -0.0123 + -20.0877. Let t = h - o. Which is bigger: t or -1.2?
t
Let l = -76 - -75.2. Let o = 0.3903 - -0.0097. Which is smaller: l or o?
l
Let i = 29 - -274. Let v = 304.81 - i. Do v and -1 have different values?
True
Suppose 2*b - 10 = -5*m, 3*m - 10 = b + 7. Suppose -2*g + 7*g - 15 = 0, -4*g - 2596 = -m*z. Let a = 1930/3 - z. Is -8 bigger than a?
True
Let b = 1048 + -1049. Is b > -0.189?
False
Let d be (-30438)/(-798) + (-4)/(25 + 3). Which is bigger: 349/9 or d?
349/9
Suppose -l + 5*c = 604 - 568, -22 = l - 3*c. Is l <= 32/151?
True
Let p be (-1506)/(-10890) - 5/((-750)/(-20)). Which is smaller: p or 4?
p
Suppose 60*v + 13*v + 5451 = -6*v. Are -17 and v unequal?
True
Let y = 125 + 110. Suppose -z - 2*f + 47 = 0, -3*f - y = -5*z + 2*f. Is z greater than 0.2?
True
Suppose 6815 = -5*k - 8*t + 5*t, 4*t = -0*t. Is -1360 not equal to k?
True
Let v(y) = -10*y - 42. Let f be ((-14)/(56/(-3)))/((-1)/8). Let p be v(f). Suppose -5*u + 2 + 3 = 0. Which is smaller: p or u?
u
Let d = -52 + 46.4. Let j = -196/5 + 194/5. Do j and d have different values?
True
Let s(j) = -2*j**3 - 35*j**2 + 25*j + 133. Let b be s(-18). Which is bigger: 24 or b?
24
Let s = -102.5123 - -0.2123. Let j = s - -102.6. Let d = 104/5 + -1966/95. Is j greater than d?
True
Let p be -162*9/(81/6). Let f be 6/24 - (-2235)/p. Which is bigger: f or -19?
-19
Let b = -366 - -369. Let t be b + ((-5184)/333)/4. Which is bigger: -1 or t?
t
Let o = -27/3845411 + 2604431077/154931609190. Let s = 1/1185 + o. Which is smaller: -1 or s?
-1
Let p = 2 + -94. Let d be (-100)/(-75) - p/(-42). Which is smaller: d or 0.08?
d
Let s(b) = -122*b**2 + 1432*b + 10. Let g be s(12). Which is greater: -378 or g?
g
Let x be 628/(-1318)*((-1270)/(-1260) - 1). Let n = x + 2/3295. Which is smaller: -1 or n?
-1
Suppose 0 = 5*x - t - 89, -3*x + 2*t = -117 + 65. Is x < 723/38?
True
Let h = 330 - 351. Let q be -4 - (-32)/(-3)*h/70. Is 0.6 smaller than q?
False
Let h = -3442 - -3443. Let z = 2/440305 - 787705669/5283660. Let l = z - -149. Are l and h unequal?
True
Suppose 44*i + 5*i - 147 = 0. Suppose 0 = n - 0*n - i*f + 50, -2*n - 84 = 2*f. Let b(m) = -44*m**3 - 2*m**2 + 1. Let t be b(1). Is n less than t?
False
Suppose 24 = 5*g + 2*u + 9, -3*u + 9 = 3*g. Suppose q + g = -2, -3*q - 71 = 2*b. Let h = b + 45. Is h > 17?
False
Let j be -3 + 6 + -5 + 4. Suppose -3*f + 1 = -j*f. Let t be -6*8/180*(-10)/(-68). Which is bigger: f or t?
f
Let q(a) = 2*a**2 + 19*a - 11. Let d be q(-10). Which is smaller: d or 3/3328?
d
Let a = 54 - 44. Let v be (22/a)/(3 - (8 + -4)). Let y = v + 9/5. Which is bigger: -20 or y?
y
Let f = -418.9938 + 419. Let j = -0.0938 - f. Is 380 greater than or equal to j?
True
Let d = -0.1161 - 9909.8839. Which is greater: d or 0.1?
0.1
Let a = -37 + 42. Suppose q = -8*n + 7*n - 3, -5*n + a*q = -35. Which is smaller: 7/8 or n?
7/8
Let k(c) = -c**2 - 11*c + 8. Let d be k(-11). Suppose d*a - 769 = 5*a - b, -4*b - 265 = -a. Suppose -a = 8*j + 39. Which is bigger: -34 or j?
-34
Let p be (19/57)/(10/13530). Which is smaller: 446 or p?
446
Let i be (-9)/(-62)*(-2820)/(-1551). Are 0 and i unequal?
True
Let g = -0.015 - -44.015. Let k = 4.791 + -48.731. Let y = k + g. Which is smaller: 2 or y?
y
Suppose 4*r + 4 = 2*o + 2*o, r - 3 = -3*o. Let x = -24/7 - -101/28. Is o smaller than x?
False
Let p be (882/(-57708))/((-2)/(-8)). Is p greater than -1?
True
Let s = -15/14 + 4/7. Let u = -17 - 16. Let a = u + 34. Which is greater: a or s?
a
Let p = 4.542 - 3.95. Let n = p - 0.592. Let c be 20/9 - 4/6. Which is greater: n or c?
c
Suppose -6*i + 25*i + 9*i = 0. Are -13/310 and i non-equal?
True
Let n be -1 - 5/(2/2). Let c(u) = 5*u - 72. Let g be c(15). Suppose 5*m - 2*m + 2*j + 21 = 0, -j = -g*m - 21. Are m and n equal?
False
Let k(h) = h**2 - 19*h - 12. Let f be k(19). Let r be f*7/(378/4). Let c = r - -1105/1233. Which is bigger: c or 0?
c
Suppose 5*k - 20 = 0, -4*k + 123 = 2*u - 71. Let m(l) = 47*l - 3. Let t be m(2). Let r = t - u. Which is smaller: 6 or r?
r
Let d be (2/24)/(13805/220). Which is bigger: 0 or d?
d
Let k be (1 + (-50)/8)/(45/5880). Which is smaller: -685 or k?
k
Let r be (0 + -2)/(6/(-87)). Suppose -41 = 5*z + r. Is z <= -27/2?
True
Let g = -7241 - -7948. Is g < 702?
False
Let a = -3003 - -3004. Suppose -5*o = -0*d - 3*d + 3, 2*o = -2*d + 2. Is d equal to a?
True
Let w be 3/(-9) + (-28)/15. Let p = 0.77 + -52.77. Let k = p + 52. Is w less than k?
True
Let h(s) = -s**2 - 3*s + 5. Let k be h(-3). Suppose 0 = 10*g - k*g + 130. Let z be 5/(-15) - g/42. Is z >= -6?
True
Let p = -1.136 + 1.136. Is 1546 greater than p?
True
Let y = -1436 - -1541. Suppose -3*u - 3 = 5*d + 3, -4*u + 27 = -5*d. Let m be ((-24)/(-44))/u + y/(-33). Do m and -2 have different values?
True
Let i = 1.7786 - 1.6786. Is -14406 > i?
False
Let o be 52364/(-126) + 2 + (-168)/108. Is o equal to 2?
False
Suppose 10610 = -i - 3*p, 53*p = 5*i + 51*p + 53084. Which is greater: i or -10617?
i
Let y = 5.41 - 8.08. Let v = y + 2.68. Which is bigger: -15 or v?
v
Suppose -3*f = -2*d - 2226, -3*d - 2975 = -4*f + 2*d. Do f and -0.3 have the same value?
False
Let v = -18853 + 18709. Are -2464/17 and v equal?
False
Let l be (-6 - -5) + (-44)/(-26). Let a(h) be the first derivative of h**2/2 + 4*h + 15. Let v be a(-4). Which is bigger: v or l?
l
Let c be (-4 + 34/3)*3/(-9). Suppose -4*n = 33 - 1. Let p = 7 + n. Is p greater than or equal to c?
True
Let i be 28/70*4285 + -5. Which is smaller: 1708 or i?
1708
Let n be ((1/3)/(4/(-12)))/((-16)/(-4688)). Which is greater: n or -298?
n
Let a be (77/22)/((-196)/(-28)). Is a at most -4.788?
False
Let u(s) = 40*s - 280. Let r be u(7). Let j be ((-8)/(-10))/(14/4165). Let k = j + -1196/5. Are r and k equal?
False
Let v = 17.852 + -1.852. Which is smaller: v or 5/93?
5/93
Suppose -4*m = -4*b - 3*m - 430, 4*b + 3*m + 438 = 0. Let y be (1/(-2))/(-5 + b/(-24)). Are 1/52 and y equal?
False
Let r be (-3 - 22/(-4))*(-48)/(-15). Suppose -r*v + 39 + 9 = 0. Is 7 smaller than v?
False
Let t be (-28)/70 + (-1744)/(-10). Suppose -9*x + t = -3*x. Let f = 29 - x. Which is greater: f or 2/45?
2/45
Let t = 2833 + -2834. Which is smaller: -2/579 or t?
t
Let r = 216.41 + -103.41. Which is greater: r or -9?
r
Let i(h) = -h**3 - 4*h**2 - 2*h + 6. Let j be i(-4). Let v = j + -3. Suppose 40 = -v*c + 7*c. Do -8 and c have different values?
True
Let g(c) = -c**3 - 8*c**2 - 4*c + 1. Let v = -111 - -151. Let j be v/(-6) + 14/(-42). Let u be g(j). Are -20 and u equal?
True
Let x(m) = -4*m - 1. Let t be x(-4). Let s(w) = w + 14. Let h be s(-10). Suppose -h*u + 6 = -2*u, 0 = 3*z + 5*u - 60. Is z < t?
False
Let d = -3342.423 + 3344. Let s = 0.077 - d. Which is smaller: s or -8/3?
-8/3
Suppose 21674 + 3875 = -5*d - 4*r, -2*d - r - 10219 = 0. Is -5109 not equal to d?
False
Let p(g) = -7*g + 61. Let k be p(9). Let x be 6 + 182*-1 + k. Which is smaller: x or -177?
x
Let x be 75/10 + -1 - 6/(-4). Suppose 8*b + x*b - 32 = 0. Suppose -b*c = -4*c - 12. Is -3 at least c?
True
Let d = -47 + 52. Suppose 0 = -d*c + 3*s + 25, -3*s - s = -c + 22. Suppose -4*f + 55 = -5*a - c*f, a + 11 = 4*f. Is -74/7 greater than a?
True
Let i(v) = 14*v + 2971 - 5946 + 2971. Suppose -f + 5*j + 19 = -0*j, -14 = -2*f + 4*j. Let s be i(f). Which is smaller: s or -19?
-19
Let s(u) = u**3 - u**2 + 226*u - 10. Let r be s(0). Let d be (-2)/6 + 124/(-6). Is r greater than d?
True
Let v be 44/28 + -1 + (-6)/(-14). Let j = v + 0. Which is bigger: j or 4/71?
j
Let w(x) = -2*x**3 - 5*x**2 + 38*x + 1. Let j be w(-9). Which is smaller: j or 716?
j
Let n = -37 + 41. Let c(z) = z**3 - 6*z**2 - 18. Let u be c(n). Is u at least as big as 1/5?
False
Let s = -6409 - -43886/7. Which is greater: s or -140?
s
Let h = -21928.1 + 21929. Which is greater: h or 80?
80
Let n(a) be the second derivative of 10*a**3/3 + 55*a**2/2 + 151*a. Let y be n(-9). Which is smaller: y or -126?
-126
Let w = 102 + -69. Suppose 2*p - w = 15. Let a be 39/2 + -1 + p/(-48). Is a at most -1?
False
