p smaller than l?
True
Let j = 1.602 - -0.4. Let p = 0.002 - j. Are 1.9 and p nonequal?
True
Let b(g) = -6*g - 100. Let y be b(-11). Are y and -34 non-equal?
False
Let s be (-10)/(-45)*-1*(-9)/2. Is s at least -1/819?
True
Let y = -74 - -77. Let v be ((3/(-321))/(y/(-6)))/2. Is 0 at least v?
False
Let p(f) = -f**3 + 14*f**2 - 23*f - 1. Let s be p(12). Is 49/4 less than s?
False
Let v = -0.6 - -0.5. Suppose -3*c + 13 = 7. Which is greater: c or v?
c
Let d be 423/(-243) + -5 + 2. Which is greater: -5 or d?
d
Let v = 3 + 9. Let j be (-1)/(-4) + (-7)/v. Which is greater: j or 9/7?
9/7
Let c(a) = -3*a**2 - 3. Let o be c(-3). Let s = -50 - o. Let h be 4*(s/16)/5. Is h not equal to 1/31?
True
Let q = -101 + 100. Is -2/693 at least q?
True
Suppose -13 = -3*c + o, -2*c - 4*o = -3*c - 14. Let k be (-18)/(1*6/(c - 3)). Do -8 and k have different values?
True
Let l(v) = 15*v**2 - 7*v + 10. Let p be l(5). Let m be -2 - (-558)/p - (-6)/21. Do 1 and m have the same value?
False
Let h = -2341817 + 21019562/9. Let w = 6299 + h. Is w bigger than -11?
False
Let k(q) = -q**2 - 13*q. Let v be k(-10). Suppose -26*x - 32 = -v*x. Is 10 greater than or equal to x?
True
Let i(h) = 2*h - 660. Let a be i(16). Is a < -628?
False
Suppose 4*t - x = 80 - 3, -t + 43 = -5*x. Suppose -g = 2*g + t. Let c = g - -5. Which is smaller: c or -5/6?
c
Let b(t) = 8*t**2 + 7*t - 39. Let c be b(3). Which is bigger: 42 or c?
c
Let d(w) = 2*w**3 - 4*w**2 - 19*w + 80. Let b be d(5). Is 0 smaller than b?
True
Suppose 3*o + 13 = -j + 37, 0 = -o + 4*j + 8. Let w be (o/(-6))/((-6)/27). Let s = -169 + 176. Which is smaller: w or s?
w
Let d = -10624 + 32224/3. Which is bigger: d or 118?
118
Let q(h) = h**3 - 2*h**2 - 3*h. Let y be q(3). Suppose -4*t + 2*p = -2*p, -2*t - 2*p + 4 = y. Are t and 4/45 nonequal?
True
Let x be -12 + 11 + 3 + (-3)/2. Which is smaller: x or 233?
x
Let n = 8.3 - 7.9. Let b(i) = -3 + 4*i + 1 - i**2 + i. Let h be b(4). Is n greater than or equal to h?
False
Let s(a) = 9*a**2 - 2*a - 2. Let f be s(-2). Suppose 8*p - 46 = -126. Let m be -1 - (2 + f/p). Is 2 less than m?
False
Suppose 2*n - 3066 = 4*q, 4*n - 1855 = 4*q + 1201. Is q != -769?
False
Let r = 59.2 - -15.4. Does r = 0?
False
Let q = 32 + -12. Let u = -13 + q. Which is greater: -0.1 or u?
u
Let g = -26 + 25.8. Let r = 7.3 - 7. Which is greater: g or r?
r
Let n = 97 + -62. Suppose 2*t = 5*v + 68 - 9, -2*t = 3*v - n. Is 21 less than or equal to t?
True
Let a = -9505/15688992 - -1/17184. Is a < -1?
False
Suppose 2*l = -3*l - 2*q - 105, -5*l - q = 100. Which is greater: l or -61/3?
l
Suppose 4*u = 3*s - 48, 0 = -3*s - 5*u + 41 + 7. Suppose 3*z = -3*m, 5*m - s = 3*z - 0*m. Is -13/5 at least z?
False
Let s = 235/44 - 25/4. Let c(l) = -2*l**2 + 4*l - 2. Let v = 79 - 78. Let p be c(v). Is p equal to s?
False
Let y be (352/132)/((-78)/27). Let d be (-2)/(-7) + 5/7. Let p = d - 1. Which is bigger: p or y?
p
Let j be (260/5)/(-1 + 3). Let a be ((-126)/(-4))/((-45)/(-36)). Which is smaller: a or j?
a
Suppose 7 + 3 = 3*s - w, 2*w + 16 = 4*s. Let p be (-20)/(-8)*s/6. Let a(r) = -r**3 + 12*r**2 - 11*r. Let m be a(11). Which is smaller: m or p?
m
Suppose -12 = -4*c, 0*f + 3*c = 3*f - 21. Suppose k + 2*k = 18. Suppose -5*x = -f, -k = -y - 2*x - x. Are y and 1/18 nonequal?
True
Let u = 3812/5 + -4536/5. Which is smaller: u or -146?
-146
Let z = -103639402/665 + 155849. Let s = 1/95 + z. Which is smaller: -1 or s?
-1
Let n be (-6)/(((-108)/8)/9). Let d be 2 - -15 - (2 - n). Is d greater than 18?
True
Suppose -40 = -0*c - 5*c. Suppose -40*u - 5*t = -35*u - 70, -4*t + 20 = 0. Which is bigger: c or u?
u
Let c be (-364)/(-10) + (-2)/5. Suppose -4*w = -8*w + c. Let y = w + -15. Are -5 and y unequal?
True
Let t be (-26)/7 - 8/28. Let d be -3*(-2)/t*2. Let i(q) = -q**3 + 2*q**2 - 1. Let a be i(2). Which is bigger: a or d?
a
Let h(c) = -c**3 - 63*c**2 + 132*c + 105. Let q be h(-65). Suppose n + n = -46. Which is bigger: q or n?
n
Suppose 3*m - 4*d = -104 + 590, 3*d + 324 = 2*m. Which is smaller: 967/6 or m?
967/6
Let n(b) be the first derivative of 2*b**3/3 - 15*b**2/2 - 7*b + 6. Let t(k) = k**2 - 7*k - 3. Let z(l) = -3*n(l) + 5*t(l). Let r be z(10). Is 7 smaller than r?
False
Let l(v) = -v**3. Let r be l(0). Let t be ((-26)/208)/(-1*(-1)/(-6)). Do r and t have the same value?
False
Suppose -3*l + 71 - 18 = b, -5*l + 4*b + 77 = 0. Let r = l - 23. Do r and -7 have different values?
True
Let z be (-8)/(-6) + 0 - 1. Let u(c) = c**2 - 7*c - 2. Let f be u(8). Let s be ((-16)/60)/(f/9). Do s and z have the same value?
False
Let x be (-2)/(-2 - (0 - 1)). Let f(m) = 4*m - 28. Let d be f(6). Let a be (-18)/d*((-11)/15 + 1). Does a = x?
False
Suppose 131 - 151 = 5*g. Let j = -3.3 + 19.3. Let k = 16.1 - j. Is g not equal to k?
True
Let q(z) = 7*z**3 - z**2. Let c be q(1). Suppose 0 = -t + c*t - 70. Suppose -3*y - y + 52 = 0. Which is bigger: t or y?
t
Let z be 4/24*6 + 0 + 0. Do 17 and z have different values?
True
Suppose 2*c + 4 = -26. Let t = -15 - -11. Let f be (2/c)/(t/(-12)). Is f greater than or equal to -0.6?
True
Let j = -2 - -5. Suppose 4*k = l + l - 4, 0 = 5*k + j*l + 5. Let d be (15/(-35) - -1)*21/(-366). Is k less than d?
True
Let z = -45.1 + 45.1. Which is bigger: z or -45?
z
Let x be (324/99)/((-2)/(-11)). Is x greater than or equal to 22?
False
Suppose -20 + 5 = -5*z. Let j = -7.013 - -7.053. Which is smaller: j or z?
j
Suppose 0 = -36*c - 3 - 33. Let j = -22 - -31. Is j > c?
True
Suppose -2 - 2 = 2*v. Let n(l) = l**3 - 2*l**2 - l - 2. Let y(w) = -w**3 + 5*w**2 - 2*w. Let z(k) = 2*n(k) + y(k). Let t be z(v). Which is bigger: -4/7 or t?
t
Let y = -335 + 361. Which is smaller: 24 or y?
24
Let g = 134 + -148. Is -0.3 greater than or equal to g?
True
Let q = -10 - -9.66. Let i = q + 13.34. Let r = 12 - i. Which is smaller: r or -3?
-3
Suppose -11*l = 3353 - 42. Which is smaller: -304 or l?
-304
Let z = 0.2 - 0.4. Let r = 7.7 + -4. Let d = -5.7 + r. Which is bigger: d or z?
z
Let p be (-25)/5*(-5)/((-1250)/(-25304)). Let c = 506 - p. Which is greater: c or 0?
0
Suppose -6*x + 3*x = -2*o - 3, 4*o = -2*x + 18. Let d be 0 - (x + 1) - -5. Is d > -2/35?
True
Let w(o) = 5*o**2 - 4*o - 2. Let v be w(-3). Let g be (12/v)/((-5)/2500). Let u = 109 + g. Which is bigger: 1 or u?
1
Let m = -325 - -2917/9. Let f(c) = -13*c**2 + 2*c + 8. Let p(k) = 11*k**2 - 2*k - 7. Let t(x) = -5*f(x) - 6*p(x). Let j be t(3). Is j equal to m?
False
Let r be 15*(-10 + 364/39). Is 0.2 greater than or equal to r?
True
Let x = 38/31 - 176/93. Let r = 22.979 + 0.021. Is r less than x?
False
Let v = -8 + 10. Suppose -3*x + 4 = -v. Suppose -k + 0 = -x. Is k smaller than 0.4?
False
Let o(f) = -3*f**2 + 22*f - 23. Let d(t) = -2*t**2 + 11*t - 11. Let v(k) = -5*d(k) + 3*o(k). Suppose 5*s = -u - 4*u - 85, u + 5 = 0. Let z be v(s). Is z > -6/5?
False
Let w = 26 + -29. Let p(f) = f**3 + 2*f**2 - 3*f + 5. Let d be p(w). Suppose k + 0 - 6 = 0. Is k >= d?
True
Let g = -224.65 + 185.6. Let d = 39 + g. Which is smaller: d or -7?
-7
Let t = -0.2 - -0.1. Let f = -118 - -67. Let r = -50.95 - f. Which is bigger: r or t?
r
Let u be 1/(1/15) + 1. Suppose 21 = -r + 4*d, 1 = 2*r + d + u. Are r and -9 nonequal?
False
Let j be 650/(-550) + (-4)/(-22). Which is bigger: -726 or j?
j
Suppose 3*o - 2*o = -11. Which is smaller: o or -2?
o
Let m be (-90)/60 - 142/(-60). Which is bigger: 1 or m?
1
Let b be 6/(-8) + (-63)/(-84). Suppose 2*h = 3*k + 9, h - 2*h = b. Which is smaller: k or -2/7?
k
Let a be (6/4 - 110/20)/(-4). Which is greater: -4/41 or a?
a
Let v = 213 + -210. Are 31 and v nonequal?
True
Suppose -3*d = -d - 6. Suppose -d*m - 3*m = -6. Are m and -1 nonequal?
True
Let q = 1031 - 17521/17. Does 0.4 = q?
False
Suppose -3*i - 14 = -n, -4*n - 9 = 4*i + 31. Let z = i - -7. Suppose -w + z = -2. Is 1 not equal to w?
True
Let d(m) = -m**2 + 5*m - 3. Let j be d(4). Let y be ((-4)/8)/(j/(-2)). Let a = -6 + 9. Which is greater: y or a?
a
Suppose 5*c - 62 = -3*q, -2*c + 9 = 1. Suppose 4*y + q = -i, -2*y + 6 + 2 = 3*i. Let a be (-22)/(-4) + (0 - 0). Are a and i non-equal?
True
Suppose 21*a + 4*a + 3925 = 0. Which is smaller: a or -155?
a
Let p be 264/(-44) + 84/5. Which is bigger: p or 12?
12
Let g be ((-8)/1)/(-4) + -10. Let j be (-66)/g*10/(-15). Is 1/5 > j?
True
Let l = 30269932 + -12319868381/407. Let 