690. Which is smaller: b or 98?
98
Let h(x) = 3*x - 30. Let a be h(11). Let f be 2/(-3)*(63/49)/a. Let o be (-1 + -1)*45/(-35). Which is bigger: f or o?
o
Let l = 4191 + -4173. Is -1/2 at least as big as l?
False
Let n = -9.99 + -0.01. Let x = -257.6 - -249.6. Is n at least as big as x?
False
Let j = -3887.02 - -3980. Let q = j - 93. Which is greater: 3 or q?
3
Suppose -175*z - 20*z + 820512 = 101*z. Which is smaller: z or 2774?
z
Let z = 31400 - 31400. Is 36/1483 less than z?
False
Let p = 13991/15498 + 4/861. Is p > 1?
False
Let u = -0.1645 + 0.02. Let m = -0.0185 - u. Which is greater: 2/7 or m?
2/7
Let w = 452 + -447. Suppose w*z + 4*b = 8*z - 817, 3*z - 3*b - 813 = 0. Which is greater: 535/2 or z?
535/2
Let m = -28487 - -47433. Which is smaller: 18947 or m?
m
Suppose 0 = 5*z - 10*z + 2515. Let g = 17597/35 - z. Is -1 at least g?
False
Let x = 46/1147 + 858965/3441. Is 251 less than x?
False
Suppose -2*o = 2115 + 861. Is -5947/4 greater than or equal to o?
True
Let g = -10888.9 + 10889. Let j = 0.10468 + -35.11668. Let t = 0.012 + j. Which is smaller: g or t?
t
Let n be ((-1)/(-2))/((-1)/6). Let b(l) = -19*l + 4. Let t be b(0). Suppose -2*o + t*k + 10 = 0, 4*o - 5*k + 0*k = 11. Which is smaller: n or o?
n
Let s = 29 + -30. Let k be (3 + (-1 - 2))/s + 925. Let y be (2 - (-6)/2)*2/k. Is y at most -1?
False
Let y be (-276539)/459*(-3 + 9) + (-1)/9. Is -3616 at most y?
True
Let p(z) = z**3 + 24*z**2 + 2*z + 41. Let i be p(-24). Let t be ((-30)/i)/((-45)/(-140)). Is t at least 13?
True
Let z = -10/709 + -17605/8508. Let g = z - -151/84. Which is bigger: -1 or g?
g
Let a be 963/10 - (-27)/(-90). Suppose a = 2*k - 4*v, -2*v = -0*k + 3*k - 144. Which is smaller: k or 47?
47
Let y be 13/((-65)/30) - (-21 + 12). Is y less than -60?
False
Let a = -84 + 83.8. Let f = -0.049 + -33.951. Let q = 34.13 + f. Which is smaller: q or a?
a
Let i be (-2)/1 - (0 - 19). Suppose 5*p - 2*t - 10 = -6*t, i = -p + 3*t. Let c be -5*p/10*-2. Do 0 and c have different values?
True
Let j = 3161 + -3160. Is j at most 969/8?
True
Let p = -3 - -6. Suppose f + 16 = 3*m, 3*m - p = -f + 5. Let a be (((-96)/28)/f)/((-27)/(-294)). Is 10 >= a?
True
Let k(l) = 6*l**2 - l. Let p be k(-1). Suppose 3*y = p*y - 248. Suppose -5*o - 122 = -7*o. Is y less than or equal to o?
False
Let n be 17/(612/224) + (-2)/9. Suppose 7 - 4 = -3*v, n = m - v. Which is greater: 2 or m?
m
Suppose 762 - 756 = -6*o. Which is bigger: 3/2467 or o?
3/2467
Let c(j) = 2*j**3 + 4*j**2 - 30*j - 91. Let a be c(-3). Which is greater: -22 or a?
a
Let s = -0.046 + -32.954. Let v = s - 13. Let i = 45 + v. Which is bigger: i or -6?
i
Let k = 2/13107 + 5544245/104856. Which is smaller: k or 53?
k
Suppose 3 + 13 = -32*c + 80. Let s be (-8)/(-12)*(-38)/(-14). Which is greater: c or s?
c
Let d = -131.6 - -179.05. Let p = 2.63 + d. Let a = -1.08 + p. Are a and -1/3 nonequal?
True
Let b = 106561 - 592798845/5563. Is b bigger than 1?
False
Let y = -12132/2335 + -2/467. Suppose -28 = 5*p - 3*t + 9, 2*t - 33 = 5*p. Which is smaller: p or y?
y
Suppose -z - 37 = -4*v, -3*v + 9 = -0*v. Let w(q) = -q - 41. Suppose -5*k - 67 - 15 = -4*f, 0 = 2*k + f + 25. Let i be w(k). Is i smaller than z?
True
Let l(s) = -1281*s**3 - s**2 + 2*s + 11. Let u be l(-2). Let r = u + -420271/41. Are r and 1 equal?
False
Let h(z) = 6*z - 66. Let a be h(14). Let l be 0/(4/a - 500/(-180)). Is l less than or equal to 2/241?
True
Suppose 0 = -2*i - 3*i + 25. Suppose i*y = 69 + 81. Let m = y + -45. Is m less than -12?
True
Let h(r) = -r**2 - 2*r. Let z be h(-2). Let p = 2158.19 - 2158.192. Is z not equal to p?
True
Let k be 4 - 27/6 - (-14184)/16. Is 886 greater than or equal to k?
True
Let v = 345 - 338. Suppose 11 = -v*u + 39. Which is greater: -1 or u?
u
Let x(y) = -y**2 - 87*y + 3811. Let t be x(32). Let c = -57 - -25. Is c smaller than t?
True
Let z(x) = -x**2 - 9*x + 3. Let s be z(-9). Suppose 4 = -v + 4*n, 1 + 2 = -4*v + 3*n. Suppose 3*y + 4*p = -0*p, s*y - 2*p = v. Is y greater than 2?
False
Suppose -3*t = -3*z - 12, -4*z - 2*t + 681 = 685. Let h(j) = 52*j**3 - 2*j**2 + 1. Let k be h(1). Let l be 1/2 - k/6. Do l and z have the same value?
False
Let s = 6 - 3. Suppose -2*r = -t - 1195, s*r = -r + 16. Let o = t + 70031/59. Which is greater: 1 or o?
1
Suppose 35 - 16 = 32*p - 13. Which is smaller: p or 5/584?
5/584
Let f be 8/152*(-166)/18. Let y = 5/19 + f. Is y greater than 116?
False
Let u(x) = x**3 + 6*x**2 - x - 2. Let a be u(-6). Let v be (-935)/44 + 1/a. Let p be (94/(-141))/(1/33). Is v less than p?
False
Suppose 3*n - 46 = -2*x, 9 = x - 3*n + 4. Suppose -8*i + 9*i = -x. Let a = -16 - 2. Is a less than i?
True
Let x = -125 - -124. Let f be x/6*7/(21/(-6)). Which is smaller: f or 3/4?
f
Suppose 11*r - 12*r = -4. Let i be 1 + (r/1 - 0). Suppose -2*w = -3*d + 144, 10*w - 253 = -i*d + 9*w. Which is smaller: -0.2 or d?
-0.2
Let k = -112436/6884265 + -2/18861. Let m = 1119/1460 + k. Which is smaller: -1/3 or m?
-1/3
Let y = -8822 + 8821. Is 15/1001 less than or equal to y?
False
Let c = -1582 - -1530.64. Let m = c + 51.3. Which is greater: m or -2/39?
-2/39
Let t = -24.58 - -22. Let k = -2.9 - t. Which is smaller: 0 or k?
k
Suppose -5*t = -3*o - 902, 5*o - 3*t + 1210 = o. Let i = 304 + o. Is -5/33 < i?
True
Let c be 5/(-15)*0 - 11. Let m(h) = 2*h + 25. Let r be m(c). Suppose r*b + 0*l - 54 = 5*l, 0 = 4*b + 2*l - 98. Does b = 22?
False
Suppose 42*h - 3105 = -165. Let q be ((-258)/63)/(30/h). Which is greater: 0 or q?
0
Let h be 222/407 + (-164)/462. Suppose 2*u - 19 = 3*b, -5*b + 3*b - 21 = -3*u. Let k be (b + (-6)/(-2))/2. Which is greater: k or h?
h
Suppose -154 = -3*r - 547. Let z = r - -121. Suppose 4*v = -3*g - 11, -4*g - 2*v - 43 + 15 = 0. Which is bigger: g or z?
g
Let z be (52/546)/((-6)/(-14)) + 6/(-27). Which is smaller: -1/4975 or z?
-1/4975
Let h be (-498)/1328 - (-3)/((-72)/13407). Which is smaller: h or 14?
h
Let n be 216/90 - (-8)/(-20). Suppose -3*x = n*x - 9*x. Is -4/53 >= x?
False
Suppose 0 = -6*x + 4*x + 400. Let m be (-1)/((-2)/x*2). Let z = 1266 - 1217. Is m != z?
True
Suppose -5*q = -17*q + 3 + 9. Which is smaller: -1/19 or q?
-1/19
Let z(r) = -33*r + 155. Let l = -228 - -232. Let b be z(l). Is 23 less than b?
False
Let s(n) = -4*n - 108. Let h be s(-28). Let p be ((-54)/12)/(-9)*1*h. Which is greater: p or 75?
75
Let f(n) = 40*n - 95. Let j be f(-22). Which is bigger: -1 or j?
-1
Let n be (-45)/(-21)*(-28)/(-8). Let y = 1127/150 - n. Is y less than 0?
False
Let o be (-228)/(-16) + (-2)/8. Suppose -134 + 34 = -34*x + 478. Are o and x nonequal?
True
Suppose 8 = 5*f - 17. Suppose 5*r + 335 = 5*x, -3*r + 5*r + 323 = f*x. Let c = x - 43. Is 20 smaller than c?
False
Let i be 36/24 - (-118)/(-4). Let v = i - -86/3. Let h = 2/123 - -158/369. Are v and h non-equal?
True
Suppose -12*n - 50 = -7*n. Let t(g) = -g**3 - 10*g**2 - 2*g - 18. Let p be t(n). Let z be (-60)/75 - p/10. Do z and 1 have the same value?
False
Let u(j) = j**2 + 3*j - 10. Let z be u(-11). Let h be (-92)/51 + (-52)/z. Which is greater: -1 or h?
-1
Suppose -3*o - 2*o - 2130 = 0. Let i be o/8 - (-6)/24. Suppose 9*d + 5*d + 3432 = -52*d. Are d and i unequal?
True
Let j = -113 + 185. Suppose -171 = 9*q + j. Which is smaller: q or -26?
q
Let j = -292 + -8. Let g = j + 260. Which is smaller: g or -41?
-41
Let m be ((176 - 180) + 27/2)/((-1)/2). Suppose 3*i - 8 - 19 = 0. Let z = i - m. Is z greater than 28?
False
Let g(u) = 243 - 452 + 236 + 2*u. Let a be g(-10). Is a <= 9?
True
Let b(j) = j**3 + 2*j**2 - j - 6. Let g be b(-4). Suppose -4*r + 388 - 217 = -5*q, 5 = -5*r. Which is bigger: q or g?
g
Let o = -6033 - -6017. Is o bigger than -40?
True
Let g = -2184 + 2185. Let i = -211 - -1897/9. Which is bigger: g or i?
g
Suppose -57*o + 3*b - 3 = -56*o, -2*b = 5*o - 70. Let q(y) = -3*y + 1. Let g be q(-1). Suppose -5*f = -2*z - 133, -o = g*z - z. Is f at most 2?
False
Let x be (-32)/(-6) + 1/(-3). Let u(p) be the second derivative of -3*p**3/2 + 17*p**2 + 57*p + 2. Let w be u(3). Which is smaller: x or w?
x
Suppose -s - 20538 = -5*m + 220, -5*m + 20750 = -5*s. Is 4152 at most m?
True
Let u(w) be the third derivative of -w**6/120 + 7*w**5/30 + w**4/24 - 7*w**3/3 + 77*w**2. Suppose 15 = 5*z - 55. Let d be u(z). Which is bigger: 12/13 or d?
12/13
Suppose 240 = 3*z - 18. Suppose w - 