+ 49. Let v be h(-30). Suppose -13 - 5 = -2*p + 3*c, -5*p + v = -c. Which is bigger: -12 or p?
p
Let k = 48 - 54. Let r be k/4 + 2002/1100. Which is smaller: 0 or r?
0
Let z = -223 - -302. Suppose -22*p = -53 - z. Which is greater: 11 or p?
11
Suppose 22*b - 20*b - 191 = 5*z, 4*b - 4*z - 340 = 0. Is b > 2/5?
True
Let h = -8 - -14. Suppose 13*j - 16*j + 7*i = -33, 2*i = -3*j + 6. Which is greater: j or h?
h
Let k = -18 - -4. Suppose -38*a + 25*a + 7956 = 0. Let m be (-17)/(a/(-48)) - (-14)/(-15). Is m less than k?
False
Suppose 4*k - 2*k + 60 = 0. Suppose z - 21*r + 24*r = -22, 0 = z - 4*r + 50. Are k and z non-equal?
True
Let d be (10 - (40 - -6)) + 11. Which is smaller: -39 or d?
-39
Let o be 8/(-3) - 20/(-12). Let b be (4 - (-20)/(-5))*o. Is -9/19 less than or equal to b?
True
Let a be (-25 - (-4654)/182) + 188/(-1407). Which is bigger: a or 0?
a
Suppose -7*x + 7 = -6*x. Suppose -3*z = -q + 67, -z + 40 = q - x. Let b = 84 - q. Is 31 > b?
False
Let x(h) = 4*h + 22. Let u be x(2). Suppose 3*y + 9 = 0, 2*d - u = 2*y + 66. Which is smaller: 1/4 or d?
1/4
Suppose l = h - 152, 3*l = -h - 399 - 37. Suppose 2*j + x = -294, -3*j + 3*x - 436 = 2*x. Which is smaller: j or l?
l
Let b be (3 - (-28)/(-12))*-39. Let r be 3 + 1714/(-60) + (406/(-84))/(-29). Which is greater: b or r?
r
Let p = 8.85 + 0.15. Let o = p + 7. Let x = -84637 + 84638. Do x and o have different values?
True
Let k = 92 + -118.2. Let v = 26.2 + k. Let d be (-1)/6 + (-3)/6. Is d <= v?
True
Let w(s) = -2*s**2 + 41*s + 29. Let g be w(21). Let p be -3*1*g/48. Are 2/49 and p unequal?
True
Let p be (-27)/((-729)/855)*18/5. Which is smaller: 343/3 or p?
p
Let b be (-150)/1295 - (-2)/14. Suppose -52 = g - 3. Let d = g - -50. Is b at most as big as d?
True
Suppose 0 = -34*s + 36071 + 2315. Are s and 1130 equal?
False
Suppose -4*i + d + 21 = 0, -16 = -4*i + d - 5*d. Let w = -34 - -37. Suppose -w*k + 9 = -6. Is i not equal to k?
False
Let c be (8 - (3 - 2))*4/(-14). Let y be 4/(-15)*252/8. Let m = 38/5 + y. Which is bigger: m or c?
m
Let d = -3.79 - -3.69. Let h = 561 + -534.3. Let y = h + -24. Is d greater than or equal to y?
False
Let f = -19 + 17. Let z be 53/(-40) - f/10. Let g = -0.32 + 0.32. Is z greater than or equal to g?
False
Let y = -111 + 111. Suppose 2*k = 5*f + 90, -2*k + 0*k + f + 106 = y. Which is smaller: 54 or k?
54
Let z = -887 - -1227. Is 344 greater than z?
True
Let j = -14386 - -13878. Are j and -508 unequal?
False
Let a(x) = -x**3 + 9*x**2 + 90*x - 52. Let r be a(14). Is 226 greater than r?
False
Suppose -3*r + m = -10, 0 = 2*r - m + 5*m - 16. Let q = 9979 - 219475/22. Which is bigger: r or q?
r
Let p = -0.1257 + 0.1357. Is p less than or equal to -327?
False
Let y = 20/369 - 8462/33579. Let v = y + -151/2457. Which is greater: v or 0?
0
Let i = 1323.834 + -1325. Let g = -0.166 - i. Let x = -1.1 + 1.09. Is g smaller than x?
False
Let r be ((40/(-60))/((-28)/72))/(10/7). Let u be -1 - -1 - (-22)/(-77). Is u less than r?
True
Let q be (16/120)/((-5)/((-200)/12)). Let a = 8.9 - 9. Let f = 0.1 + a. Which is greater: q or f?
q
Let m be 2/(-8) + 10051/76. Let g be 1 - 0 - 9/(918/m). Which is greater: 1 or g?
1
Suppose -4*v + 74 = -5*o, 41 = -4*v + 2*o + 109. Suppose 0 = n - 36 + 41. Which is bigger: v or n?
v
Let j = 37 + -1. Suppose 0 = -2*i + 476 - 402. Let x = j - i. Is x < -0.2?
True
Suppose -m + 5 = -0. Let r be (-19)/5 - (-4)/m. Which is bigger: 1/5 or r?
1/5
Let k = -12.8512 - 0.3188. Let q = k + 2.27. Let a = -11 - q. Which is bigger: a or -19?
a
Let b be -15*8/(-14 + 6). Let u(z) = -z**3 + 15*z**2 + 20. Let k be u(b). Which is bigger: k or 24?
24
Let b(q) = 205*q**3 + q**2 - 4*q. Let h be b(2). Let c = h + -16333/10. Is c at least 4?
False
Suppose o - 6 = 22 - 64. Which is smaller: -69/2 or o?
o
Let h = -5/1428 + 269/357. Let n be ((-1)/6)/((-2)/(-4)). Are h and n nonequal?
True
Let c(k) be the first derivative of k**4/2 + 11*k**3/3 - k**2 + 21*k - 10. Let l be c(-6). Let r = -4 - -2. Which is smaller: r or l?
l
Let k = -0.01 + 1.51. Let i = -36629 + 36628.8. Which is bigger: k or i?
k
Let n(c) = 5*c**3 + 18*c**2 + 15*c - 157. Let q(m) = -11*m**3 - 34*m**2 - 29*m + 316. Let h(a) = -9*n(a) - 4*q(a). Let b be h(-25). Is b bigger than -1/88?
False
Let u be ((-8)/(-6))/(50/(-75)) + 40. Suppose -2*l - u = -3*m, -2*l - m - 18 = 4. Are l and -86/7 nonequal?
True
Suppose 10*u - 800 = 5*u. Let a = u - 159. Which is smaller: a or 2/527?
2/527
Let f = 29 - 53. Let u(d) be the second derivative of -d**5/20 + 11*d**4/12 - 7*d**3/3 + 8*d**2 + 49*d. Let n be u(10). Is n < f?
False
Suppose 2*l - 142 = -4*j, -22*l = 2*j - 24*l - 62. Which is greater: 33 or j?
j
Let t = -1464 + 1465. Suppose 5*o + 6 = 8*o. Let r be 10/36*o/65. Which is greater: t or r?
t
Let s = -8.8 - -8.8. Which is bigger: s or -8636?
s
Suppose 5*m - 138 = 2*l + 2*m, -2*l - 110 = 4*m. Let x = l + 63. Let j = -57/2 - -29. Is j <= x?
False
Let d(s) = 50*s**2 - 234*s + 3339. Let l be d(20). Is l at most as big as 18659?
True
Suppose -m + 4*m = -5*q, -3*m = 4*q. Suppose 6610 = 7*i + 28541. Let c = 466815/149 + i. Which is smaller: c or q?
c
Let j = -1 - 3. Let n(u) = u**3 + 3*u**2 - 5*u. Let c be n(j). Let l be (72/(-84))/(24/(-112)). Are l and c equal?
True
Let y be (-3)/3 + -3*1/3. Let j(x) = 8*x - 11. Let k be j(y). Let v = -10 - -12. Is k greater than v?
False
Let r(z) = 138*z + 404. Let y be r(13). Is 2200 at most as big as y?
False
Let b = -0.996 - -0.206. Let t = -0.89 - b. Which is smaller: t or 88?
t
Suppose -7*a + 0*a - 581 = 0. Let s = 17 + a. Let y = 464/7 + s. Which is bigger: 0.03 or y?
y
Let b = 0.01519 + 0.18481. Is -0.829 greater than or equal to b?
False
Let p = 70.042 - 6.442. Is 3 at least p?
False
Let o(q) = 3*q - 116. Let k be o(39). Let g be (4/(-374))/(-1 + k + 6). Is 0 < g?
False
Suppose 4*n = 24 - 20. Let j(u) = -4*u + 4. Let d be j(n). Which is greater: d or -1/84?
d
Let y = -88.6 + 87.6. Which is smaller: y or 0.0792?
y
Suppose 0 = -10*l + 415 + 295. Let v = 34 - l. Which is smaller: v or -35?
v
Let f be (-92)/(-6)*(-1158)/4 + (-15 - -20). Do f and -4432 have different values?
True
Let z be 10*(-1 - (-5 + 2)). Let u be (4938/(-2469))/(2*1/(-15)). Which is greater: z or u?
z
Let z = 79 - 78. Let c be 8/2*(0 - z/2). Let n be c/3 + 0*(-6)/(-18). Is -2 <= n?
True
Let o = -4.02 + 192.02. Let q = -268 + o. Which is bigger: 1 or q?
1
Suppose -3*a = z - 109, -5*z - 3 = -3*a + 136. Let m(j) = -j - 11. Let k(y) = 3*y + 45. Let n(b) = -2*k(b) - 9*m(b). Let g be n(-3). Which is smaller: g or a?
g
Let k = 1101.975 + -1102. Which is smaller: 0.061 or k?
k
Suppose 0 = -4*f + 8, 2*z = 6*z - 2*f - 20. Suppose 9*w - 9 = z*w. Suppose 3*h + 4*c - 4 = h, -3*c = -4*h - w. Is -2/23 less than h?
True
Let g be ((-2)/(-1323))/((-27)/63 - (-2)/21). Are g and -0.1 nonequal?
True
Let y(f) = -19 - 22*f - 37 - 31 + 0. Let b be y(-10). Which is smaller: b or 132?
132
Suppose -23*s + 7*s = 64. Let b be (568/(-40) - 1)*30/s. Is b at least 113?
True
Let i = 136 - 110.4. Let b = i + -25.9. Is b at most as big as -0.13?
True
Let n = 2 - 3. Suppose 5*j - 468 = 8*j. Let t = j - -155. Are n and t equal?
True
Let r = -562 - -506. Which is greater: -70 or r?
r
Let t be (-1 - 4)*241/(-1184515). Is t less than or equal to 1?
True
Let r be 4/((-16)/(-92)) - 3. Let x be 2/4 + 914/r. Which is bigger: x or 45?
x
Suppose 6*b - 7*b = -125. Let k = -89 + b. Let q = 52 - k. Is q equal to 16?
True
Suppose 3*f = -2*h + 612, 0 = 3*f - 3*h - 273 - 354. Let v be ((-3)/2)/(105/(-14420)). Is f not equal to v?
False
Let r = 25 - 23. Suppose -o - 4 = -r*o. Let i be 2 - (o/6 + (-3)/(-9)). Is i <= 1/5?
False
Let c = -12 - -27. Let w(g) = g - 18. Let f be w(c). Let a be f + 7 - 141/39. Which is bigger: a or -1?
a
Suppose -3*d + 66 = -42. Let u = 135 + -125. Let m be 1/2 - u/12. Are d and m equal?
False
Suppose -73 = -92*t + 19. Is t smaller than 2/3059?
False
Let h = -179.21 + 33.89. Let b = 145.1 + h. Let z = -0.1 + 0. Is z less than or equal to b?
False
Let i = 16864 - 16749. Which is smaller: 129 or i?
i
Let a(z) = -z**3 + 13*z**2 + 23*z + 17. Let j(i) = -i**3 + 12*i**2 + 21*i + 16. Let u(d) = -4*a(d) + 5*j(d). Let m be u(7). Is m at least as big as 152?
True
Let w = -895 - -669. Let p = w + 223.7. Is p greater than or equal to 0?
False
Let a = 22562