 y?
y
Let m(n) = 2*n - 15. Let a be m(7). Let j be -2 + 6/(-21) + (2 - a). Which is smaller: -1 or j?
-1
Let i be (9/4)/(1/24). Is 54 at least as big as i?
True
Suppose 0 = -3*q - 3*d, 0 = 3*q + 4*d - 9*d. Let o be ((-2)/(-4))/((-2)/(-12)). Suppose 2*n + 7*r = o*r - 22, -r - 2 = -3*n. Which is bigger: q or n?
q
Let h be (114/(-9))/((-18)/837*1). Is h greater than or equal to 590?
False
Let c(s) = 2*s + 2 - 5*s - 1 + 7. Let u be ((-6)/(-5))/((-3)/(-10)). Let v be c(u). Which is smaller: -3 or v?
v
Let h be 8/(-12)*-3 - -2. Suppose h*w + w = 40. Let x = 6 - w. Which is smaller: x or 1?
x
Let s be -1 + (-3 - 0 - -4). Is -1/79 greater than s?
False
Let t = -0.3 + -3.4. Let w = 3.7 + t. Which is smaller: -2/23 or w?
-2/23
Let c = -849/4 + 212. Are c and -91 equal?
False
Let t = 503 + -502. Which is smaller: 4/37 or t?
4/37
Let f = 117.387 - -1.513. Let n = f + -118. Suppose 0 = h - 3*h + 2. Is h at least as big as n?
True
Let b be ((-1)/3)/((-41)/(-123)) - 1. Is 180 < b?
False
Let o(b) = b**3 + b**2 + b + 1. Let t be 12/(-54) + (-58)/(-18). Suppose 0*g = t*g. Let y be o(g). Which is smaller: 0 or y?
0
Suppose 4*s - 5*m + 0 = 8, 0 = 2*s + 3*m + 18. Which is smaller: s or -19/12?
s
Suppose 8*d = 4*d - 20. Let s be 12/d*90/12. Let p be (-20)/9 - 4/s. Which is bigger: p or -7/5?
-7/5
Let k = -18 - -18. Let x = -157/7740 + -1/516. Let l = -53/360 - x. Does l = k?
False
Let l = 93 - 94. Let h = -159 + 161.92. Let q = -0.08 - h. Which is smaller: q or l?
q
Let m be -38*2/144 - 60/270. Which is greater: -3/2 or m?
m
Let g(i) be the first derivative of i**2/2 - i + 3. Let r be g(6). Suppose 20 = r*t - 0. Which is smaller: t or 5/2?
5/2
Let r be 595/(-14) + 1/2. Let m = r - -27. Is -14 > m?
True
Suppose -d + 4 = 2*y, 3*d - 6 = -d + 2*y. Let n be d - 2/(-2 + 3). Suppose 3*j - 5*u + 31 = 0, 4*j - u + 11 + 2 = n. Is j greater than or equal to 0?
False
Let u(t) = -6*t**2 - 25*t - 8. Let c be u(-8). Which is smaller: c or -193?
-193
Suppose 5*s = h + 4*s + 153, -5*h = 3*s + 773. Which is smaller: -153 or h?
h
Let t = -15064/9 - -1674. Is 1.19 >= t?
True
Suppose 24 - 7 = g. Is 13 >= g?
False
Let i = 61/288 - -1/96. Which is bigger: i or -0.7?
i
Let l = 205759/473 + -435. Which is bigger: l or -1?
l
Let t = 10 - -5. Let w(q) = -26*q - 5. Let r be w(-3). Suppose r = 3*h + 25. Which is bigger: t or h?
h
Let l = 3.05 - 0.05. Let q = -7.4 + 3.5. Let j = q + 4. Is j <= l?
True
Let p = -26 + 23. Let t = -245 + 2699/11. Which is greater: p or t?
t
Suppose -2*p - 16 + 82 = 0. Suppose 6*d - 3*d - p = 0. Let l be -4 - (0/4 - 1) - -14. Is l greater than or equal to d?
True
Let f = -14.1 + 37.6. Which is smaller: f or 0.5?
0.5
Let l be -1 + ((-795)/190)/(-3). Is 0 less than l?
True
Let v be (-68)/(-102) + 716/(-1083). Which is bigger: 1 or v?
1
Let q be 18/(-5517)*-1227 + -2*2. Is q at least -1?
True
Let x = -45 - -28. Let l = -12 - x. Which is greater: 9/2 or l?
l
Let f = -0.0327 - 16.9673. Which is smaller: f or -1/2?
f
Suppose -5*v = -s + 4*s - 21, 3*v + s - 11 = 0. Suppose 4*r = a + 32, 57 = r + 4*r + 3*a. Let b be 11/(-3) + r/v. Which is bigger: -11 or b?
b
Let p(y) = -2*y + 4. Let n = -4 - -8. Let x be p(n). Let l(k) = -k**2 - 4*k + 1. Let c be l(x). Is -2 at least as big as c?
False
Suppose 2*u = -r + 2, 0*u - 9 = -3*u - 3*r. Let i = 830 + -14104/17. Let k = i - 97/323. Is k > u?
True
Suppose 2*p - 1 = -v + 32, -2*p + 103 = 3*v. Let t be (-3)/(-1) - 95/v. Which is bigger: t or 0.06?
t
Let p = 3.9 - 27.9. Let v = 23.936 + p. Which is bigger: v or -2/3?
v
Let c(v) = -v**2 + 6*v + 36. Let x be c(9). Is x < 23/3?
False
Let y = 61 - 56. Suppose -2*t + 4 + 6 = 4*p, -y*t = -5*p - 10. Is -2/157 > p?
False
Let c = -1 - -1. Let p(t) = -2*t**3 + t**2 - 5*t - 9. Let v be p(-2). Let j(y) = -y**3 + 22*y**2 - 19*y - 40. Let s be j(v). Which is bigger: c or s?
s
Suppose g = 11 + 4. Suppose -3*c - 2*o = c - 10, 3*o = g. Suppose -4 = 4*b - c. Which is smaller: -2/7 or b?
b
Suppose -2*i + 37 = -5*v, -2*v = -5*i + 22 + 18. Suppose -a + i*a = 0. Let l be 14/(-24) + (-145)/(-435). Which is bigger: l or a?
a
Let d = -276 - -276. Let a = 51 - 87. Which is smaller: a or d?
a
Let v(p) = -p**3 + 3*p**2 - 6*p + 7. Let z be v(2). Let a be (24/150)/(6/5 + z). Let j = -0.1 + -0.1. Which is bigger: a or j?
a
Let j = 24 - 24. Let k = 0.11 + -0.19. Which is greater: k or j?
j
Suppose 3*q = -5*g + 22, g + 2*g - 20 = 5*q. Suppose -g*t + 4*x = 12, 4 + 2 = -t + 2*x. Let k be (-32)/14 - (1 - 3). Is t < k?
False
Let o be 1/(1218/(-334)) + (-12)/(-42). Let j = o + 26/261. Is -4 bigger than j?
False
Let q = -0.05 - 0.024. Let g = -0.006 + q. Let z = 0 - 0.1. Which is smaller: z or g?
z
Let v(q) = -2*q**2 + 105*q + 95. Let r be v(48). Is 526 less than or equal to r?
True
Let h = -1201 - -1160.6. Are h and 2 equal?
False
Suppose 6*l = l + 15, -2*l = 5*u - 1. Is u at most as big as -14/11?
False
Let g(r) be the third derivative of -r**5/60 + 7*r**4/12 + 3*r**3 - 36*r**2. Let u be g(15). Let t(i) = -i**2 + 3*i - 1. Let l be t(2). Is l greater than u?
False
Suppose -2*u = 5*o - 295, 190 = 4*o + 5*u - 29. Let c = o - 733/12. Which is bigger: 0 or c?
0
Let l be (-1648)/36 - 4/18. Let b be 258/21 - 792/66. Which is smaller: b or l?
l
Let j(y) = -y + 2. Suppose 0 = -3*p + 9, 4*z = 5*p - 19 + 4. Suppose d = -4*d - g + 33, z = 4*d + 4*g - 36. Let h be j(d). Which is smaller: h or -6?
-6
Let f(o) = -o**3 + 4*o**2 + 5*o + 2. Let c be f(5). Let m(w) = 2*w**c + 2 + 9*w - 5 - 3*w**2. Let j be m(9). Is j less than -3?
False
Let x(g) = g**2 + 15*g + 119. Let m be x(-9). Does m = 62?
False
Suppose 5 = -8*g - 3. Which is greater: -14/23 or g?
-14/23
Let g = -32 - -20. Let p be g/(-2) + (-36)/(-12). Let u(t) = 3*t - 6. Let d be u(5). Is d > p?
False
Let y be (-3 - -2)/(2/4). Let j be 0/y - (-7 - -3). Let g(z) = z**2 - 2*z - 10. Let v be g(5). Is j > v?
False
Let c = 7031/14 - 502. Suppose -3*h + 13 = 7. Suppose -2*j = -3*g - 0*j - 3, 2 = -h*g + 3*j. Is c less than or equal to g?
False
Let u = -7/55 - 3829/165. Which is greater: u or -24?
u
Let w(b) = 9*b**3 + b**2 + 2*b + 2. Let q be w(-1). Let n be (5/(75/72))/(q/(-20)). Is 12 at least as big as n?
True
Let o be 2438/3948 - (-29)/(-87). Let w be -2*(-156)/141 - 2. Let s = w - o. Is s less than 1?
True
Let m(y) = 19*y + 4. Let n be m(2). Let r be (-2)/(-20)*n/(-3). Which is bigger: r or 0?
0
Let a be (0 - -1)*1*1. Let s = -8166491 + 23184668566/2839. Let h = 3/167 + s. Is h at least as big as a?
False
Let b = 28431/11 + -2585. Which is greater: b or 14?
14
Let c = 1 - 2. Let h be ((-4)/172)/(14/4746) - -8. Is h >= c?
True
Let p(u) = 119*u + 96. Let i be p(-1). Let s = -52 - -30. Are i and s equal?
False
Let m = -279 - -240. Which is bigger: -40 or m?
m
Let b = 22.3 + -22.2. Which is smaller: b or -75/2?
-75/2
Let x = -52.9854 - 0.3946. Let g = x + 53. Which is smaller: g or -1?
-1
Let d = 0.006 - -20.994. Let r = d + -20.94. Let c = -0.19 - r. Does -0.1 = c?
False
Suppose i - 4*q + 14 = -7*q, -2*i = -q. Let v = 2/91 + 12/91. Is v at least as big as i?
True
Let n = -40 + 45. Suppose -n*q - 25 = 0, f - 3*q - 10 = -4*f. Do f and -2/11 have different values?
True
Let i be 178/14 - 16/(3 + 5). Is i < 12?
True
Let w = 751/72 - 32/9. Is 6 bigger than w?
False
Let k = -0.043 - -41.043. Let j = k - 39. Do 4 and j have different values?
True
Let p = 1574 + -1592. Is 12 bigger than p?
True
Let o = 6 + -1. Suppose 0 = -o*i - 2*l - 148, -6*l + l + 120 = -5*i. Let m = 57/2 + i. Is -1 greater than m?
False
Let c = -1429 - -1461. Suppose 5*d + 3*h = 163, 0 = -h + 6*h - 5. Do c and d have the same value?
True
Let w(z) = z**3 - 15. Let x be w(0). Let v = -15 - x. Suppose 2*q - q = v. Is 2/5 > q?
True
Let a = -13.17 - -13. Let r = -2.37 - a. Let v = 4.2 + r. Is -2/9 at least v?
False
Let t = 45 - 15. Let x = -19 + t. Let l = -10 + x. Which is greater: 0 or l?
l
Let z be (0 + 1)*3 + -20. Let h = z + 18. Let d be (h/(-2))/(5/18). Are -0.1 and d unequal?
True
Let q = 72188365/34892 - 22758/11. Which is smaller: 1 or q?
q
Let z = 3/68 - -523/476. Let q = -115 - -46. Let c = -69 - q. Which is bigger: c or z?
z
Let b be ((-12)/(-46))/((-162)/108). Let t = 0 - -1. Is t greater than b?
True
Suppose -90 - 36 = 3*l. Is l > -42?
False
Let f = 1266 - 1278. Which is smaller: f or -15?
-15
Let g = 1724 - 2017