l. Which is greater: q or 51?
51
Let q be 7 - (0 + (4 - 1)). Let d be (10/q)/(3/6). Suppose -d*w - 9 + 14 = 0. Are 1 and w non-equal?
False
Let j = 278 + -278.2. Is j not equal to 138?
True
Let q = -5977/7 - -859. Let u = -29 + 34. Are u and q equal?
False
Let d be (-51*12/90)/(8/(-60)). Is 53 smaller than d?
False
Let y = 3.052 + -0.052. Let f = y - 13. Is -0.1 <= f?
False
Suppose -6 - 19 = 5*t, 0 = -2*y - 2*t - 4. Let h be ((-88)/y)/((-2)/3). Do h and 44 have different values?
False
Suppose -5*p = -9*p - 5*w - 341, 4*p = -4*w - 336. Which is bigger: -84 or p?
p
Suppose -2*u + 3685 = 3913. Is -115 less than u?
True
Let b(r) = 16 + 13 - 9 - 3*r + 4. Let k be b(8). Is k smaller than -3/8?
False
Let o = 352 + -288. Which is smaller: 63 or o?
63
Suppose 27*j + 3 = 28*j. Suppose 0*t - 15 = -j*t, 0 = -2*i + t - 3. Which is greater: i or -3/38?
i
Let c = -235/351 + 1/351. Is c bigger than -118?
True
Suppose 2*h = 2*r - 142, 0 = 2*r + r + 5*h - 173. Is r equal to -2?
False
Let o(d) = -d**3 - 8*d**2 + 4*d + 4. Let f(j) = -j**2 + 9*j + 2. Let y be f(10). Let z be o(y). Let b = z + 26. Are b and 1/3 unequal?
True
Suppose 5 = m + j - 0*j, -2*m - 3*j + 12 = 0. Let h be 5 - (0 - (-2 + -1)). Suppose h*n + 4*x + 1 = -1, x = 3*n - 4. Which is greater: m or n?
m
Let o(s) = 97*s**3 - 2*s**2 + 1. Let q be o(-1). Which is smaller: q or -99?
-99
Let f = 151681/23 + -6596. Which is smaller: 0 or f?
f
Let w be (21 - -15)/6*202/(-32). Which is bigger: -37 or w?
-37
Suppose c - 2 = -4. Let g = 8 + -14. Let m be (-8)/6 + 4/g. Is c > m?
False
Let v be -2 + (-80)/65 + 3. Which is greater: -1 or v?
v
Let y = -80 + 113. Let g = y - 31. Suppose 5*p + 3*f - 41 = 0, p + 25 = 4*p + g*f. Is 5 greater than p?
False
Let r(l) = l**2 + l - 1. Let a(d) = -2*d**2 - 14*d - 8. Let y(o) = -a(o) - 3*r(o). Let x be y(13). Which is bigger: 0 or x?
0
Let v be (-10)/(-3) - (3 - (-14)/14). Which is bigger: 7/17 or v?
7/17
Suppose 56 = 8*k - 15*k. Suppose 4*x - 46 = 2. Let l = k + x. Are l and 3 equal?
False
Suppose -5*b + 521 + 236 = -4*w, 4*b = 2*w + 374. Is w > -193?
False
Suppose 2 = -a + 3. Suppose 50 + 22 = -8*p. Let m be (-15)/7 - (7 + p). Do a and m have the same value?
False
Suppose 0 = -15*q + 4*q + 616. Which is smaller: 1 or q?
1
Suppose -98 = 3*x - 103*v + 107*v, -4*v = 4*x + 128. Let s(z) = -z**2 + z - 30. Let a be s(0). Is x bigger than a?
False
Let n = 4 + -2. Let m = -164.9 + 165. Is n >= m?
True
Let t = 430 + -283. Let y = t + -146. Which is bigger: -2/37 or y?
y
Let j = 9.1 + -5.4. Let r = -0.7 + 0.8. Is r at least as big as j?
False
Suppose -56*h = -48*h - 1072. Which is greater: h or 136?
136
Let i = -661 - -279. Do i and 0.1 have the same value?
False
Let y(h) be the third derivative of -h**5/60 + h**4/24 + 10*h**3 - 6*h**2. Let c be y(0). Let n = c + -901/15. Is n less than or equal to 1?
True
Let q = 31 + -35. Let j(b) = -8*b + 3. Let l be j(q). Is l less than or equal to 35?
True
Let g be -168 - (0 + 3 - 1). Let w be (-10)/g*(-2 - 0). Are w and 0.1 equal?
False
Let o = -24 - -21. Let i be -3 + 190/25 + o. Is 1 less than i?
True
Let w be (-33)/231 - 131/(-84). Is w less than or equal to 0.1?
False
Suppose 5 - 25 = -y. Suppose y = -3*m + 4*w - 9, 2*w - 18 = 2*m. Let o(u) = -109*u - 217. Let h be o(-2). Which is bigger: h or m?
h
Let n(w) be the second derivative of -w**5/20 + 7*w**4/12 - 4*w**3/3 + 6*w**2 - 2*w + 2. Let d be n(6). Which is smaller: 6/11 or d?
d
Let g = -1244/9 + 138. Let l be ((-21)/5)/((-36)/90). Let b = l + -151/14. Is b greater than or equal to g?
False
Let s = -6.02 + -33.08. Let o = s - -39. Does o = 28?
False
Let k = 25 - 119. Which is greater: -93 or k?
-93
Suppose -2*s - 5*w = 0, -3*s + 4*w = -s. Suppose l = -3*c - 15, 4*l + 5*c + 34 + 26 = s. Let t be 10/l - 19/3. Is t < -8?
False
Let y = 917 + -901. Suppose q + 16 = 2*q. Does q = y?
True
Let n = -12 - -10. Let g be (-2)/18*(n + 5/3). Which is greater: 0.1 or g?
0.1
Let s be (-286)/(-74) + 0 + -1*4. Is s >= 1?
False
Suppose 0 = -5*a + 27 - 12, -4*s + a = -33. Let p be (12 - 9)*2/6*1. Is s greater than p?
True
Let z be (-5)/((-55)/(-6)) - (-19170)/13365. Suppose 0*f = -5*f. Which is smaller: f or z?
f
Let d(w) = w**3 + 10*w**2 + 11*w - 6. Let a be d(-9). Let t be a/60 - 416/10. Do -42 and t have the same value?
True
Suppose -2*v - 2*y = -32, 0*v - 4*y - 53 = -5*v. Is v smaller than 10?
False
Let z(r) = r**3 - 15*r**2 - 2*r + 36. Let m be z(15). Let y(u) be the second derivative of -u**4/12 + 4*u**3/3 - 5*u**2 + 2*u. Let o be y(m). Is 2 equal to o?
True
Let r = 1.1 + -1. Suppose 12*y = 7*y - 40. Let d be (-5)/20*y/5. Is d at most as big as r?
False
Let i be ((-3)/(-1))/(-7*(-6)/14). Which is smaller: i or -17?
-17
Let p be (-104220)/22*2/6. Let d = -1578 - p. Is 0 <= d?
True
Let j = 1686131/251 + -325548250/31877. Let m = 7500 - 4005. Let s = m + j. Which is bigger: s or -1?
s
Let i = -110 - -224. Let u = -340/3 + i. Let n = 0.2 + -0.1. Is n bigger than u?
False
Let i = 39.745 + 0.255. Which is smaller: i or 1?
1
Let y(i) = -i**3 - 16*i**2 - 16*i - 15. Let g be y(-15). Which is greater: 5 or g?
5
Let a = 1837 + -1838. Are a and -2/1529 nonequal?
True
Let w be (-7 - -5) + 52/18. Let a be (35/15 - 3)*(-6)/4. Which is smaller: a or w?
w
Let w(p) = 8 + 1 + p - 2. Let q be w(-4). Let g = -8 - q. Is g at most -11?
True
Let l = -10 + 14. Suppose -100 = -c - l*c. Which is bigger: c or 19?
c
Let m(p) = -p**2 - 10*p - 15. Let k be m(-8). Is 9/52 less than k?
True
Let b = 3661/5 + -157493/215. Is b > 1?
False
Let f = 281.7 + -295. Let l = 0.3 + f. Let c = 13.9 + l. Which is smaller: c or 0.1?
0.1
Suppose 0 = -0*f - 5*f - 285. Let c = -59 - f. Suppose -2*n + 3*d + 4 + 0 = 0, -2*d - 4 = 0. Which is greater: n or c?
n
Suppose 74*b - 319 = 85*b. Is -47 at least as big as b?
False
Let w = -24.931 - -25. Let g = -2.069 + w. Let j = 60 - 188/3. Which is bigger: j or g?
g
Let f = 0.9 - 1.9. Let p(o) = -o**2 + 6*o - 11. Let q be p(9). Let b = q - -50. Is f smaller than b?
True
Suppose 6*s - 16 = 2*s. Let w be ((-10)/(-2))/((-2)/8*s). Which is smaller: w or -9/2?
w
Let g be 2*((-2)/(-6))/((-16)/(-408)). Suppose g - 7 = -2*y. Is -6 at least y?
False
Suppose u = -5*a - 8, -u + 4*a = 2*u - 14. Suppose -157 = -3*x + u*k, -x - 4*k + 6*k + 51 = 0. Is x at most 53?
True
Let i be ((-131)/(-44) + -3)/(2/(-8)). Let g(a) = -a**2 + a + 15. Let q be g(0). Let s be (-5)/(q/(-6)) + -3. Which is smaller: i or s?
s
Let f be (20/12)/5 + (-326)/982. Is 1 at most f?
False
Let n = -126 - -170. Is -3 at least as big as n?
False
Let l = -1997 - -1995. Is l less than or equal to -35/13?
False
Let n = 319 + -206. Suppose -n = -w - 103. Does w = -0.02?
False
Let y(a) = a**2 + 21. Let d be y(6). Is d at most as big as 68?
True
Suppose 0*a - 2*a = -2*i + 6, a - 2*i = -6. Does a = 14/27?
False
Suppose -3*c = -3 - 3. Let o(d) = 15 - 2*d - d + 4*d - c*d. Let p be o(7). Which is bigger: -1 or p?
p
Let c(z) = z**3 + 3*z**2 - 9*z + 2. Let n be c(-5). Is -17/8 > n?
True
Let p(t) = -6*t**2. Let f be p(-1). Let q = -2 - f. Suppose 5*b + q*k - 46 = -6, -2*k = b - 8. Is 7 greater than b?
False
Let n = 0.54 - 0.6. Let z = 3.06 + n. Let j = -646/9 - -72. Is z less than j?
False
Let z = 11 - -12. Is 143/6 > z?
True
Let l = -7 - -6. Let m be (1/(-15))/(l/9). Is m < 1?
True
Let q = 48 + -39. Let m = 9 + -8. Let c = 7 + m. Which is greater: q or c?
q
Let v(n) = n**2 + 2*n. Let p(k) = -11*k + 1. Let m be p(-5). Let y be (-72)/m + 2/7. Let x be v(y). Is 5 != x?
True
Let v be (2/(-22))/((-2)/(-2)). Let s = 105 - 57. Let u = s - 49. Is u equal to v?
False
Let g = 5.83 + -5.93. Do g and -5 have the same value?
False
Suppose 4*h - 10 = 6, 4 = 5*z + h. Let f(i) = i**3 - i**2 - i - 27. Let d be f(z). Is -26 at least d?
True
Let r be (7/(63/(-24)))/(2/(-3)). Let h = r - 2. Which is smaller: 15 or h?
h
Suppose -4*o + 2*n - 40 = -3*n, o + 10 = 3*n. Let g be (-1)/(-2) + 5/o. Let f = -169/4 + 1181/28. Is f greater than or equal to g?
False
Let h = 12.2 - 9.6. Let j = 2.54 - h. Which is smaller: j or -11?
-11
Let d be 14/(-35) - 64/(-10). Let i be d/(-4)*(2 + -4). Suppose 4*h - 9 = i. Are 4 and h nonequal?
True
Suppose -23*k + 1170 = 7*k. Is 194/5 > k?
False
Let i(a) = -a**2 + 3. Let h be i(0). Let f be (-34)/(-12) - h/6. Let n be (0 + -2)/(-1)*((-85)/10)/(-17). Are f an