s smaller: 3 or x?
x
Let q(u) = -u**2 + 7. Let y be q(0). Suppose -2*r + 4*p = -y*r + 55, -4 = 3*r - 5*p. Let n = r - 10. Is n greater than or equal to 1?
False
Suppose 4*d - 1 = 5*w + 5*d, -d = -4*w + 1. Let s = w - 5. Suppose -3 = i, 25 = -2*l + 5*i - 10*i. Is l < s?
False
Let q(x) = x**2 - x. Let k(p) = -p**2 - p. Let f(d) = k(d) + 2*q(d). Let m be f(3). Which is greater: 2/3 or m?
2/3
Let m be -1 + (-1)/(3/(-9)). Suppose 2*w - 2*l = 6, -m*w + 4*l = 8*l. Let q = -185/954 - 3/106. Is q smaller than w?
True
Suppose -23 = -4*y - 23. Which is bigger: -20 or y?
y
Let w be -3 + 2 + -2 + 3. Suppose -2*p + 0 + 6 = w. Is p equal to 3?
True
Suppose 0 = 82*g - 83*g - 1. Which is greater: 4 or g?
4
Suppose l - 16 = -3*l + 2*s, 0 = -4*l - 3*s + 6. Suppose 13 = -2*v - l*b, -27 = -2*v + 2*b + 3*b. Let q = 2 - v. Is 2 less than or equal to q?
False
Let s be (8/78)/(4/(-6)). Let z be 2 - ((-2 - -6) + -1). Is z >= s?
False
Let x = -1 + 1. Is x less than or equal to 0.3?
True
Let y = 1.4 - 1.2. Is y >= 6?
False
Let t be (0/1)/((-9)/3). Which is bigger: t or 2/21?
2/21
Let d be -1 - ((-48)/27 + 1). Are 40 and d unequal?
True
Let u be (-4)/3 + 5/15. Suppose -4*w + 4 = -0*m - m, 0 = w - 3*m - 12. Let r = u + w. Which is bigger: -2 or r?
r
Let f = 0.15 - 6.15. Let q = 5 + f. Let t = -0.6 - q. Are -2/3 and t unequal?
True
Let x(w) = -w**3 - 6*w**2 + 2*w + 9. Let y be x(-6). Suppose -3*i + a + 1 = 0, -4*a + 23 = 2*i - 1. Suppose -u = -0*u + i. Which is smaller: y or u?
y
Suppose 6*s - 1 - 17 = 0. Let d = 8 + -4. Let j = d - s. Is -1 < j?
True
Let w = -8.3 - -8. Let a = w - -0.4. Which is smaller: -0.07 or a?
-0.07
Let m = -14 + 8. Do -6 and m have different values?
False
Let k = 4238/7 + -604. Let z = -338 + 338. Is k at least as big as z?
True
Let n = -1 - 0.8. Let x = 8.8 + n. Let u = 6.9 - x. Is u < -2?
False
Suppose -6*s - 7*s + 130 = 0. Which is smaller: s or 6?
6
Suppose 5*n + 20 = 10*n. Is 4 less than or equal to n?
True
Let i be (0 + 3/(-6))/((-9)/594). Which is smaller: 31 or i?
31
Let u = 7 + -7.15. Let g = u + 0.25. Which is smaller: g or -5?
-5
Let l be (-40)/(-70) + (-436)/714. Which is greater: 1 or l?
1
Let v = 2967/4 - 738. Let y(g) = g**3 - 5*g**2 - 4*g - 8. Let u be y(6). Is v > u?
False
Let p be (0 - 4/2) + 372. Let v = p + -10728/29. Which is smaller: v or 0?
0
Suppose -m - 2 = -3. Suppose h + m - 3 = 0. Do h and -8/7 have different values?
True
Let n = 1 - 3. Let o be (n/(-4))/((-1)/12). Let x be 3 + 0/(o/(-2)). Is 3 <= x?
True
Let j = 0.51 + -0.6. Let p = j + 3.09. Which is greater: 0.3 or p?
p
Suppose -4*n + 6 = -z - 3, 5*z = 3*n - 11. Let t(j) = j - 3. Let s be t(n). Which is smaller: 1/6 or s?
s
Let c be ((-1)/10)/(4/(-30)). Suppose 0 = 6*w - 4*w. Which is bigger: c or w?
c
Let k = 21 + 5. Let a = k - 25.9. Let q(h) = -2*h + 2. Let c be q(3). Is a equal to c?
False
Suppose s = 6*s - 5. Let z be 6/(-21) - 96/(-238). Which is greater: z or s?
s
Let u be (-9)/(-2)*(-1)/(-12). Let c be (3/(-6))/(7/14). Is c greater than or equal to u?
False
Let p = -9123/19 - -480. Are p and 0 equal?
False
Suppose -3*d + 2 = -4*w, -4*d + 0*d + 10 = 2*w. Suppose -8 = 2*k, -7*s + 5*k + 20 = -d*s. Is -1 equal to s?
False
Suppose 2*m + 4 = 2. Let i be 0/((-2)/m) - -6. Is 6 equal to i?
True
Suppose -3 = -2*i + 5. Let r = -9 - -11. Are i and r non-equal?
True
Let a = 2 - 1. Let t = a + -3. Let f = -2 - t. Which is bigger: 1 or f?
1
Suppose 66 - 6 = -5*b. Is -12 greater than b?
False
Let r be 0 + (-22)/18 + 2/9. Let k be (2/13)/(0 - 1). Do k and r have the same value?
False
Let o = -52373/39 + 1343. Which is bigger: 0 or o?
o
Let u be (-6)/1*(-388)/208. Let d = u + 30/13. Let h = d - 13. Is h < 1/5?
False
Let h = -885974/9107 - 1/1301. Let b = h - -97. Let t = -11/10 - -3/2. Do b and t have the same value?
False
Let q be 366/24 + (-2)/8. Suppose -5*d = -0 - q. Suppose -d*a + 21 = 3*w + 6, -4*a = -2*w - 8. Is a <= 2?
False
Let w(v) = -v**3 + 9*v**2. Let o be w(9). Which is smaller: -1 or o?
-1
Let z(c) = -c**2 + 3*c. Let t be z(3). Suppose 0 = -t*l - 3*l - 3. Let n be 0*l/6*-3. Which is bigger: n or -1?
n
Let t be (5 - 1) + (6/2)/(-3). Let j = 1 + -1.2. Is j at most t?
True
Let b(h) = -2*h + 4. Let g be b(-3). Is g bigger than 9?
True
Let v(u) = -2*u**3 - 37*u**2 + 20*u + 8. Let l be v(-19). Is -76/7 less than or equal to l?
False
Let o(k) = k**3 + 7*k**2 + 6*k - 1. Let c be o(-6). Let z be (-42)/(-104) - c/(-4). Let b be 21/27 + (-2)/(-9). Which is bigger: b or z?
b
Let b = 0.004 + -2.004. Is b at least -6?
True
Suppose -3*a - 2 = -2*a. Let g be 6/(-15) - a/(-20). Let r(d) = -d**2 + 13*d - 12. Let w be r(12). Is g equal to w?
False
Let s(m) = -m**2 - 3*m + 4. Let b be s(-3). Suppose -5 - 5 = -2*g. Let w = 8 - g. Which is smaller: b or w?
w
Let d(p) = p**2 - 5*p + 2. Let y be d(5). Let z be ((-3)/(-6))/(1/6). Are z and y non-equal?
True
Suppose 5*x - 212 = -67. Is 30 <= x?
False
Let a(p) = 2*p - 5. Let t be a(4). Suppose -4*r + 6 = j, r + 3*r + 4 = 4*j. Is t greater than r?
True
Let c(p) = 0*p**2 - p**3 + 7*p + 4*p**2 - 2*p. Let v be c(5). Which is bigger: v or 0.1?
0.1
Let w(n) = -n**3 + 2*n**2 - 2*n. Suppose 5 + 2 = 5*s - 3*d, 10 = 3*s + 4*d. Let b be w(s). Let i(v) = -v**2 - v - 4. Let a be i(0). Is b < a?
False
Let m = 8 + -13. Which is smaller: -6 or m?
-6
Let t be ((-33)/(-165))/(1/(-7)). Which is smaller: -2 or t?
-2
Let n be 1 + 16/(-10) - 92/(-320). Which is bigger: -1 or n?
n
Let a = 2.2 - 3. Let t = a + 1.8. Let m = 0 + t. Are m and 1/4 nonequal?
True
Let w(t) = -3*t - 12. Let g(m) = 8*m + 35. Let x(n) = -4*g(n) - 11*w(n). Let a be x(6). Which is smaller: -1 or a?
a
Let y(v) = 2*v - 8. Let b be y(8). Are 8 and b unequal?
False
Let g be ((-4)/(-6))/((-6)/(-9)). Let u be -2 - (-7)/1 - g. Suppose 0*r = -n + 2*r - u, 4*n - r - 5 = 0. Which is smaller: 1 or n?
1
Suppose 5*o + 4*n + 29 = 0, -n = -3*o - 5 - 9. Are o and -4 unequal?
True
Let g = 5 + -2. Suppose -6*r - g*u = -r - 42, -2 = 2*u. Let o(p) = p**3 - 10*p**2 + 10*p - 9. Let d be o(r). Is 0.2 < d?
False
Let g = -0.02 + -0.03. Let o = g - 1.95. Are -2 and o equal?
True
Let z = -9 - -5. Let s = 1 + z. Let k be 85/(-30) - 4/(-3). Is s greater than k?
False
Let b be 2/4*6/(-3). Let f be 0/b*4/8. Suppose -3*k = -5*k. Is f != k?
False
Let c(i) = 47 - 47 - i + i**2. Let g be 1*(0 + -1) - -3. Let p be c(g). Which is greater: 2/3 or p?
p
Let c = 1 + -4. Let u be -1 - 3/c - 0. Is 3 at most as big as u?
False
Let u be -1 + 0 - 2/(-1). Is u not equal to -2?
True
Let y be (-1 - 3) + (-3)/(-16)*12. Is y less than or equal to -1?
True
Suppose 3*k = 3*f + 9, -2*k + 7*k - f - 23 = 0. Suppose 4*c = 5*c + k. Which is bigger: 0.1 or c?
0.1
Let i = -0.25 - -2.75. Let k = i + -2.6. Are k and 3/13 unequal?
True
Let t be ((-15)/40)/(6/16*-2). Which is greater: -0.2 or t?
t
Suppose -3*v + 8*v = 2*b + 10, 5*b + 4 = 2*v. Is b bigger than -2?
True
Let u = -6 - -5.5. Let f = u - -0.5. Are -2 and f equal?
False
Let i be (2/(-4))/((-1)/(-10)). Let t be 4/(-5) - 2/i. Is t at most -0.2?
True
Let u = -121200/11 + 11010. Is u less than -9?
False
Let c be (-54 + 24)*(-4)/(-5). Which is smaller: -21 or c?
c
Let a be (-4)/(-10) - 3/(-5). Let u = 29 - 27. Is u > a?
True
Suppose -12 = z - 4*z. Suppose 5*w - 1 - z = 0. Does w = 16?
False
Suppose -5*r + 3 = a + a, 4*r - 4 = 0. Let o be (2 - 4)*a - 4. Which is smaller: -4 or o?
-4
Suppose 0 = 18*p - 14*p + 48. Is p >= -12?
True
Let c(v) = -v - 1. Let p be c(-3). Let m be 3/3 - 1/p. Which is bigger: -0.1 or m?
m
Let b be 6/6 + -6*7. Let q = 23 + b. Let o be -2 + (q/(-15) - -1). Is o less than 1?
True
Let u = 4 + -2. Let t = u - 2. Let p = -0.36 - -0.16. Which is bigger: t or p?
t
Let g be (4/12)/((-2)/6). Is 2/25 equal to g?
False
Let h = -60 - -33. Which is bigger: h or -2/3?
-2/3
Let k(o) be the first derivative of -o**2/2 + o + 1. Let g be k(4). Which is smaller: g or -2?
g
Let l(w) = -w**3 + 5*w**2 + 12*w. Let n be l(7). Is -15 equal to n?
False
Let q(a) = -a**2 - 7*a - 7. Let z be q(-5). Let t be (-6)/5*30/(-12). Is t equal to z?
True
Let x be 4/6 - (-16)/(-6). Let y be 60/25 - 6/(3 + -1). Which is bigger: y or x?
y
Let m(t) = -t - 9. Let o be m(-10). Let z = 67/3 + -22. Does o = z?
False
Let q(s) = s**2 + 6*s - 6. Let y be q(-7). Let v be 2/(-3) - y/3. Which is bigger: -2/3 or v?
-2/3
Let 