Which is smaller: u or 1941?
u
Let k(u) = u**3 + 18*u**2 + 35*u + 105. Let f be k(-19). Is f at most -920?
True
Suppose 40 = 5*y - 315. Suppose 5*c + 2*k = 368, c - 35 = -2*k + 53. Which is bigger: c or y?
y
Let a be (-334)/(-22) + 2/(-11). Let c be ((-26)/a)/(180/54). Is c at most as big as -2?
False
Let h(v) be the third derivative of v**6/120 + v**5/20 - v**4/24 + v**3/6 - 5*v**2. Let t be h(-3). Let u be (-35)/(-20) + 8/(-4). Are t and u equal?
False
Let q = -275 + 1292. Let p = -430 + 466. Let u be (-2)/8 + q/p. Which is smaller: u or 27?
27
Suppose 626957 - 195995 = 7*r. Suppose -3*n + 3*x - r = 23853, n - 5*x = -28461. Let i be 7632/n + 1 + 10/(-14). Which is smaller: i or -1?
-1
Let g = -244.8 - -244.39. Which is bigger: g or -4/5?
g
Suppose 2*a = 1 + 1. Suppose 4 - 17 = -3*y - 2*i, -2*y + 16 = 5*i. Let s be y/27 - 3476/(-11484). Is a greater than or equal to s?
True
Let d = -2.832 + 2.867. Which is bigger: 0 or d?
d
Suppose 0 = -6*i + 653 + 103. Suppose -4*x = -11*x - i. Which is greater: -20 or x?
x
Let y = 8804/7 + -1260. Let k(f) = -f**2 + 35*f - 42. Let d be k(23). Let m = d - 237. Is m at least as big as y?
False
Suppose 3*s = -2*t - 22, 2*s - 6*s - 35 = -3*t. Let l = 584838206 - 73105161627/125. Let k = l + 3087. Is k > t?
False
Suppose 377 = 2*p - 3*y, -3*p + 1125 - 531 = 5*y. Which is smaller: p or 1931/10?
p
Suppose -3*l - 6 - 3 = 8*j, 5*l + 15 = 0. Which is bigger: 2/2097 or j?
2/2097
Suppose 7 = -3*j - 8. Suppose -5*q + 4*u = -1780, 362 = q + 7*u - 9*u. Let i be (-20)/56*q/22. Which is smaller: i or j?
i
Let l be (-1)/(11646/28*266/(-228)). Is l at most as big as -1?
False
Let n = -241660565/2636 + 91677. Is n bigger than -1?
True
Let m be 100/8*(-10 + -2). Let t be (46/(-10) + 5)/((-65)/m). Is t bigger than 0?
True
Let p be ((-39)/(-9) - 5)*-3. Suppose -5*d = -3*n - 6, -p*d + 4*n + 6 + 2 = 0. Suppose 5*f - 35 = -5*q, 0*q = -q + 5. Which is smaller: f or d?
d
Let z = 463 - 481.04. Let n = -73 - -91. Let q = n + z. Which is smaller: q or -1/4?
-1/4
Let l = 112 - 102.2. Let n = l + -9.3. Let t = n - 28.5. Is t equal to 1/3?
False
Let u = 30 + -31.92. Let a = u + -0.08. Do a and -26 have different values?
True
Let r = 81 + -124. Let o be (-5797)/119 - (1/7)/(8/16). Which is smaller: o or r?
o
Let w = -70.36 + 68.77. Is -18 not equal to w?
True
Let y be (8/33)/(19 + (-770)/42). Let h(j) = 2*j + 0 - j + 4. Let p be h(-3). Is y greater than or equal to p?
False
Let o = 22.4 - -32.8. Let u = -35.2 + o. Which is bigger: u or -6?
u
Let n = 1875 + -1859. Which is bigger: 25 or n?
25
Let b(o) = -17*o + 77. Let d be b(4). Suppose -5*h - 4*m + d = 0, -2*m + 1 = 3*h - 4. Which is bigger: h or 30?
30
Let u(w) = 2*w - 6 + 0*w - w. Let m be u(6). Let a = 21789/116464 - -3/7279. Which is greater: m or a?
a
Let b = -2280 - -2278. Is b < -0.08?
True
Let c = 150 - 215. Let h = 67.5 + c. Let z = 2.5 - h. Which is smaller: 0.03 or z?
z
Let w(t) = -48*t + 1152. Let j be w(24). Is 3/779 > j?
True
Suppose 54 = 5*x + l + 11, 2*x + 2*l = 22. Let s(f) = -f**2 + 0*f**2 + 18 + 11*f - 3 - x*f. Let v be s(6). Which is smaller: v or -8/3?
v
Let o(n) = -n**2 - 22*n + 36*n + 22 - 19*n. Let a be -15*(-7)/(-14) - (-2)/4. Let t be o(a). Is t at most 9?
True
Let k(t) = -t**3 + 5*t**2 - 7*t + 2. Let d be k(3). Which is smaller: d or 2/6827?
d
Suppose 15017*w = 15040*w. Which is smaller: w or 29/521?
w
Let j be 1*-5*(-9)/180*-344. Let v be 170/476*(-4)/j. Which is bigger: v or 1?
1
Let x = 305587895/1502 + -203454. Is -1 at least x?
False
Suppose -322 + 122 = 8*q. Is q < -1?
True
Suppose -286460 = 22*k + 131892. Does k = -19016?
True
Let c = -152 - -177. Let f be c*(156/240)/(2/16). Which is smaller: f or 129?
129
Let h = 7655 + -7454. Are h and 25 nonequal?
True
Let g = 0.2 - -1.8. Let y = -40 - -35. Let d = y - -2. Is g >= d?
True
Let c(s) = -s**2 + 22*s - 76. Let a be c(27). Is a > -212?
True
Let j = 94 + -66. Suppose j*r = 31*r - 39. Let h be (123/(-36) + 3)*(r - 4). Is h bigger than -5?
True
Let o = 208 + -198. Suppose f + 243 = 9*w - 6*w, 2*w = o. Which is smaller: -227 or f?
f
Let a be (-8)/36 + 25384/112689. Let c = -8 - -8. Is c smaller than a?
True
Let b = -211 - -215. Let k be (-5)/((-75)/(-36))*b/(-10). Which is greater: k or 2?
2
Let y = -44477 - -311889/7. Which is bigger: 80 or y?
80
Suppose -5*w + 2*o - 447 = -0*o, 3*o = 4*w + 359. Let j(d) = 8*d**2 + 28*d + 14. Let x be j(-10). Suppose -8*z = -14*z - x. Is z >= w?
True
Suppose 54 - 36 = 3*q. Suppose q*r = -0*r + 12. Suppose -r = 114*z - 116*z. Which is smaller: z or 2/49?
2/49
Let q(g) = 2*g + 64. Let f be q(-32). Suppose -7*o + 12*o - 3*r + 210 = f, 84 = -2*o + r. Let d = -117 - -75. Do o and d have different values?
False
Let j = 4168/8475 - 4/339. Let s(r) = -294*r + 9995. Let a be s(34). Which is bigger: j or a?
j
Suppose 4*y - 25 + 178 = 157*y. Is 21/310 < y?
True
Let c be (92/299)/(12/(-26)). Is c not equal to 717?
True
Let r(s) = -81*s + 438. Let b be r(3). Which is greater: 194 or b?
b
Let c = 13.2 - -35.9. Let o = 47 - c. Let x = o + 2.2. Is 3.8 at least as big as x?
True
Suppose -31 = -9*t + 14. Suppose -t*v + 5*j - 8*j = -95, -4 = v - 4*j. Suppose 2*u - 10 - 20 = 0. Is v greater than or equal to u?
True
Let n(c) = -4*c. Let m(u) = -2*u - 15. Let f be m(-7). Let v be n(f). Suppose 0*x - 9 = -a + 3*x, v = -x. Is a bigger than -9?
True
Suppose -g = 43 - 51. Let j be (-50)/g - (-18 - -12). Let m = 3 - 2. Do j and m have different values?
True
Suppose -2*b - 23 - 31 = 5*d, 12 = -d - b. Suppose -4*h = 11 + 37. Which is bigger: h or d?
d
Suppose 3*a - 26 = 2*a. Suppose -14 + a = -12*h. Which is bigger: -5/59 or h?
-5/59
Let x(m) = 2*m**2 + 24*m + 83. Let z be x(-5). Is -39 at least as big as z?
False
Let g(t) = -6*t + 182. Let n be g(30). Suppose 5*j + 81 + 198 = n*k, 5*j = -2*k - 291. Is j <= -56?
True
Suppose -5*v + 820 = 37*z - 42*z, -5*z = 4*v - 647. Which is bigger: 25 or v?
v
Let x(u) = 4*u**2 - 35*u - 4. Let q be x(-5). Suppose -7*i + 23 = -q. Let r be (-4)/(-6)*3*-1. Is r > i?
False
Let l(b) = b**2 + 18*b - 61. Let i be l(-21). Suppose 5*x - 24 = y, 4*y - x = 2*y - 3. Which is greater: i or y?
i
Let u = 640 - 580. Let k = 360 - 301. Are k and u nonequal?
True
Let w = 715 - 729. Let r = -13.187 - -0.287. Let p = 13 + r. Is p at least w?
True
Let p be -4*(174/36 + -5)*-15. Let h be (0 - -3)/(6/p). Let t be ((-4)/(-6))/((-2)/18). Which is smaller: h or t?
t
Let d(c) = -3*c**2 + 32*c - 7. Let j be d(7). Let p be (-65)/j + (-4)/8. Which is greater: 0 or p?
0
Let d(j) = -15*j - 2. Let r be d(3). Let b = -112221 + 785551/7. Is b smaller than r?
False
Let y(j) = -77*j - 79. Let s be y(-1). Suppose -4*n = -4*k - 1 - 3, -2*n = -4*k. Let l be 63/3 - (k - s). Are l and 19 nonequal?
True
Suppose 6*w = 2*w - 4*x + 568, -x + 702 = 5*w. Let f = 141 - w. Are 8 and f equal?
False
Let h = 697.9414 - -0.0586. Let w = -698.035 + h. Which is smaller: 2/5 or w?
w
Let y = 3/2485 - -2479/4970. Is -3.38 at most as big as y?
True
Let a(z) = z**3 - 25*z**2 + 225*z. Let v be a(30). Is 11249 greater than v?
False
Let j(a) = -a**2 + 8*a + 27. Let t = -13 + 8. Let p be j(t). Is p less than -38?
False
Let p(r) = 247*r + 2061. Let j be p(-9). Let t(q) = -162*q**2. Let m be t(1). Is j at least as big as m?
True
Let t be ((-3)/2)/(6/(-24)*(-42)/7). Do t and -201/92 have the same value?
False
Let y = 3077 - 4237. Which is bigger: y or 2/5?
2/5
Let z = 274 + -263. Let v = z + -196. Which is greater: 0.1 or v?
0.1
Suppose 5*t + 3*s - 277 = 0, -1 = -2*s - 3. Let c = t - 50. Let y be (11/(-33))/(2/3)*c. Is y > -5?
True
Let p be -1 - -1 - 9*2/23. Suppose -o = 2*o - 10*o. Which is smaller: o or p?
p
Let x = -26 + 26. Suppose x = b - 15 - 0. Let l be (-6)/(-30) + (-3)/b. Are l and -1/74 unequal?
True
Let c = 463 + -325. Suppose -3*u - 5*b + c = -346, u + 4*b - 166 = 0. Which is smaller: u or 157?
157
Let t = 1941 + -1976. Which is bigger: 2/7 or t?
2/7
Suppose -6*i - 2*c = -3*i - 2, 5*i = -2*c + 6. Let r be (i + -5)*(3 + -1). Let x = 1 - r. Which is smaller: x or 5?
5
Let n = 17/1000 + 46079/113000. Which is greater: n or -1?
n
Let l = 38321/7 + -5467. Does l = 8?
False
Let z = -0.825 - 38.455. Let m = z - -40. Let v = -0.5 + m. Are v and 1/3 unequal?
True
Let c be 1*3 + (-417)/141. Let a = 39.7 - 25.2. Let p = 15 - a. Is p 