= -42718307/1414959 - -1/67379. Which is smaller: -30 or l?
l
Let i(b) = b**3 + 19*b**2 + 16*b - 19. Suppose 8 = 2*h + 42. Let f be i(h). Are 287 and f equal?
True
Let b = -163391/46 - -3552. Do b and 0.47 have different values?
True
Let s = 938 - 939. Let m = 536612/37 - 14504. Is m bigger than s?
True
Let p be (2/6)/((-4)/(-12)). Let t(f) = -4*f - 8. Let r be t(-3). Suppose -r*o - 5 + 9 = 0. Is o != p?
False
Let p be (-7*(-2748)/112)/(3/(-16)*-2). Is p at most as big as 458?
True
Let b(j) = -j**3 + 16*j**2 + 16*j + 21. Let p be b(17). Suppose 0 = -p*d + 10 + 38. Suppose 0 = 6*c - 6 - d. Is -3 smaller than c?
True
Suppose -3*u = -5*w - 19, 59 = 5*u + 19. Which is greater: w or 2.5362?
2.5362
Suppose 0 = 77*y - 94*y + 306. Suppose 4*b + 18 = 3*b. Let i be (b/5)/(13/(-65)). Is y greater than or equal to i?
True
Suppose k + 4*b - 110 = 0, b - 2*b + 5 = 0. Let h = -61 + k. Suppose h = 3*p + 26. Which is smaller: p or -3.3?
-3.3
Suppose 4*b - 48 = 5*h, -4*b + 18 = -h - 30. Suppose -3 = 3*q - b. Let i be (-1)/((q/(-15))/(5/(-25))). Is i at least as big as 2/101?
False
Suppose 19*f - 166 = 385. Suppose -f*b + 32*b - s - 1 = 0, -5*s = -10. Which is greater: -5 or b?
b
Suppose -5*w - 1190 = 2*g, -2*w - 448 - 27 = g. Is -238 at least w?
True
Let r(b) = b**3 - 2*b**2 + 2*b + 6. Let z be 6/(-33) + (-46)/(-11). Let i be (1 - 1)/(z/(-2)). Let w be r(i). Is -3 greater than w?
False
Let q = 5346 - 5063. Which is greater: 282 or q?
q
Let k be ((-2)/(-3))/(12/180*-20). Is -1287 less than k?
True
Let g = 326141/34 - 9591. Does 1 = g?
False
Let d(i) = -i + 6. Let z be d(5). Let f be (0 - 3) + (z - 1). Let x(w) = -w**3 - 2*w**2 + 5*w - 2. Let s be x(f). Are s and -8 unequal?
False
Suppose 428*f - 426*f + 1472 = 0. Let x = -497 - f. Which is bigger: x or 240?
240
Let g(m) = -24*m**2 + 2*m - 3. Let h(q) = q**2 - q. Let t(k) = -g(k) - 6*h(k). Let p be t(-1). Is p >= 7?
True
Suppose y - 1308 = 138. Are y and 1446 nonequal?
False
Let u be (0/(-1) + (-3)/1)/(-1). Let k be (9/18)/(u + (-33)/12). Which is smaller: k or -0.048?
-0.048
Suppose 47*v - 252224 = -60229. Suppose 9*d + v = -10*d. Which is bigger: -216 or d?
d
Let d = -39 + 55. Let g be (15 + 648/d)*(-16)/(-6). Are g and 147 equal?
False
Let c = 3 + -357. Let o be c/90 - 2/(-6). Let j = 2354 - 2357. Is o bigger than j?
False
Let c = 2.5246 + -2.5046. Which is greater: c or 111?
111
Let g = -53 + 45.2. Let f = g - -7.8. Are 53 and f non-equal?
True
Suppose -72491 + 93672 + 106979 = 45*g. Which is smaller: 2849 or g?
g
Let p(g) be the second derivative of g**5/20 + 5*g**4/12 - 3*g**3/2 + 6*g. Let f be p(-7). Let v = -32 - f. Is 6 greater than or equal to v?
True
Let z = 14198 + -19198. Is z bigger than -5000?
False
Let h = 0.918 + 36.382. Let p = h - 34. Which is bigger: p or -1?
p
Let u be (-574)/9858 + (7480/620 - 12). Which is bigger: u or 0?
u
Let i(k) = 8*k + 53. Let x be i(-12). Let q = -40 - x. Suppose -t + 0*t - 5*y = 1, -q*t = 2*y + 16. Which is smaller: -29/5 or t?
t
Let m be (-2)/(-1)*4/(-8). Let p be (8 - 4)*2/m. Let o be (-39)/2 + (25 - 21) - -7. Is p >= o?
True
Let j = 76 + -70. Let t = -246 - j. Which is smaller: 0.1 or t?
t
Let x be (-314)/(-28) - 3 - 4/(-14). Let v = -52 - -72. Suppose -24*m + 22*m + v = 0. Are x and m nonequal?
True
Suppose -9 = -5*u - k - 3*k, -2*k - 3 = u. Let i be u + 1/(-2) + (-536)/112. Which is smaller: i or -0.16?
i
Let t(d) = -d**2 + 85*d - 448. Let z be t(6). Is z < -77?
False
Let x be 15 - ((-575)/(-226))/(124/744). Let h(g) = -g**3 - 4*g**2 - 3*g + 1. Let m be h(-3). Which is bigger: x or m?
m
Suppose -462*l + 124 = -460*l - 4*t, 4*t - 172 = -2*l. Which is smaller: l or 58?
58
Let r = 1061.4 + -1059.4. Which is bigger: 6/4261 or r?
r
Let g = -156303/8 - -19579. Let a = 651 - 610. Let k = g - a. Which is bigger: k or -1/5?
k
Let c = 63 + 74. Suppose -v + 35 = 3*r + 111, -c = 2*v + 3*r. Let u = -88 - v. Is -26 != u?
True
Suppose 4 = r, 5*j + 312 - 98 = -4*r. Let o be (-1 - j/(-4))*(4 - 8). Let z be (-83)/(-174) - 25/o. Does z = -1?
False
Let g be (28084/(-9 - -2))/(2/(-4)). Which is greater: g or 8025?
8025
Let v be 19/2 - 18/12. Let z be (-33)/(-84) - 2/v. Let a = -73394/7 + 10484. Is z at least a?
True
Let f be 15*(48/(-15) + 1/5). Let n = 62 + f. Suppose n = g + 16. Which is greater: 2 or g?
2
Let l = 0.13 - -1.75. Let z = 0.88 - l. Do z and 0.1 have different values?
True
Let i = -8 - -13. Suppose 2*c - 17 = j, 0 = c + 60 - 68. Which is smaller: j or i?
j
Let h = -72 + 80. Let n(q) = 2*q - 18. Let i be n(h). Let z = i - -3. Are -26/7 and z equal?
False
Let a be -3*((-102)/126 - -1 - 0)/1. Is -0.06 not equal to a?
True
Let i = -0.964 + 0.864. Is i greater than -223/2?
True
Let k = 39.008 - -1.932. Which is smaller: 0.1 or k?
0.1
Let d = 0.4535 - -1977.5465. Do d and 2/3 have different values?
True
Let a be (5 - 1317/225) + 4/30. Let q = 8/25 + a. Which is smaller: -36 or q?
-36
Suppose -5*g = -a + 1328, 4*a - 272 = g + 7*a. Let f = -266 - g. Are -13/20 and f equal?
False
Let d = -533 + 533. Let s be (1/7 - d)/((-75)/(-150)). Which is smaller: s or -270?
-270
Let x be ((-792)/(-495))/(1/5). Suppose 22*w - 12*w = x*w. Are 8/91 and w unequal?
True
Let r be (-32)/176 - 46/(-11). Suppose 5*o + s = 2*o + 42, -56 = -r*o + s. Suppose -4*w + 21 = 3*w. Which is greater: w or o?
o
Let x be (-4 - (1 - 6)) + 7. Suppose x*b + 441 = -423. Is b bigger than -107?
False
Let d = -3.376 - -0.076. Let o = 2.1 + d. Let p = 6.2 + o. Which is smaller: 2/7 or p?
2/7
Let c(q) = 3*q + 25. Let o(p) = 6 + p - 3 + 5 + 0. Let i(x) = 6*c(x) - 17*o(x). Let m be i(-13). Are 0 and m equal?
False
Suppose 2*m - 4 = m + 2*t, 4*m - 2*t = 22. Suppose -7*i + i = -m. Let c(v) = 5*v**3 + 3*v**2 - 3*v + 1. Let u be c(i). Is -1 at most u?
True
Suppose 57*n + 2934 = 205*n - 5798. Do n and -3 have different values?
True
Let g be 0 - (-1 + 1)*-1. Let r = -460953 - -24430500/53. Which is bigger: g or r?
g
Let u be (-4)/(-34) - (-1098300)/(-1428). Let a = -195 - u. Is 575 smaller than a?
False
Let v be 3 + ((-360)/(-4) - -3). Let z be 15*(-4 + v/15). Suppose 0 = 9*p - 7*p + z. Which is greater: -93/5 or p?
p
Let f be 8 + 9/(9/(-4)). Suppose -58 = -f*w + 30. Let i(o) = -o + 20. Let n be i(w). Is -2 < n?
False
Let i = -3129 - -3103. Does i = 3?
False
Let w = 0.44 - 2.44. Let d = -2249 + 2107. Which is smaller: w or d?
d
Let c be (-7*(-58)/24)/(16/504). Let j = 529 - c. Which is greater: -3 or j?
-3
Let w be 1864/(-36) + (-10)/45. Let u = 61 + w. Let g(d) = -4*d + 1. Let x be g(u). Is x <= -36?
False
Let n(k) be the second derivative of -k**4/6 + k**3/2 - k**2/2 + 102*k. Let b be n(1). Which is bigger: b or 8?
8
Suppose -317*t + 220*t = 97. Which is greater: -2/15925 or t?
-2/15925
Let j(b) = 2*b**3 - 33*b**2 + 50*b - 105. Let m be j(15). Which is smaller: m or 1.31?
m
Let f = 17 + -7.9. Let q = 12.1 - f. Which is greater: q or -5/2?
q
Suppose 18*b = 26*b - 16. Suppose 2*j + b = 0, -5*g + 161 = -0*g + 4*j. Do 5 and g have different values?
True
Let l be (88 - 86)*(-4)/(8/202). Is l equal to -206?
False
Let b = 34970/47 + -744. Suppose 92 = p + 78. Let r(i) = -i + 14. Let d be r(p). Is d not equal to b?
True
Suppose -386*m + 396*m + 470 = 0. Which is smaller: m or -40?
m
Let u = -1/10957 - 3166568/54785. Let f = u + 2033/35. Suppose q - 5*v + 40 = 3*q, 0 = 3*q + 3*v - 42. Which is smaller: f or q?
f
Let x be (-124360)/(-2352) + 4/(-6). Let b = -313/6 + x. Let c be (12/(-3) + 4)/(-2). Is c >= b?
False
Let w be 2 - (-3 + -5 + 4). Let h be 10/15*-7*w/(-4). Let n be 12/(-28) - 11/h. Is -2 at least as big as n?
True
Let l = 4033 - 4033. Is 12/41 > l?
True
Let i = 457 - 464. Let y = i - -22. Which is greater: y or 174/11?
174/11
Suppose -1153 = -5*w + 3*b, 0 = 4*w + b + 3*b - 916. Suppose 3*s + u = -w, 0 = -4*s + u - 139 - 170. Let h = s - -80. Which is smaller: 5 or h?
h
Suppose 2*j + 3000 = 32*j. Let p = 77 - j. Is 2 at most as big as p?
False
Let w be ((14848/616)/(-1) - (-4)/14)/(-4). Is w less than 6?
True
Let m(x) = -x**3 - 5*x**2 + 22*x - 15. Let t be m(-8). Let l be 9 + -4 + 84/(-30) + -5. Which is smaller: t or l?
l
Let u be (-44)/10 - (-6)/15. Suppose 114*w - 2 = 113*w. Let n be -2*w - (-6 - u - -5). Is -33/5 smaller than n?
False
Let h(i) = -9*i + 84. Let j be h(9). Suppose 3*c = 5*c + j*k + 7, 2*c + 4*k = -10.