1 + 53718. Which is bigger: x or t?
t
Suppose 0 = q - 4*q + 6. Suppose -4*g = 3*i + 11, 4*g + 5 = -3*i - q*i. Let f be (-2)/5 + i/(-30)*-4. Which is smaller: -6/7 or f?
-6/7
Let y(r) be the first derivative of 2*r**2 - 4*r - 8. Let i be y(0). Let q be 0/(-2 - (i + 3)). Is 3/11 bigger than q?
True
Let j = -702.62 + 700. Let o = j + 95.62. Does o = -2/7?
False
Suppose 3*m - 3*p = -4749, -m - 57*p - 1607 = -54*p. Is -1590 greater than or equal to m?
False
Suppose 52 = 4*p + 4*q, 4*p = 2*p - q + 28. Let j = p + -7. Let r = j + 15. Is r greater than or equal to 23?
True
Let q = -0.03048 - -0.23048. Is 7/682 less than q?
True
Suppose -381174*o + 153 = -381191*o. Suppose 2*n = 3*n - 14. Let a = 7 - n. Is o at least a?
False
Suppose -6*t = 779 + 103. Is -157 <= t?
True
Let v = -8.8 - 9.2. Let f = -48 - v. Let q be 16/24 - (-11)/(-12). Which is bigger: q or f?
q
Suppose 0 = 10*u - 12*u - 4*i + 32, -4*i + 32 = -5*u. Let y be (-1136)/(-3878) + (-12)/42. Which is smaller: u or y?
u
Suppose 5*o = s + 6, 7 - 17 = -3*o - s. Suppose -y - o*r - 27 = 40, 15 = 3*r. Which is bigger: -73 or y?
-73
Let n be 912/13 - (-2)/(-13). Suppose 2*h + 4*j - n = -0*h, -h - 5*j = -50. Suppose 0 = -2*o - m + 47, -2*o + 4*m - 29 = -91. Is o bigger than h?
False
Let q = 0.3 + 10.7. Suppose -6*b = -2397 + 2403. Is q >= b?
True
Suppose 1479*j = 1480*j + 3*b, 0 = 2*j + 2*b - 8. Is -340 at least j?
False
Let b be 16/40 - (-44)/(-135). Suppose 4*q - 5*l - 11 = q, 0 = 3*q - 3*l - 9. Suppose -c - 7 = -y + 6*y, -q*c = -4*y. Is b < y?
False
Let r = 425 - 659. Let z = -233.7 - r. Let v be (-2 + 0)/((-4)/2). Which is smaller: v or z?
z
Let z be (-9 + 658/70)/((-12)/(-10)). Is 658 less than or equal to z?
False
Let t = 34943 + -50284. Which is greater: -15340 or t?
-15340
Let i(s) = -42*s - 300. Let h be i(-8). Which is smaller: h or 34?
34
Suppose 5*a = 2*c + a - 58, -3*c = -a - 92. Let y = c - 47. Let x = y - -16. Is -2/63 != x?
True
Suppose 36 = -2*k + 2*s, 0*s - 37 = 4*k + 3*s. Which is smaller: 0.1 or k?
k
Let b be 3/2*55/165. Is b equal to -6/307?
False
Let b = -439/42 + -22/21. Let u(a) be the third derivative of -a**6/120 - a**5/10 - a**4/12 + 2*a**3/3 + 2*a**2. Let w be u(-5). Is b less than w?
True
Let n(l) = -3*l - 1. Let a(i) = i**3 + 3*i**2 - 55*i - 18. Let x be a(-9). Let c be n(x). Which is greater: 127/5 or c?
c
Let a(j) = -98*j - 1571. Let d be a(-16). Is d <= 1641?
True
Suppose -48*v + 52*v + 3389 = -3*u, -2*u + 3354 = -4*v. Is v > -847?
True
Let o(l) = -5 - 26*l + 47*l - 2*l**2 - 104 + 26*l + 28*l. Let h be o(36). Which is bigger: h or 2/523?
2/523
Let q be (4/(-6))/2 + (-24 - -24). Let u be 10/(-25)*(-15)/12. Is q equal to u?
False
Suppose 0 = 116*i - 12*i - 748511 - 61129. Which is smaller: i or -2?
-2
Let c(v) = 2*v + 11. Let s be c(-8). Let l(r) = 12*r**2 - 46*r + 89. Let m be l(2). Let w be -5 + (s - (-335)/m). Is -4 greater than w?
False
Let a be (212/12)/((14/(-2))/(-21)). Suppose 0 = 52*q + a - 1873. Which is bigger: 47 or q?
47
Suppose -y - 3*y = -m - 2717, 0 = 3*y + 9. Let x = -13776/5 - m. Which is greater: x or -27?
x
Suppose -2*i - 5 - 3 = -4*t, -3*i - t = 19. Let l(u) = -u**2 - 8*u - 9. Let m be l(i). Let x be 77 + -86 - (0 + -10). Is m at least as big as x?
True
Suppose -3*k + 5*c + 1239 = -105, 5*k + 2*c = 2240. Let z = 1574 - k. Let a be (3/(-18) + z/(-12))/2. Is a less than -46?
True
Suppose 0 = -41*h - 42 + 493. Suppose v = -4*g + 18, 2*v + 2*v + 4*g = 12. Let a be 4/v + 2 + 14. Is a > h?
True
Let q(o) = 12*o + 1. Let l be q(6). Let s = -71 + l. Suppose -s*h = -4*b - 162, h - 2*h - 147 = 4*b. Do b and -38 have the same value?
True
Let o be (-6)/(-21) - (-312)/63*6. Let t be -9*(8/o + (-2)/(-5)). Which is smaller: -1 or t?
t
Let o be (-2)/11 - 5*16/40. Let s = -8.371 + 7.771. Which is smaller: s or o?
o
Let p(v) = 142*v**2 - 7*v - 1. Let x be p(-1). Let w = x - 146. Which is bigger: w or 5/3?
w
Let m be (-2825)/(-75) - (-1)/3. Let g be (-148 - 2) + (m - 31). Which is smaller: -2/5 or g?
g
Let l = 1/19 - -17/38. Let b = 99.81 + 2.19. Let r = -141 + b. Does l = r?
False
Let a = -32 - -701. Let v = a + -669.2. Which is greater: v or -2/137?
-2/137
Let c = -220507/4 + 55460. Are c and 333 nonequal?
True
Suppose 5*v - 13 = 3*c, 2 = -0*c - 2*c. Suppose -3*q = -2*q + o + 20, v*q - 2*o + 44 = 0. Let g = q + 10. Is g not equal to -34/3?
True
Let x(b) = 27*b**2 + 6*b + 10. Let u be x(-8). Do u and 1690 have the same value?
True
Let m be 6/2*(-6)/9. Let x = 4403347/60 - 73391. Let a = 21/20 + x. Are m and a nonequal?
True
Let z = 322 - 324.12. Let j = z - -1.8. Is -1 at least j?
False
Let o be ((-13 + 10)/((-32937)/(-2)))/(7 + -5). Is 0 equal to o?
False
Let p be (-1)/2 + -1 - (-173838)/182. Let q = p + -954. Is 0 at most q?
False
Let k be ((-51)/1264)/((-31)/(-124)). Which is smaller: 1 or k?
k
Let a(l) = -2*l**2 + 28*l - 36. Suppose 3*g + 9 = -4*k + 42, -2*g = -5*k + 70. Let j be a(k). Is j smaller than 10?
False
Let u be (3/2)/(9/(-102)). Let b = u - -17. Suppose 0 = -g - 5*w - 13, w + 39 = -3*g - b*g. Which is smaller: -15 or g?
-15
Let z = -86 - -85.43. Let s = z + 0.802. Let t = 0.132 - s. Which is greater: 41 or t?
41
Let i = -22.552 - -22.2. Let q = i + 0.552. Let z = -3 - -7. Which is smaller: q or z?
q
Let l(x) = x**3 + 6*x**2 - x + 59. Let i be l(-7). Let u = 0 - -4. Suppose 2*g = -3*t - g + 54, u*g = 2*t - 42. Which is smaller: i or t?
i
Let p(b) = b**3 - 16*b**2 + 39*b - 25. Let s = -11 + 24. Let h be p(s). Which is greater: h or -124/5?
-124/5
Let v = 37933 + -36092. Do 1840 and v have the same value?
False
Let s = 79 - 44. Let a be -3 + 0 + 5 - s/20. Let f = 14 + -21. Which is smaller: a or f?
f
Suppose 7*c + 44 = 5*c - f, c + 11 = 5*f. Let x be c/14*(-230)/3. Let p = 65 - x. Are p and -51 equal?
False
Let t be 46/(-108) - 374/(-748). Which is bigger: t or 0?
t
Let o be 65035/(-15) + 5 - (-49)/(-21). Which is smaller: o or -4336?
-4336
Let a = 1585 - 1609. Let o = 7/130 + 9/26. Which is bigger: a or o?
o
Let d be (-1 + 258/30)/((-2)/40). Let q = d - -220. Is 200/3 greater than q?
False
Let v be 0*(54/(-12))/(-9). Suppose f = -v*i + i + 72, 3*i = -5*f - 232. Is i at most -73?
True
Let d = -0.37 + 0.11. Let b = d + 0.66. Let y = -1392 - -1407. Which is smaller: b or y?
b
Suppose 0 = -49*x - 80*x - 171*x + 3900. Let j(w) = -w**3 - 4*w**2 - w + 4. Let y be j(-4). Is x greater than y?
True
Let m = -45 - -136/3. Let i = 7376541/224 - 32931. Do m and i have the same value?
False
Let y = -23.14578 - -0.03578. Let o = y + 23. Let l = -0.59 + o. Which is bigger: l or -3?
l
Suppose -3*n - 390 = -f, 387*f = -4*n + 385*f - 530. Suppose 4*b + 480 = -52. Which is smaller: n or b?
b
Suppose -2*b - 8 = -5*t - 3*b, -2*b = -4*t - 2. Let k be (6/28)/((-2)/4) - (-285864)/669123. Which is smaller: k or t?
k
Let a(o) = o**3 + 4*o**2 - 5. Let q be a(-3). Suppose 24 - 4 = q*n, 2*n + 10 = 5*y. Suppose 4*l + 0 = y. Which is smaller: -4 or l?
-4
Let i(q) = q**2 + 15*q + 44. Let n be i(-12). Suppose -n = l + 7*l. Is l at least as big as -2/83?
False
Let z = -5.03 - 1.27. Let x = 545 + -551.1. Let g = z - x. Which is smaller: 19 or g?
g
Suppose 0*h + 17 = 3*j + 4*h, 3*h = 2*j. Suppose -5*v - j = 2, d + v = 3. Let b = -9238 + 9240. Are d and b non-equal?
True
Let l = -3549/370 - 3/370. Which is bigger: l or 13?
13
Let k = 1 - 1. Let r = -178191.077 - -178191. Which is greater: r or k?
k
Let n be (-30)/(-20)*-6 - 552 - 7. Is -573 at most n?
True
Let p be ((-154)/55)/(-2) + 147/(-55). Let h(b) = -b**2 - 9*b - 15. Let j be h(-7). Do j and p have different values?
True
Let h = 433 + -204. Let i = h - 213. Does 14 = i?
False
Let r be -45*8/(-12)*(-72)/(-16). Let l = 119 - r. Is -140/9 smaller than l?
False
Let t = -80.29 - -80. Let g = t - -0.287. Let l = -0.103 - g. Is l greater than -1/9?
True
Let x be -9*(12/45)/((-5)/50). Let j be (5 - 5)/(x/6). Is 13/30 at least j?
True
Let w = -7676 + 7962. Is 2 at most as big as w?
True
Let f be 6/4*-5*12/30. Suppose l = -4*z + 26 - 34, l = 5*z + 1. Which is greater: f or z?
z
Let k = 8 + -6. Let m be (-6)/(-1) - (-5 - -9). Suppose -3*x = -x + 2*a - 8, -4*x - k = -m*a. Is 2/13 < x?
True
Let d(c) = c**3 + 4*c**2 - 16*c - 3. Let z be d(-8). Let a = z + 137. Suppose 0 = 5*k - 17*b + 22*b, -4*b - a = k. Are -9 and k non-equal?
True
Let f(s) = s*