h is bigger: -5 or j?
j
Let t = 3.6 - 3.29. Let g = t - 0.21. Which is smaller: -9 or g?
-9
Let w be (160/(-100) - (-4)/(-10)) + 2. Which is smaller: 64 or w?
w
Suppose 16745 = 7*w - 2*w. Let l = w - 318152/95. Which is smaller: l or -1?
-1
Let z = -48 + 43. Let j = -23431/4932 - -1/1233. Which is greater: z or j?
j
Let o(i) = -i**3 - 9*i**2 + 7*i + 45. Let w be o(-10). Let x be ((-40)/(-1))/(15/w). Which is smaller: 199 or x?
199
Let r = 6.644 + -6.6. Let u = 16.956 + r. Let y = 16 - u. Is y at least as big as -0.012?
False
Let i(j) = 23*j - 66. Let s be i(3). Suppose 3*k = -4*v + 156, k - 4*k + 156 = s*v. Is 54 greater than k?
True
Let r(g) = -7*g - 42. Let c be r(-6). Suppose c = -0*z - 20*z + 360. Is z greater than or equal to 28?
False
Let n(z) = 4*z - 2. Let g(v) be the first derivative of 9*v**2/2 - 3*v + 15. Let w(s) = -3*g(s) + 7*n(s). Let o be w(3). Which is bigger: 0.2 or o?
0.2
Suppose -3*t - 5*t - 56 = 0. Let i = t - -47/7. Which is smaller: i or -31?
-31
Let q(b) = -b**3 - 10*b**2 - 31*b - 820. Let x be q(-27). Are x and 12412 non-equal?
True
Let l = -3 - -4. Suppose 7*v - t = 3*v + 25, -t + 20 = 5*v. Let n be -9 + 13 - (-6)/v*-5. Which is smaller: l or n?
n
Let n = 1642.8 + -1470.8. Which is smaller: n or 8?
8
Let o be (6/4128)/(3 - (-297)/(-100)). Let h = o + -1/12. Suppose -3 + 0 = 3*y. Which is greater: h or y?
h
Let d(q) = q - 14. Let c be d(17). Let g(f) = -4*f**2 + 2*f - 7*f + 7 + 0*f**2 + f**c - 2*f. Let s be g(5). Is -3 > s?
False
Let f(j) = j**3 + 12*j**2 + 12*j + 12. Let a be f(-11). Suppose -3*s + a = 5*p - 17, 3*p = -2*s + 11. Let l = 1243 + -2483/2. Which is smaller: s or l?
s
Let x = 53 - 1179/22. Is 1 at most as big as x?
False
Let p = -0.0553 - -72.1553. Let i = p - 68.996. Let u = -0.104 + i. Is u at most as big as -0.08?
False
Let x = 2.259 + -0.299. Let y = -2.76 + x. Is y <= 1?
True
Let z be -32 + ((87 + -3)/(-7))/(-1). Which is greater: z or -73?
z
Suppose -41*y = 2103 + 14912. Is 0.12 at least as big as y?
True
Let i = 0.54 + 6.46. Suppose 3*l = 14 - 32. Is l less than i?
True
Let h be ((-10)/1 - -2) + (-266)/(-35). Which is bigger: -0.607 or h?
h
Let d be 14/(-10) + 0 - 846104/46890. Which is bigger: -20 or d?
d
Suppose -p + 2*c = 3, -16 = 5*p - 4*c - 19. Suppose -8*a = -p*a - 9*a. Let w = -3/44 - 199/308. Which is smaller: a or w?
w
Suppose -z = -8*d + 4*d + 24, 2*d - 22 = 3*z. Let v be 12/30 + 8/d. Let c = -210.5 + 209.7. Are c and v equal?
False
Let z = 772 - 767. Suppose -2*n - q = 57, 3*n + z*q = 10*q - 105. Let j = 46 - 77. Which is greater: j or n?
n
Let l be -6 + -6 + 38315/2560 + -3. Which is smaller: l or -1?
-1
Let m = -7.71 + 3.74. Let s = m + 9.97. Which is bigger: -4 or s?
s
Let t = 41765 - 41765.0436. Which is smaller: 0 or t?
t
Suppose 0 = -3*h - 4*h + 133. Suppose 23 = 4*s + h, -o = -3*s - 22. Are o and 280/11 nonequal?
True
Suppose b - 4*b = -423. Suppose 3*n + b = -4*h + 20, 3*h = -2*n - 80. Let z = 42 + n. Which is bigger: 1/64 or z?
1/64
Suppose 4*u + 2*t = -46, 2*t + 2*t - 40 = 3*u. Let b be ((-4)/75)/(u/10). Let x = -49120 + 49120. Which is smaller: b or x?
x
Let r be 32/(6 + -14) + 63. Suppose 0 = f - 17 + r. Which is smaller: -45 or f?
-45
Let k be (-5)/35*-7*-1. Let p be (-4)/(-26)*4/104. Which is smaller: k or p?
k
Let y(f) = -81*f**2 + 674*f + 1344. Let r be y(-2). Is r bigger than -329?
True
Let f be ((-6)/14)/((-4)/84 + 0). Suppose -10*n + f*n + 2*a = -72, -n - 5*a = -107. Which is greater: n or 77?
n
Let q(x) = x**3 - 5*x + 5. Let p be q(2). Suppose 4*k - 3 = 8*k - p*j, 3*k + 4*j = -21. Let o be 1/((k - 0)/(-6)). Which is smaller: o or 5?
o
Suppose h - 185*p + 182*p = -9, 0 = -3*p + 9. Which is bigger: h or 464?
464
Suppose -4*z = 6 + 66. Let w be 2156/(-36) + (-4)/z. Let q = 61 + w. Which is bigger: 2/5 or q?
q
Let b be (-42 - (2 - 1)) + (-113 - -112). Let w be (-404)/(-10) + (-39 - b). Which is greater: 44 or w?
w
Let j be 1 - (-2 + 0) - (-2 - (-28 - -23)). Is j smaller than 1/2001?
True
Let r = -334/385 - -24/35. Let g = 10.367 - -12.633. Is g smaller than r?
False
Let j = -16 + 10. Suppose 3*l = 2*k + 6, -2*k - l = -7*k + 11. Suppose -13 = -4*u + 3, -30 = 3*r - k*u. Is r greater than j?
False
Let p be (40/35)/((-366)/27). Let n = p + -2/183. Let f = -67/42 - n. Is f > 2?
False
Let k be 7 - 4*(-3 - -5). Let j be 10/4*(-3)/(46425/(-20)). Which is bigger: k or j?
j
Let p = 76 - 72. Suppose -p*m + 2*m + 186 = 0. Let q = 106 - m. Which is smaller: -5 or q?
-5
Let z be ((-11)/(-8))/(5/180)*6. Suppose -z = 2*h - 29*h. Suppose 3*y + 26 = 2*v, -2*v - v + 4*y + 39 = 0. Which is smaller: v or h?
h
Let x = 38 + -14. Suppose 1586*s + 66 = 3*p + 1589*s, 2*p - 44 = 4*s. Which is smaller: x or p?
p
Let k(o) = -o**2 - 3*o + 13. Let i be k(-12). Let b = i - 27. Let g = b - -118. Which is greater: g or -3?
-3
Suppose 19 = -4*y + 3*i, 3*y + 18 = -2*i + 5*i. Let s = 714548/19 + -37608. Is s greater than or equal to y?
True
Let n be (-60)/(-14) + 6/(-21). Let u be (35/10 - 1) + (-6)/n. Let m be 60/(5 - u) - 2. Which is smaller: m or 12?
12
Suppose -20*o - 4 = -22*o. Suppose o*i = 4*g - 6, 5*g + 0*g - 18 = -i. Suppose 0*z + 2*r = g*z - 139, 3*z - r = 140. Is z != 46?
True
Let h = -1052 + 1050. Is 608 equal to h?
False
Suppose 4*z + 8 = -3*j, -3*j - z + 2 = -2*z. Suppose j = -15*n + 16 - 1. Which is smaller: n or -3/86?
-3/86
Let g(u) = -1 + 3*u - 8*u + 2. Let m be g(-4). Let c = 270.93 + -270.83. Is c smaller than m?
True
Suppose -73 = -48*y + 23. Let p be 4 - (y + (-5 - 123/(-21))). Let z = -4.6 - -5. Are z and p unequal?
True
Let x(z) = 18*z - 124. Let f be x(-102). Do f and -1960 have different values?
False
Suppose -5*v = 10*v - v. Suppose v = -2*r - 3*q - 15, 13 = -2*r + q + 18. Is r greater than or equal to 8/9?
False
Let m = -46.283 + 7.953. Let t = -38 - m. Let j = t + 0.07. Which is smaller: j or 3?
j
Let d be 425/(-119) + (-5)/((-35)/(-3)). Let n(u) = 18*u + 34. Let r be n(d). Is -35 greater than or equal to r?
True
Let a = 1353 + -1359. Is -15 not equal to a?
True
Let m = -14403 + 15774. Is -2 > m?
False
Suppose t + 2400 = -6*t - 3*t. Are t and -2168/9 unequal?
True
Let p(b) be the third derivative of -b**5/60 + 3*b**4/8 + 11*b**3/6 + 4*b**2. Let s be p(9). Let c = 1.397 - 1.497. Is c less than or equal to s?
True
Let n(k) = 39 + 15 + 4342*k - 4367*k - k**2. Let r be n(-27). Is r > -1/499?
True
Let s(k) = -k**3 - 8*k**2 + 19*k - 11. Let b be s(-10). Let q be ((-62)/b)/(-66 - -65). Which is greater: q or -58?
-58
Let c be 1*4 + (-264)/64. Let z(r) = -5*r - 7. Let j be z(-2). Suppose 4*i - j*o = -12, -7*i + o = -3*i + 4. Is c bigger than i?
False
Let j = -26224 - -26252. Let w(k) be the third derivative of k**6/120 - k**5/12 + 5*k**4/24 + k**3/2 + k**2. Let g be w(5). Is g at least j?
True
Let l(r) = -r + 6. Let g be l(12). Let q be (4/g)/((-1)/42). Suppose 19*d - 756 = -8*d. Is d < q?
False
Let p(c) = 22*c - 561. Let j be p(28). Does j = 74?
False
Let h(w) = 25*w**2 + 266*w - 14. Let i be h(-10). Is i at least as big as -1576/9?
True
Let o(m) = m**3 + 24*m**2 - 80*m + 29. Let y be o(-27). Let q be y/(-4)*(10 + 80/(-8)). Are q and 5/151 nonequal?
True
Let m be (1 + 9/(-6))*(-1 - 22/(-22)). Which is smaller: 5/847 or m?
m
Let q = -24 - -11. Let t = -131893/3 + 43950. Which is greater: t or q?
q
Suppose 2*f - 59*y = -63*y - 20, f - 4*y + 16 = 0. Let i be 58/f - (-5)/(-30). Which is bigger: -33 or i?
i
Let p be -4 - (2 + 20/(-2)). Suppose -p*z + 5*g - 44 = 0, -6*g - 2 = 3*z - 2*g. Let c be -2*z*(-21)/9. Is -28 >= c?
True
Suppose 5*w - 73 = -3*a, -w + 1 = 5*a + 4. Let g = 1 - 8. Let s = 11 - g. Is w >= s?
False
Let q(y) = 22*y - 177. Let g be q(9). Are 236/11 and g equal?
False
Let u(b) = b**3 + 11*b**2 + 35*b - 8. Let r be u(-10). Let j = -244 - r. Are j and 14 non-equal?
False
Suppose -2*b = -28*r + 23*r - 213, 3*r = 2*b - 211. Suppose -120 = -b*k + 80*k. Which is smaller: k or -41?
-41
Let c be 198/(-4)*(-1 - (-20)/12). Suppose 4*u - 93 - 33 = 3*t, -2*u + 64 = -t. Let i = u + c. Is -2/9 greater than i?
False
Let o = -4.52 - -0.62. Let k = o - -17.9. Let n = -14.2 + k. Do n and -2/13 have the same value?
False
Let h = -5900 + 448399/76. Which is smaller: h or -0.32?
-0.32
Let x = 237.4 - 229. Let u = x + -8.9. Let h = -3 - -2.8. Is u bigger than h?
False
Let v = -3 + 5. Let f(b) = -