ler: p or -131?
-131
Let w = -2 + 4. Suppose 2*h = -w*h. Let u be 281/(-623) + (6/(-21))/(60/(-90)). Which is greater: u or h?
h
Let l = -32 - -43. Suppose -6*w - 8 = -w + 2*m, -5*w + m - l = 0. Suppose -3*x - 5*h = x - 25, 15 = -4*x + 3*h. Is x less than w?
False
Let m be 72/24 - (4 + 1). Let z be ((-78)/4)/((-2)/(m/3)). Is z < -8?
False
Let k = 318 - 318. Is -1/3 at least k?
False
Suppose -26*x + 25*x = -21. Suppose -x = -2*z - 19. Let t = 1167/14 + -83. Is z != t?
True
Let t(r) = 2*r + 18. Let m be t(-8). Suppose 9 = y - 4*y - 3*g, -2 = -2*y + 2*g. Let d be (m + -2 + y)*1. Are d and -1 equal?
True
Let t be (-39)/52 + 11/4. Suppose 5*a - g = t*g - 16, -a + 6 = 4*g. Let v be a + 0 + -6 + 2. Do v and -4 have the same value?
False
Suppose -3*d + 18*d + 300 = 0. Suppose 5*g - 4*l = -0*l - 110, -2*g - 11 = 5*l. Which is smaller: g or d?
d
Let x(c) = -c + 12. Let g be x(9). Let h(f) = 4*f + 16. Let m be h(-4). Do m and g have different values?
True
Let k = -1830 - -3062. Suppose -2*f + k = 2*f. Let b be f/(-245) + 4/10. Is 0 >= b?
True
Let j(g) = -g**2. Let l be j(1). Let f = -554 + 3881/7. Is l at most f?
True
Let h(t) = t**3 + 6*t**2 - 6*t + 5. Let s be h(-7). Let b(w) = w - 5. Let r be b(4). Let d be 15/(-9) + r/3. Is s > d?
False
Let k = 0.256 + -0.097. Let y = 0.059 - k. Is -33 > y?
False
Suppose -5*x - 2*n + 28 = 0, 5 = -12*n + 7*n. Which is smaller: -0.2 or x?
-0.2
Suppose 5*w + 5*k + 20 = 0, -w = 2*k + 3 - 1. Let g be 0/(4*3/w). Suppose g = 2*m + 4*b - 16, -m - 2 = -5*b + 2*b. Is m not equal to 4?
False
Let x be (-24)/40 + 333/5. Let j be 6/(x/15 - 4). Is j at most 15?
True
Let l be -2 + (0 - -2) + 1. Let y be (6/(-1) - 1539/(-228))/(-3). Which is greater: l or y?
l
Let i(j) be the second derivative of -8*j + 0*j**2 + 0 + 1/6*j**3. Let w be i(3). Which is smaller: 18/5 or w?
w
Let y = 0.149 + -0.029. Let z = 1.7 - 1.88. Let x = z - y. Is -2/11 != x?
True
Let o = 40522/9 - 4516. Is -14 >= o?
False
Let t = -0.06 + -0.05. Let n = -143 - -132.89. Let f = n - t. Is f at most as big as 0.1?
True
Let c = -4174693069524/3665 + 1139070422. Let i = c + 3/733. Which is smaller: 7 or i?
7
Suppose -2*j + 0*j - 9 = 3*b, 5*j = -3*b. Suppose -5 = v - 5*p - 0*p, 0 = j*p - 3. Let k be (6 - (-16)/(-3))/((-14)/6). Which is smaller: v or k?
k
Let x be (4/(-5))/(1 + 1085/(-1099)). Let l = -56 - x. Is l at least 8?
False
Let v(p) = p**2 + 24*p + 51. Let b be v(-28). Suppose b = 4*a - 29. Is a at least as big as 46?
True
Suppose -a = 3*a - 3*t - 36, -12 = 3*t. Let j be 16/(-64) + a/8. Which is bigger: j or 4?
4
Suppose -4*s - 16 = -12*s. Suppose -4*k - 3*j + 1 = 0, 7*j + s = -3*k + 2*j. Which is greater: k or 2/25?
k
Let g be (-16)/(-12)*(-6)/4. Let k = g + 1. Let t be 15/(2025/18) + (-274)/30. Which is smaller: k or t?
t
Let g = 826 - 923.9. Let b = g + 97. Is -6 less than b?
True
Let g(a) = -9*a - 5. Let l be g(-1). Suppose -10 + 1 = -3*i + 3*x, -3*x - 10 = -l*i. Is -0.07 at least i?
False
Suppose 0 = -2*q - 2*q - 4. Suppose 0 = -5*y - 5*g + 1235, -3*g - 4 - 5 = 0. Let a = 1997/8 - y. Are q and a equal?
False
Let s = -2 - -6. Let h = 18/101 + -137/202. Is s < h?
False
Let i = 1.2 + -1.62. Let x = 0.08 - i. Let o be (1 + 1)*(-2)/(-12). Is x bigger than o?
True
Let v(x) = 9*x**3 - 107*x**2 + 107*x**2 - 1 - 2*x. Let k(w) = w**3 + 2*w**2 + w + 1. Let d be k(-2). Let a be v(d). Which is bigger: -7 or a?
-7
Let w(o) = -6*o - 2. Let k be w(0). Let y = 245/12 + -85/4. Is y bigger than k?
True
Let c(r) = r + 12. Let m = 14 - 23. Let i be c(m). Suppose 12 = i*a, 4*a - 24 = -j + 2. Is 10 at least j?
True
Let w(s) = 7*s**3 - 2*s**2 + 5*s - 4. Let a be w(1). Does a = 6?
True
Let n = 11 - 1. Let x(i) = 2*i - 13. Let j be x(n). Suppose -4*p - 5 = -5*p. Which is smaller: p or j?
p
Suppose -28*h - 5616 = -2144. Does -128 = h?
False
Suppose 0 = -4*s + 5*b + 21, 8*s = 5*s + 4*b + 17. Let c = 13/4 - 133/36. Which is greater: c or s?
c
Let j be 1 + 320/(-1 - -9). Do j and 47 have the same value?
False
Let t be (-113 - (4 - 5))*1. Let i = t + 567/5. Are 0 and i unequal?
True
Suppose 4*b - 2*b + 17 = -5*g, 12 = 3*b. Let s be -7 + (-9)/(63/(-19)). Is g != s?
True
Let z be 80/(-6)*4/(48/27). Are z and -29 nonequal?
True
Let t be (-4)/(-14) - 96/(-7). Let a(s) = -3*s**3 - 35*s**2 + 10*s - 11. Let b be a(-12). Is t at least b?
True
Suppose 3*r + 24 = -129. Let w = r + 305/6. Is -3 bigger than w?
False
Suppose -12 = 3*d + 15. Let b be 3/(3/4) - 2125/170. Which is smaller: b or d?
d
Let f = -102 - -101.912. Which is greater: f or -2?
f
Let p = 220 - 220. Which is smaller: p or 18/19?
p
Let k be 6/10 - (-2696)/(-4260). Let b = -1969/4899 + k. Is b less than 0?
True
Suppose 5*y - 6*d - 75 = -d, y = -3*d - 1. Let u = -180 - -190. Which is smaller: u or y?
u
Let g(i) = -13*i**2 - 9*i + 6. Let a be g(6). Let s be (10/(-15))/((-2)/a*4). Which is smaller: s or -42?
s
Let g = -3 - -2. Let n = -156 + 83. Let s = -77 - n. Which is smaller: g or s?
s
Let c = 14 - -2. Let x be ((-1)/(-2))/(2/c). Which is bigger: x or 5/2?
x
Let t(m) = -2*m**3 - m**2 + m + 1. Let p be t(-1). Let r be (-2)/9 + (-16)/171. Which is greater: r or p?
p
Let t(x) = 0*x + 18 - 18 + 2*x. Let g be t(-2). Let l be (g/8*2)/1. Is 1/11 equal to l?
False
Suppose 6*n + 20 = 2*j + 4*n, -2*n = -j + 12. Suppose 20*b - j = 16*b. Which is smaller: -0.2 or b?
-0.2
Let p(g) = 3*g**3 - 6*g**2 - 3*g**2 + 18 - 2*g**3 - 3*g**2 - 15*g. Let l be p(13). Let m(h) = -h - 8. Let v be m(l). Is v greater than 1/42?
False
Let g = 378 - 344. Do 34 and g have the same value?
True
Let h be ((162/15)/(-3))/((-4)/(-20)). Is h != -20?
True
Suppose -2*h - 43 = 2*j - 479, -h = -j - 222. Let a be h/(-18) - (-10)/(-45). Is a > -12?
False
Let t = 5 + -5.7. Let f = 2/15167 - 30344/75835. Which is smaller: t or f?
t
Let w(y) = -y**3 + 3*y**2 + 5*y - 5. Let k be w(3). Suppose -2*f - 4*v - 9 = 3*f, 2*f = -5*v + k. Is -6 <= f?
True
Suppose 2*z - 2 = 8. Suppose 4*s = -3 - z. Let d = -0.104 - -0.004. Is s != d?
True
Let m(s) = -s + 14. Let n be m(7). Suppose -3*u - 16 = -n*u. Are -2 and u equal?
False
Let h = 0.26 - -14.74. Let p = -110 + 93. Let u = h + p. Are 0.03 and u non-equal?
True
Let r = 437 - 350. Is r at least as big as 87?
True
Let j = -2 + 3. Let i = -47 + 54. Suppose 40 = i*b + 3*b. Which is smaller: b or j?
j
Let m = -1150 + 1150.3. Let r = -4 + -1. Do m and r have the same value?
False
Let i = -1199 - -37171/31. Which is smaller: -1 or i?
-1
Let v = -38 + 51. Let i = v - 13. Is 3/17 not equal to i?
True
Let j = 60.1 + 0.9. Let r = j + -55.6. Let t = -0.6 - r. Does 0 = t?
False
Let r(h) = h. Let w(y) = y + 67. Let o(l) = 2*r(l) + w(l). Let v be o(-20). Which is smaller: 23/3 or v?
v
Let w be -6 + 2/8 + 2587/1404*3. Let c = 1 - 1. Do c and w have the same value?
False
Let w be 3588/351 - -1*(-6)/27. Suppose b = -b + 24. Is b > w?
True
Let h = 0.2 + -1.2. Let d = 0.1521 + 0.4279. Are d and h equal?
False
Suppose -44 = 4*y - 2*y. Let m be 10/(-60) + y/12. Which is smaller: -18/11 or m?
m
Let g = 218 + -217. Which is smaller: g or 1/200?
1/200
Let j be -3 - (396/(-51))/4. Let r = 9682/7 + -657809/476. Let g = j - r. Are -2 and g equal?
False
Let k be (-14)/(-18) - (-64)/288. Let c be (-6 - 2681/(-28)) + k/4. Is c smaller than 89?
False
Let q(h) = -7*h**3 - h**2 + 2*h - 1. Let t be q(1). Suppose -10 = l - 2*r, -2*l = 5*r - 4*r + 15. Let g = l + 7. Which is smaller: t or g?
t
Let m = 3 - 3. Let j be 35/(-11) + (6 - (-4 + 6)). Which is smaller: m or j?
m
Suppose 2*v - 7*v = 4*v. Let l be (-3)/6*6/(-93). Is l less than v?
False
Let c be 71/(-284)*(-17)/2*2. Are -1/44 and c nonequal?
True
Let s be (117/576*-4)/(1/(-4)). Is s at least as big as 2?
True
Let z(p) be the second derivative of -1/2*p**2 + 1/12*p**4 - 2/3*p**3 + 0 - p. Let i be z(4). Which is greater: -2 or i?
i
Suppose -j - 4*q - 11 = 0, -3*j - 2*q = -14 + 7. Suppose -h + 5*s = 3*h - 44, -j*h - s = -26. Which is smaller: h or 11?
h
Let r(j) = 5*j + 9. Let m be r(7). Suppose -5*w = 5*i + 150, 2*i - 3*w + m = -w. Let o = 26 + i. Which is greater: o or 3?
3
Let s(q) = q**2 - q - 1690. Let f be s(0). Let l = 580 + f. Let p be 40/l*(-6)/(-4). Is p less than or equal to 0?
True
Let y = 26228/31 + -846. Which is smaller: y or -0.3?
-0.3
Suppose 0 = 13*c - 14*c - 4*q - 8, 0 = 2*c + 4*q + 8. Let t = -3.6 - -9.