 n - 558. Which is smaller: u or 4/127?
u
Suppose -17 = 14*i + 123. Let t be (3/6)/(25/i). Is t at least as big as -3/2?
True
Let l(t) = t - 8. Let g(p) = -2*p + 8. Let i(f) = -2*g(f) - 3*l(f). Let c be i(-6). Let d be (-4)/(-4 - 0) - (-1 + c). Which is smaller: d or -3/28?
-3/28
Let t be ((132/12)/11)/(-2203). Do t and 1 have different values?
True
Let i = -35510 - -30493. Is 1/2 bigger than i?
True
Suppose -1690 = 18*s - 5776. Suppose 4*j = 5*y + s, -4*j - 21 = y + 34. Is y greater than or equal to -46?
False
Let o = -55581/37 - -1502. Let b = -22/111 - o. Is b <= 0?
True
Let s be 18 + (4/(-14) - (-12)/42). Let x be ((-874)/(-15))/(6/s). Let a = 6378/35 - x. Which is smaller: a or 7?
7
Suppose -109*a - 90 - 41 = 22*a. Let p = 1295 - 19418/15. Is a < p?
True
Suppose -1 = 4*k - 3*k + 2*j, -6 = -5*k + j. Let z = -22 - -20. Let x be (26/28 + -1)*z. Is k at least as big as x?
True
Let l be (2 - (-24)/(-8))*9/3. Let t(i) = -129*i + 6. Let z be t(3). Let y = 1133/3 + z. Which is smaller: y or l?
y
Let t be 7 - ((-35972)/(-12) + 2). Let o = -2956 - t. Is 38 equal to o?
False
Let l be 1*(-3 + 0) + 2. Let w be ((-183)/6)/((-7)/336*4). Let b = w + -4387/12. Is l at most b?
True
Let b = -121055 - -36195411/299. Which is bigger: b or 0?
0
Let p be (8 - 5) + (0 - -84). Suppose -p = j - 72. Which is smaller: j or -14?
j
Suppose 2026 - 2116 = 121*u - 31*u. Is u > -2/4453?
False
Let h = 1 + -0.9. Let d = 413 - 382. Suppose 0 = 3*m - d + 79. Which is bigger: m or h?
h
Let k = 12594 + -12624. Let x be (2 + -3)*(-48)/(-28). Is x greater than or equal to k?
True
Let f = 4.8 + -5. Let n = -91.84 + 91. Let r = n + 0.14. Which is greater: r or f?
f
Let i = 0.2382 - 120.4382. Which is bigger: i or 1?
1
Suppose -5*l - 12 = -f, 4*f + 3*l - 5 = -3. Let s be (-9)/12*144/(-27). Suppose -3*w - 11 = -s*d + 8*d, 3*w + d - 4 = 0. Which is greater: w or f?
w
Let f = -472 - 68. Let a = f + 543. Is 2/11 greater than or equal to a?
False
Suppose -10 = 3*r - 70. Let w = -28 + r. Let x(z) = 2*z + 2. Let h be x(-4). Which is smaller: h or w?
w
Suppose 64 + 8 = -2*w. Suppose -425*v - 13081 = -98*v - 1636. Which is bigger: w or v?
v
Suppose -12*t = -25*t + 416. Let s be 3/2 - 176/t. Is -2/59 greater than s?
True
Suppose 73*i + 17*i + 11970 = 0. Is -135 bigger than i?
False
Let j be (-2)/(-5) + (-36)/(-10). Suppose 2*i + 8 = 4*i. Suppose c = -j*c - i*m + 10, -4*c - 4*m = -12. Which is smaller: c or -5/8?
c
Let w = -362 + 422. Let q be 3/w*325/104. Is q greater than 1?
False
Let x(i) = -419*i + 5. Let c be x(1). Let m = 325 + c. Is -88 greater than or equal to m?
True
Let f = -878266 + 4376146/5. Which is greater: f or -3038?
f
Let z = 0.44 - 0.68. Let m = -0.76 + z. Is -3/161 != m?
True
Let n be 0 - (-9 - 57/13). Which is bigger: n or 14?
14
Suppose 14617 = 3*c + 5260. Are c and 3119 nonequal?
False
Let q = -521 - -519.0666. Which is smaller: q or 2/3?
q
Let m = 1193/236 + -18/59. Suppose 0 = 23*g - 666 + 137. Let x = 27 - g. Is m <= x?
False
Let y = 8 - 8.027. Let l = -0.073 + y. Let s = -111.5 - -111. Is s <= l?
True
Let m = -67.6 - -64.22. Let y = -29.38 - m. Is y >= 2?
False
Let a be (-1464)/44652 + 112/(-305). Let j = -6.5 - -5. Is j greater than or equal to a?
False
Let l(t) = 2*t**2 - 37*t - 104. Let i(q) = -27*q + 264. Let u be i(9). Let k be l(u). Which is greater: k or -4.8?
k
Let i = 10041 - 10197. Are -142 and i nonequal?
True
Let w = 1444 + -1443.1. Which is smaller: 0.045 or w?
0.045
Let d be 21/28*((-48)/(-9))/2. Let x(s) = d*s - 10 + 3 + 4. Let k be x(3). Which is smaller: 4 or k?
k
Let c(r) be the first derivative of -3*r**2 - 188*r + 4. Let s be c(37). Is s bigger than -410?
False
Let m = -33/190 + -1/38. Let r = 59/6 - 755/78. Are r and m unequal?
True
Suppose 9 = 3*h - 0*h. Let o be 33/(-770)*-5*14. Suppose 1 = -4*z - o, 0 = -3*f + h*z + 6. Is f < -2/107?
False
Let a(q) be the second derivative of 2*q + 1/3*q**3 + 0 - q**4 - 1/20*q**5 + 21/2*q**2. Let j be a(-12). Is -8 < j?
True
Let j(c) = c + 0*c**3 - 3 + c**3 + 10*c**2 - 6*c**2. Let k be j(-3). Let q be 6/(-9) - (58/210 - (-16)/(-20)). Does k = q?
False
Let m be 22842/353184 + 7*3/(-336). Which is smaller: m or 1?
m
Let z be (-8)/20 + 231/15. Let s be 2/((-6)/(-9)*1). Suppose -s*g - 10 = -55. Are g and z equal?
True
Let l be (-1)/(405/12)*-12. Let i = 9617 - 9616. Which is bigger: i or l?
i
Let i = 3265/3 + -1093. Let u be (7 + -6)*(-1)/(-1). Which is greater: u or i?
u
Let f = 114 + -110. Let p = 8 - 4. Let w be (p/10)/((-8)/(-50)). Which is bigger: w or f?
f
Suppose u = 6*u - 20. Suppose -2 = -u*s - 2*a, 0 = -s + 2*a - 0 - 2. Which is smaller: 2/111 or s?
s
Suppose 5*j - j = 4*l - 32, 2*l + j - 4 = 0. Let q be (-2*28)/(1 - 5/15). Let s be (q - 1)*(-56)/1540. Which is bigger: s or l?
l
Let h(p) be the second derivative of p**4/4 + 17*p**3/6 - 5*p**2/2 - 2*p - 9. Let n be h(-6). Let s = -2 - -2. Are n and s unequal?
True
Let h(u) = -u**3 + 20*u**2 + 20*u - 17. Let s be h(22). Let v = s + 481. Does v = -61?
False
Suppose 29*p - 7836 = 15973. Is p greater than or equal to 823?
False
Let m(j) = -j**2 + 82*j - 1358. Let l be m(23). Which is greater: 14/827 or l?
14/827
Let z(x) = x + 9. Let b be z(-5). Suppose -5*f - 336 = 4*n, 10*f + 84 = -n + 7*f. Let h be (1 - 175/n) + 1/6. Is h >= b?
False
Let q be (0 - 2/1) + ((-1296)/(-8))/27. Is 934 bigger than q?
True
Let v = 6448 - 6446. Let r be (-322)/(-10) + 4/(-20). Which is smaller: r or v?
v
Let d = 34 - 31. Suppose -d*c = -c + 14. Let n be (-2)/15*-3*(-15)/c. Is 1/4 greater than or equal to n?
False
Let r = -290 + 265. Suppose 10 = -2*w - 48. Are w and r non-equal?
True
Let h = 4827 + -2932. Is h < 1896?
True
Let a = 5408889/19270 - 2807/10. Is 2/7 < a?
False
Let l = -61.37 - -61.27. Do l and -8714 have the same value?
False
Let k be 1/(-7 - 550/(-80)). Let w be k/12 + (-17868)/(-26640). Which is greater: w or -1?
w
Suppose -54*s + 29 = -1213. Which is smaller: s or 18?
18
Let b = -0.1823 + -31.8177. Let q = -38.38 - -0.38. Let n = b - q. Which is smaller: n or -1/2?
-1/2
Let x(m) = 3*m**2 + 36*m - 13. Let c be -22 + (3 - 0) - -7. Let d be x(c). Is d bigger than -8?
False
Let z = 39.01075 - 0.01075. Is 47 greater than or equal to z?
True
Suppose -234 = 3*x - 240. Let w(h) = h + 7. Let q be w(-5). Suppose -5*g + q*g - 5 = 5*d, -d - g - 3 = 0. Are d and x nonequal?
False
Let s = 890 + -891. Which is smaller: 2/14083 or s?
s
Let f be ((-1)/(2/26))/((-29)/(-58)). Let a be (-17245)/(-11)*f/(-195). Let q = a + -209. Do q and 0 have the same value?
False
Suppose c - 17 = -3*c + 5*h, -4*h = -3*c + 13. Suppose -c*q = -2*q - 27. Let a = 889 - 861. Which is smaller: a or q?
q
Let g = -395 - -608. Let d = g - 408. Which is greater: -1 or d?
-1
Let p be (24/21)/8 - (46417/784 + -6). Which is smaller: p or -52?
p
Let l(h) = -h**3 - 22*h**2 - h - 21. Let g = -280 + 258. Let c be l(g). Do c and 8/21 have the same value?
False
Let p be 3/(((-26)/(-26))/(5*1)). Let x(t) = -t**3 + 16*t**2 - 16*t + 16. Let v be x(p). Is 2/331 <= v?
True
Let m = 5033 + -5046.2. Which is greater: m or -3/7?
-3/7
Let q = -1/192 + -61/576. Let j = 749 - 531. Let h = j - 221. Do q and h have different values?
True
Let v be 0 + ((-18)/28)/((-30)/20). Let x = -1.51 + -4.49. Are v and x equal?
False
Let l(m) = -47*m**3 + m - 1. Let x be l(1). Let g = 50 + x. Let c be -16*(9/(-3))/12. Which is greater: g or c?
c
Let t(x) = 27*x**2 + 7*x - 19. Let h be t(3). Suppose 243*f - 906 = h*f. Is f < -453?
False
Let i(h) = 2*h**2 - 12*h + 20. Let y be i(3). Suppose -2*n + 7 = 1, v = y*n - 21. Let d(l) = l**3 - 6*l**2 - 3*l + 1. Let z be d(6). Which is bigger: v or z?
v
Let o be 11001/24 + (-201)/536. Which is smaller: 465 or o?
o
Suppose 2*l = -2*d + 34, l + d + 3 = -4*d. Suppose 3*o - 98 = u - 23, -3*o = 3*u - 63. Let x = o + -25. Is x equal to l?
False
Let o be ((-204)/340)/(9/255). Let x(v) be the third derivative of -v**6/120 + v**4/12 + v**3/3 + 2*v**2. Let d be x(3). Which is smaller: o or d?
d
Let u be (-3 + 3)*(-2)/(-4). Which is smaller: 1/115 or u?
u
Let m = 98.9453 - 98.9. Let r = m + 2.9547. Let f be 1 - ((-46)/(-42) + 0). Which is greater: r or f?
r
Suppose -5*y + 2*z - 470 = 0, -9*y + 14*y + 2*z + 490 = 0. Let f = 445 + y. Which is greater: 350 or f?
350
Suppose -2*n + 4*s = -10, 0*s + s = -3*n + 36. Le