e 4*p + 6 - 2 = b. Are p and 2/5 unequal?
True
Let m = 39 - 82. Is m at most -43?
True
Suppose 3*h + 7 = -4*y, y - 2 = 4*h - y. Which is smaller: h or -4/13?
h
Let h = 0.7 - -0.3. Let q = 13 + -20. Let s(o) = -o - 5. Let k be s(q). Is h at least k?
False
Suppose -4*j + 5 = -5*b - 6, -5*j = b + 8. Let a(v) = -2*v + 10. Let f be a(-10). Let p = f + -151/5. Which is smaller: j or p?
j
Let t = -0.4 - -0.3. Suppose -3 = -u + 3. Suppose g = u*g. Is t bigger than g?
False
Let g(v) = -10*v**2 + 1. Let r be g(-1). Is r at most as big as -9?
True
Suppose 0 = -2*x + x - 2. Let w be 1/x*-1*0. Suppose f - 5 = -3*n, -5*f = 3*n + 2*n - 15. Is n < w?
False
Let c = -2 - -1.9. Which is smaller: c or -2?
-2
Let y be (1 - 0)*0 + 5. Which is greater: y or 4?
y
Let q = 0.3 - 0.4. Let z be -2 - (-51)/12 - (-14 - -16). Which is bigger: q or z?
z
Let q = 1 - 1. Let d be q/(5/(5/(-2))). Suppose -5*a + 3*a + 2 = d. Is 1 at most a?
True
Let g be 2/3*(4 - 1). Suppose -8 = 4*s, -g*s = -2*t - 0*t + 2. Let r = -1239/10 + 124. Which is greater: r or t?
r
Suppose 0 = -6*o + 4*o + 12. Which is smaller: 7 or o?
o
Suppose -2*i - 5*n + 39 + 61 = 0, 3*i - 137 = -n. Let b be i/39 - (-8)/(-52). Which is greater: b or -7?
b
Let z = -33/100 + 2/25. Is z bigger than -0.4?
True
Let u be (-10)/20 + (3 - 2). Which is smaller: -13 or u?
-13
Let d = -6 - -2. Let c = -2 + -2. Let z = c - d. Is 0 bigger than z?
False
Let j = -22 - -21. Which is smaller: j or 0.2?
j
Let b(d) = 2*d**2 - 30*d - 24. Let a be b(15). Is a at most -24?
True
Suppose 0*r = 3*r - 6. Let o be r*-1*(-2)/(-1). Let y be (2/o)/(3/2). Which is smaller: -1 or y?
-1
Let g be (1 + -2)*0/1. Suppose 3*v = -g*l - l - 1, -l + 5 = -3*v. Let r(t) = t**3 + 10*t**2 + t + 10. Let m be r(-10). Is m <= l?
True
Suppose 1 - 3 = -g. Let w be 0*g/(-6)*-3. Let v be w/(-1 - -2) + -1. Is 7 bigger than v?
True
Suppose 5*m - 5 - 20 = 0. Let j = -5 + m. Suppose 0 = 5*v - 2*s - 16, s - 4 = -2*v - 3. Is j equal to v?
False
Suppose -6*n + 2*n = p - 9, -3*p = -n - 1. Suppose 5*o - n*o - v = 9, 0 = 3*o - 4*v - 18. Let d = o - 4. Which is greater: d or 0.1?
0.1
Let k = -2 - -2.01. Let z = k - 0.11. Let h = -2.1 - -2. Is h smaller than z?
False
Suppose 4*c - 2*p = -12, -2*c + 18 - 4 = 4*p. Is 0 at most as big as c?
False
Suppose 2*k - 5*k - 25 = 5*r, k + 5 = 0. Let z = 4 - r. Let q be 136/32 + 2/(-8). Which is bigger: z or q?
z
Let j = 3/7 + -4/7. Let p = -1/33 + 4/11. Is p <= j?
False
Let o = 0.189 - 0.089. Which is greater: 118 or o?
118
Let q(t) = -t**3 - t - 1. Let a be q(-1). Let j be ((-14)/(-945))/(a/(-5)). Is j greater than -0.1?
True
Let p = -26 + 24.7. Let w = -0.3 - p. Let n be (-2)/(-7) - 36/(-21). Is n bigger than w?
True
Let u = 35/2 - 61/4. Let h = 99 + -99. Are u and h nonequal?
True
Suppose 2*m + 3*c + 7 = 0, m - 2*c = -2 + 9. Let f = -8 + m. Which is bigger: 0 or f?
0
Let l(t) = -t**3 - 3*t**2 + 3*t + 1. Let f be l(-4). Suppose 0 = 2*v - f - 1. Let r be 20/(-6) - 2/v. Which is smaller: 1 or r?
r
Let i be 4/(-14) + 122/(-14). Let f(y) be the first derivative of -2*y**3/3 - 3*y**2 - 2*y + 3. Let d be f(-4). Which is smaller: i or d?
d
Suppose -4*v - 5*h = -6, 5*v - 12 = 7*v - 5*h. Which is smaller: v or 22?
v
Let o(c) = 1 - 3 + 1 - 4 + 3*c. Let s be o(4). Let d = s + -4. Which is greater: d or 2?
d
Let x be (1860/(-21))/(-5) + 6/21. Do 21 and x have different values?
True
Let s = 25 + -17. Let r = s + -11. Is r at least as big as 2/9?
False
Suppose 3*p - 40 = 4*k - 9*k, 5*k = 2*p + 15. Suppose -4*w + 5*i - 20 = w, -4*i + 21 = -p*w. Suppose 3*a + x = -17, -a - 19 + 5 = 2*x. Which is bigger: a or w?
a
Suppose -r = 2*d - 147, 0 = 4*d + 3*r - 391 + 100. Suppose -d = -0*c - 5*c. Let s be 6/c + (-24)/10. Is s less than or equal to -2?
True
Let q = -8 + 15. Which is greater: q or 4?
q
Suppose 4*w - 2 + 10 = 0. Let y be w/(-3)*(-9)/15. Which is smaller: 0 or y?
y
Let s = -7 + 17. Which is smaller: 2 or s?
2
Let q = 45 + -629/14. Which is greater: 0 or q?
q
Let v = -5 - -17/3. Let a = 4/3 - v. Which is greater: -3 or a?
a
Let f be (-2 - 88)*(-12)/(-30). Let d be 6/(-33) - f/(-44). Which is greater: 1/4 or d?
1/4
Suppose -2*i - 4*t = -18, i - t = 2*i - 7. Suppose -2*q - 2*f + 4 = -0, -5*f + i = 0. Let z be (-1 - -2) + 1 + 1. Are z and q equal?
False
Let q(n) = n + 6. Let y be q(-5). Let k be y/14*-1*-2. Which is smaller: -1 or k?
-1
Let y = -0.8 - 1.2. Is 1 less than y?
False
Let t be 80 + -1*(-3 + 5). Suppose -62 = 2*v + t. Let f = -493/7 - v. Are -1 and f non-equal?
True
Let v = 0.02 + -5.02. Let z = -6.99 + -0.01. Let l = v - z. Is l less than or equal to 3?
True
Let n(a) = -a**2 + 12*a - 2. Let v be n(12). Let z be 4/5*10/(-4). Is z not equal to v?
False
Let c = -40667/413716 - -35/353. Let t = c + -113687/3516. Let u = -33 - t. Are u and 0 nonequal?
True
Let y = 9.03 + -0.03. Let p = -8 + y. Let d be 136/(-120) - 1/(-3). Is d less than or equal to p?
True
Let h be ((-39)/26)/((-3)/10). Are h and 2 nonequal?
True
Let y = 0.14 + -0.14. Let l(n) = -n + 19. Let i be l(11). Let u be 11/(-4) - 2/i. Is y less than u?
False
Let g = -130/7 + 1019/56. Which is smaller: g or -0.2?
g
Let h be 2*(-3 - (-1 - 4)). Suppose 0 = h*k - 47 + 23. Is 7 at most k?
False
Suppose 22 = 4*x + 6. Suppose 0 = x*q - 3*q. Suppose 3*v - k = -2, q*v - v = -5*k + 10. Is v not equal to 1?
True
Suppose 0 = -0*x + x. Which is greater: x or 1.3?
1.3
Let k = -9 - -5. Let u be (-3 + 34/12)*4. Which is smaller: u or k?
k
Suppose 10*x + 6 = 8*x. Which is smaller: x or -2?
x
Let t = 0 + 0.1. Let k = -1.7 - -1.59. Let w = 0.01 + k. Which is smaller: t or w?
w
Suppose h - 4*a = -3*h + 24, -14 = -h - a. Let f = h + -11. Which is smaller: 0 or f?
f
Let l be 14/10 + (-14)/35. Is l bigger than 1/18?
True
Let g = -0.01 - -2.01. Let n = 2.2 - g. Let s = 0.08 - -0.02. Which is greater: s or n?
n
Let r = -39.83 + 40. Let f = -0.07 + r. Is f > 16?
False
Let k = 6.3 + -7.3. Let x = 67/130 - 3/26. Is k != x?
True
Let u = 133.12 - 133. Which is smaller: 6 or u?
u
Suppose 0 = 2*d - 2 + 4. Which is bigger: -1/20 or d?
-1/20
Let s = -1/145 + -431/580. Let z = 2/33 + -80/231. Which is greater: z or s?
z
Let p = 1723/12 - 448/3. Which is smaller: p or -7?
-7
Let m(r) = 21*r + 9. Let p(v) = -5*v - 2. Let l(s) = -2*m(s) - 9*p(s). Let h be l(-3). Let f be h/6 + 23/18. Which is bigger: f or 0?
0
Let n be 6 - 6 - 4/(-9). Which is bigger: -0.1 or n?
n
Let s = 400 + -2794/7. Are 2 and s unequal?
True
Suppose -4*d = 122 + 226. Let l be 6/(-15) - d/(-45). Which is bigger: -1 or l?
-1
Let c = -9406/135 + 348/5. Are c and -1/3 non-equal?
True
Let z be 0/2 - (0 - -24). Which is smaller: -23 or z?
z
Let p = 1 - 2. Let k be (-2)/(-1 - p - -2). Is 0 greater than or equal to k?
True
Let z = -0.13 - -0.14. Which is smaller: -1 or z?
-1
Let v = 8 + -8.6. Let y = 0.4 + v. Which is smaller: y or -2/3?
-2/3
Let r be 30/(-8) + (-3)/12. Let m = 1 + -3. Which is smaller: m or r?
r
Let p be -4 + (-4 + 6)*3. Which is bigger: -1 or p?
p
Suppose 3*d + 2 = -y, 0 = -d + 4*d + 5*y + 22. Let i(b) = -b**2 + 21*b - 59. Let o be i(18). Which is smaller: o or d?
o
Let r = 55 - 54.95. Which is smaller: r or 4?
r
Let p = -137/7 + 239/14. Let b be (-2)/3*(1 + 2). Is b > p?
True
Let a = 6 - 6.5. Let k = 0.3 + a. Which is smaller: -2 or k?
-2
Suppose -4*n + 16 = 0, 2*n + 16 = -p - n. Let t be (p/(-1015))/(3/80). Let r = t + -2/29. Which is bigger: 0 or r?
r
Let a be 6/(-9) - 2/6. Do a and -1 have the same value?
True
Let h be (-314)/(-126) + (-4)/(-14). Is 3 greater than h?
True
Let v(q) = -q**3 - 6*q**2 + 5*q - 8. Let x be v(-7). Let f be ((-32)/20)/((-1)/(-5)). Let j = f + x. Which is bigger: -1 or j?
-1
Let q be (3/6)/(6/8). Suppose -c = c. Suppose -5*i + y = -c + 2, 10 = 5*y. Which is smaller: i or q?
i
Let y = 178 - 190. Which is bigger: y or -1?
-1
Suppose 6 = -5*p - r - 10, 2*r - 28 = 5*p. Let x = -1.9 - -2. Which is bigger: p or x?
x
Suppose -2*z + z + 2 = 0. Let d = z - 2. Is 1/8 >= d?
True
Suppose 0*l - 5*l + 15 = 0. Suppose -4 = -c - 0. Which is greater: c or l?
c
Let r be -5*2/3*-3. Let u be 4/r - (-2)/(-5). Let a = 4.2 - 4. Is u > a?
False
Let p = 41/33 - 10/11. Is 0 <= p?
True
Suppose -5 = z - 6. Let m = -191/40 + 35/8. Is z less than m?
False
Let b(s) = -s**2 - s + 10. Let l be b(-4). Let u be 5/(-12) - (-4)/(-16). Are l and u