(-9)/6). Which is smaller: 1 or j?
j
Suppose -6*x + 20 + 76 = 0. Let s = x + -15. Is 11 at most s?
False
Let o be (-114)/(-20) - (2 + (8 - 5)). Are 0 and o equal?
False
Let y(b) = -5*b**2 - 7*b + 13. Let c be y(10). Are -555 and c unequal?
True
Suppose 0 = -k - k. Let q be (1 - 2)/((-42)/30). Let y = q - 13/28. Which is smaller: y or k?
k
Let r be (-8)/668*(0 + 0 + -2). Which is smaller: r or -1?
-1
Suppose 0 = 9*x - 274 - 1310. Do x and 177 have the same value?
False
Suppose 3*y = -5*n + 150, 0*y = y. Suppose 0 = 2*j - 2*p - n, 3*j = j - 4*p + 6. Which is greater: j or 0?
j
Let i be ((4/(-1))/((-2)/2))/(-6). Let o = -1 + 0. Are i and o equal?
False
Let c = -5 - -5. Let s = c - -1. Suppose -5*p = 2*n + 21, 2*n + 9 = 2*p - 5. Which is bigger: n or s?
s
Let n = -90.4528 - -0.0528. Is 0 smaller than n?
False
Let q = -29.989 + -0.011. Let x = 47 + q. Let f = x + -16. Which is greater: 7 or f?
7
Suppose 0 = -3*f + f + 6, 4*s + 2*f = -18. Let n be (-4)/(-2 - s) + 1. Which is smaller: 2 or n?
n
Let t(k) = -k**3 - 15*k**2 + 15 - 47 - 21*k + 26. Let o be t(-14). Which is bigger: -0.1 or o?
o
Let v = -2 - -2. Let f = -545 - -3807/7. Which is smaller: f or v?
f
Suppose 48 = 5*u + 7*u. Suppose -5*c + u = -3*d - 16, 8 = 2*c. Which is smaller: 3/11 or d?
d
Suppose 4 = 3*t - 4*c - 3, -2*c = -3*t + 11. Which is greater: t or 25?
25
Let g = -6 - 19. Let x = g - -24. Is -3 greater than or equal to x?
False
Let n = -40.2 + 37. Let f = n + 11.2. Suppose -u + 1 = -2*u. Which is greater: f or u?
f
Let w be 16/20*14*5. Let z be ((-2)/4)/(2/w). Let r be (-10)/(-35) + 4/z. Does r = -2/37?
False
Let s(v) = -v**3 - 5*v**2 + 8*v + 2. Let y be s(-6). Let b be 3*(-2 + 55/15). Suppose 2*x + 22 = b*l, -2*x = -0*l + 2*l + 22. Is x bigger than y?
False
Let c be ((-3)/6)/((-4)/40). Suppose 33 = s + q + 2*q, -5*s = -c*q - 65. Let o = 17 - s. Which is smaller: -3/13 or o?
o
Suppose 0 = 4*l + 739 + 149. Do -221 and l have the same value?
False
Let h be 156/992 + (-1)/8. Suppose -x - 3*x = -4. Is h < x?
True
Let a be (1/1)/(3 - (0 - -4)). Is a bigger than -25/16?
True
Let j = -260 + 246. Which is greater: j or -0.2?
-0.2
Let m = -99 - -98. Let c be m/((-20)/8) - (-455)/(-200). Does -1 = c?
False
Suppose 0 = 2*u - 3*w - 71, 61 = 3*u - u - w. Is u greater than 27?
True
Let h be (-5 - -4) + 0 - -46. Suppose -h = -3*t + 2*o + 2*o, -31 = -2*t + 3*o. Let m = t - 12. Which is smaller: 2/87 or m?
m
Let y = -21 - -3. Let k be y/3*(-3)/9. Let g be (-24)/26*k + 2. Which is greater: g or -1?
g
Let k = 2.63 - 12.93. Is 2/5 <= k?
False
Suppose 4*z + 4*t - 16 = -0*t, z - 3*t = 0. Suppose -x - 11 = -5*r, -z = -2*r + 5. Let l be ((-6)/x*3)/5. Is l > 0.28?
False
Suppose -3*z - 4*w - 32 = 0, -2*z - 2*z = -3*w + 1. Let i be (-12)/(0 - 4) + z. Is -20 less than i?
True
Let r(g) = 4*g**3 + g**2 + 2*g + 1. Let j(c) = -c**3 - 7*c**2 - c + 2. Let f be j(-7). Let i be f - 7 - (-1 - -4). Let u be r(i). Are u and -1 equal?
False
Suppose -161*w = -154*w - 2814. Which is greater: 403 or w?
403
Let v(m) = -22*m**2 + 26*m**2 - 9 - 2. Let j be v(4). Which is greater: j or 54?
54
Suppose a + 5 = -p, 344*p - 348*p - 16 = 0. Which is greater: 5/197 or a?
5/197
Let c(h) = -h**3 + 13*h**2 - 16*h + 28. Let v be c(11). Which is smaller: v or 91?
91
Let o = -20.992 + 21. Let i = 0.042 + o. Are 1/2 and i equal?
False
Let t = 139 - 133. Let s be 4/t*(21/(-6) - 4). Does -2 = s?
False
Suppose -5*b - 12 = -f - 3, 4*b = 4*f - 20. Suppose -2*q - 4*d + 24 = 0, q - 3*d - d + 18 = 0. Let l be q + (0/(-1))/1. Which is greater: l or b?
l
Suppose -6 = -5*d + h + 4, 2*h = 5*d - 5. Let c(y) = -9*y. Let z be c(-2). Suppose 0 = d*f - a + 10, 4*a - z = 4*f + 6. Which is bigger: 2/7 or f?
2/7
Suppose -3*c - l = 3*l - 1810, c - 606 = -4*l. Is 601 at most as big as c?
True
Suppose 14*w - 240 = 8*w. Let b be 1376/w + (-2)/5. Which is smaller: b or 33?
33
Let p = 0.096 - 1.296. Let m = 22 - 20. Which is smaller: p or m?
p
Let z be (-254)/(-14) - (-8 + 2 + 7). Which is greater: z or 17?
z
Let n = 197 + -216.4. Let x = -5.4 - n. Let a = 0.03 + -2.03. Is x less than or equal to a?
False
Let a(z) = -z**2 - 6*z + 17. Let p be a(-8). Which is greater: 1/107 or p?
p
Let v = 0.197 + -0.397. Is v <= 11/5?
True
Let h = 68 + -33. Let t = h - 35. Let b = 18/11 + -428/275. Which is greater: t or b?
b
Let x = 0.5 - -41.5. Let c = x - 43. Which is greater: 27 or c?
27
Let l = 75 + 5. Let b = l + -242/3. Let x = -1 - -1. Which is bigger: x or b?
x
Let v be 238/66 - 1/3. Let l = 962 - 958. Which is bigger: l or v?
l
Let w be (-23)/(805/434) + 4/10. Is w >= -17?
True
Let s = 57 + -17. Suppose 0 = -2*l + 8 - s. Suppose 3*w - 30 = 3*v, -v - w + 55 = -5*v. Which is greater: l or v?
v
Suppose -5*s - 4*o = -31, 2*s - o = 5 + 10. Let m(n) = -9 - 43*n**2 - 34*n**2 + 8*n + 76*n**2. Let c be m(s). Which is smaller: -3 or c?
-3
Let d = 14 - 27. Let p be 2264/(-120) + 4 + 4/(-30). Let h = d - p. Does 0.5 = h?
False
Let u be (5/15)/(1/3)*0. Is 14/33 at most u?
False
Let g(r) = -2*r - 10. Let j be g(-7). Suppose -n + 24 = -5*z, -6 = -j*n + 5*n + z. Suppose -2*o - c + 0*c = 1, 2*c - 6 = 0. Are o and n equal?
False
Let t(v) = -39*v. Let r be t(1). Let f = r - -43. Which is smaller: f or 7?
f
Let z = -70/43 + -5009/172. Which is greater: -32 or z?
z
Let u(m) = -m**2 + 21*m - 35. Let n be u(18). Is 18 bigger than n?
False
Let z be ((-9)/18)/((-2)/228). Which is smaller: z or -0.01?
-0.01
Suppose -20 = 2*j + 5*v, v + 4 = 4*j - 0. Let l(u) = u**3 + 7*u**2. Suppose -3 = 3*t + 18. Let m be l(t). Is j >= m?
True
Let g be 3/((-15)/2)*1165/932. Is -40 less than or equal to g?
True
Suppose 4*v + s = -0 - 4, -5*v + 3*s = 5. Let c be (-6)/(-30)*(-2 - v). Let z be 180/(-510)*2/6. Which is smaller: z or c?
c
Let y = -1 - -3. Let o be ((-5)/25*-5)/1. Is y smaller than o?
False
Let u = 20549/27522 + -75/139. Let b = -1/66 - u. Which is smaller: b or -9?
-9
Let y(k) = -2*k + 3 - k + 6*k. Let r be y(1). Is 7 != r?
True
Let w = 53 - 49. Suppose -w*k = 3*x - 23, 25 = 2*k + 5*x - 4. Which is smaller: 7/11 or k?
7/11
Suppose -3 = -24*z + 23*z. Suppose 0*d = z*g - 4*d - 35, -2*d = -g + 15. Suppose -4*b - g = b. Do b and -2/39 have different values?
True
Let v = 64537 - 839443/13. Are -36 and v unequal?
True
Let y = 753 + -765. Which is bigger: y or -119/11?
-119/11
Let f be (-38)/(-3) - (-2)/(-3). Let d = 558 + -551. Which is smaller: f or d?
d
Let z be 9/((-1701)/(-69)) - (-8)/(-36). Is z at least -222?
True
Let u = 4096135/843 + -4859. Let q = u - 2804/2529. Which is smaller: -1 or q?
q
Let w(y) = -y**3 - 8*y**2 + 6*y - 12. Let j be w(-9). Suppose -26*b + 16 = -25*b. Which is smaller: b or j?
j
Suppose -2*s - 4*v + 40 = 0, -30 = -3*s - 2*v + 14. Let t(u) = -12*u - 1. Let k be t(1). Let r = k + s. Is r not equal to -6?
True
Let c(g) = -2*g**2 - 18*g + 1. Let t be c(-9). Which is bigger: 16/7 or t?
16/7
Let p be 48/(-8)*(-18)/(-348). Is p at most as big as -1?
False
Let f be (14/65)/((-2)/131). Let d = -69/5 - f. Suppose p = 4*p - 0*p. Do p and d have different values?
True
Let o = -47.1 - -48. Is -3/2 >= o?
False
Suppose 1 = -4*u + 13. Let t(x) = x - 1. Let h be t(u). Suppose -3*m + h = 5*c - 1, 0 = -2*m - 8. Which is smaller: c or 1?
1
Let f(d) be the first derivative of d**2/2 + 18*d - 4. Let t be f(-20). Which is greater: t or -10?
t
Suppose -4*x - 56 = 4*l, -2*l + x = -4*x + 7. Which is greater: -16 or l?
l
Let v = -3.09 + 606.09. Which is smaller: -1 or v?
-1
Let u be (-2 - (-20)/(-315)*-15)*-48. Is u >= -1/4?
True
Let q be 11/((1/1)/(-1)). Let j be q/(-9) - 4/18. Suppose 14*x = -9*x + 18*x. Is x smaller than j?
True
Let q(v) = -2*v**2 + 19*v - 9. Let d(r) = 10*r**2 - r - 2. Let k be d(-1). Let h be q(k). Is h at most as big as 1?
True
Let d = -309470/509 + 608. Which is smaller: -1 or d?
-1
Let p be -9 + 6 + 3*1. Which is smaller: -5 or p?
-5
Let y be -7 + (11 - (83 - 8)). Let r(z) = z**3 + 4*z**2 + 2. Let m be r(-6). Is m <= y?
False
Let h = 0.251 + 0.049. Let z = 5 + -4.7. Let c = z + -0.1. Is c bigger than h?
False
Let a = 13/18 - 8/9. Is -1 >= a?
False
Suppose 3*c + 27 = -33. Let s = 22 + c. Which is bigger: s or 1?
s
Let d be 0 + 1 + (36 - -2). Let j = d - 37. Which is bigger: -2 or j?
j
Suppose 5*u + 2*i = -14, 2*i + 0 = -u - 6. Let d(h) = h + 2. Let f be d(u). Which is greater: 2/9