l to k?
True
Suppose -7*w + 13*w = -12. Which is smaller: w or 8?
w
Suppose 4*z - 45 = s - 0*s, -4*s + 12 = 0. Suppose t - 4*t + z = 0. Is 3 at least t?
False
Suppose 5*x + s = 43 + 80, 0 = 2*x - 3*s - 39. Suppose -3*y + x = -6. Which is bigger: 8 or y?
y
Let g = -21 + 10. Let r = g + 14. Which is bigger: 2/3 or r?
r
Let q = -34 + 43. Which is smaller: q or -1?
-1
Let g = -5 - -8. Which is smaller: g or 5?
g
Suppose -3*k = 2*w - 15, -2*w + 9*k - 4*k = -7. Suppose -3*b + w = -6. Which is smaller: b or 11/3?
11/3
Suppose 2*x - 1 = x. Let h(o) = -3*o**2 + 3*o - 1. Let d(y) = -4*y**2 + 3*y - 1. Let r(w) = -2*d(w) + 3*h(w). Let f be r(1). Do x and f have the same value?
True
Let f = 7 - 3. Suppose -t = f*t. Suppose t*m - 5 = m. Which is smaller: -4 or m?
m
Let r be (-322)/(-35)*45/7. Let g = 59 - r. Which is smaller: g or -1?
-1
Suppose 15*q - 11*q - 40 = 0. Is 6 > q?
False
Suppose 4*f + a - 7 = 0, 2 = 5*f + a - 2*a. Let z be (20/(-15))/(-2)*3. Which is smaller: f or z?
f
Suppose 21 = 2*m - 3. Let r be (m/165)/((-4)/10). Which is greater: -1 or r?
r
Suppose -4*d - 5*k - 33 = 0, 7*k - 2*k + 25 = 0. Let l = 3 + d. Let f = -1 + l. Which is bigger: f or -1/4?
f
Let o be 4*(-9)/(-12)*4. Is o less than 12?
False
Let r = -9 + 3. Let v = -3 - r. Is 2 less than or equal to v?
True
Let r be (-1)/5 + 364/20. Let k be 2*(-3)/r*-3. Is k smaller than 2/13?
False
Suppose 10*i + 0*i - 140 = 0. Which is bigger: 11 or i?
i
Let k = 1 + -1. Let v be (-3)/3 + 182/(-8). Let w = v + 863/36. Which is smaller: w or k?
k
Let h(d) = 2*d - 1. Let t be h(-1). Let c = 5 + t. Suppose c - 4 = -2*u. Which is bigger: u or -2/17?
u
Let m(u) = -u**3 + 9*u**2 - u + 7. Let j be m(8). Suppose 4*h + 3*p + 27 = h, -5*p = -4*h - j. Do 2/7 and h have the same value?
False
Let i(y) = -2*y + 12. Let s be i(5). Suppose -2*x = t + 2*x - 15, -3*x = -s*t - 14. Which is bigger: -4 or t?
t
Let l = 0.2 - 1.2. Let b be 27/24*-22 + 3/(-12). Which is bigger: b or l?
l
Suppose 5*r + 44 = -6*r. Let f = 1 - 5. Is r > f?
False
Let r = -89.2 + 89. Let b = -16 + 11. Is b at most r?
True
Suppose 0 = 2*j + 2*s + 13 - 1, -3*j + s = -2. Let k be j + (-2)/4*2. Let v = 3 + -4. Is k greater than or equal to v?
False
Let o be 40/25 + 4/10. Suppose 2 = -o*j - 8. Is j less than -5?
False
Suppose -3*d + 7 = d + 3*k, -2*d = -2*k. Let u = d + 2. Let r be (-2)/(-1) + 1 - -1. Which is greater: r or u?
r
Let v(h) = h - 7*h**3 - 2*h**2 - 4*h + h - 1 + 0*h**2. Let w be v(-1). Which is smaller: 5 or w?
5
Let x = 88.8 + -89. Let a = 7/208 + -3/16. Which is bigger: a or x?
a
Suppose -24 = m - 25. Let i = -2 + 3. Is i at most as big as m?
True
Let s = 16 + -17. Let o = 1.1 + s. Is o bigger than 8?
False
Let r be (-2)/4*84/(-30). Is r less than 2?
True
Suppose -3*z - 2*r = -7, -z = r - 0 - 3. Let s be 3/(-15) + (-1631)/(-5). Let u = s + -6848/21. Which is smaller: z or u?
u
Let p = 12 - 9. Let h be p*(0 - 1/(-3)). Which is bigger: 4/3 or h?
4/3
Let u = -0.2 + -0.2. Let b = u - 0.1. Which is smaller: b or -0.1?
b
Let a be (-3 - -1)/(1 + 1). Let k = -51 - -407/8. Which is greater: a or k?
k
Let g = -100 + 121. Which is greater: -1 or g?
g
Let r = 162 - 2432/15. Is r bigger than 1?
False
Let w = -475/9 - -53. Is 0 less than w?
True
Let y = 6.3 - 15.5. Let j = 9 + y. Which is bigger: 1 or j?
1
Let s be (-3 - -2)*2 - -10. Let j = s + -5. Suppose v - j*v = 0. Which is smaller: v or -0.2?
-0.2
Let a be (12/120)/(4/30). Is -0.3 != a?
True
Let o be (-1)/(-2) + 1010/12. Let g = -159 + 75. Let v = o + g. Which is smaller: v or -0.2?
-0.2
Suppose -11 + 32 = 3*x. Is -0.1 < x?
True
Let b(d) = d**2 + 4*d - 3. Suppose 20 = -4*q - 0. Let i be b(q). Let g be i/(-3)*(-15)/(-10). Which is bigger: -3 or g?
g
Let m = -82 - -1389/17. Which is smaller: m or -1?
-1
Let u be (-4)/((-16)/26)*2. Suppose -g - 3*t = u, -3*g - 2*g + 5*t = -15. Which is bigger: g or -9?
g
Let s be (-4)/2*(-22)/4. Suppose 4*o + 4 = -o - 3*t, 5*o - s = 2*t. Suppose 0 = 2*v - m - 9, 2*v + 3*m + 21 = -2*m. Which is smaller: v or o?
o
Suppose 2*g + 3 = -g. Let m = 0 - 0. Let l = g + m. Is l at least as big as -2/3?
False
Let i = -6.9 - 0.1. Let k = 2 - -2. Let c = i + k. Are c and 0 equal?
False
Let b = 5 - 8. Let y = 1 + b. Let n = 2 + y. Is n at most as big as 1?
True
Let z be 16/12*6/4. Suppose 4*r + 4 = 2*f, r + r + 2 = -z*f. Let t = f - -7. Is t greater than or equal to 7?
True
Let m be (0/1)/(9/(-3)). Do -1/41 and m have different values?
True
Let d(k) = -8*k**2 - k + 1. Let g be d(1). Let l be (1/4)/((-6)/g). Is l greater than 0?
True
Let t be 0/(-4 - (2 - 5)). Suppose t = l - 6*l. Is -1/6 greater than or equal to l?
False
Suppose -2*y - 512 = 2*y. Let h be 16/(-88) + y/(-462). Which is smaller: -1 or h?
-1
Let w = -2.2 - -1.2. Which is smaller: -1/3 or w?
w
Let p(b) = b**3 + 9*b**2 + 6*b + 3. Let t be p(-9). Which is bigger: t or -52?
t
Suppose -2*i = -m - 0*i + 19, 4*m - 3*i - 61 = 0. Let p = m + -9. Suppose 10 - 4 = -p*c - 2*o, 0 = 4*c - 2*o - 6. Do 0 and c have the same value?
True
Suppose 3*p - 7*p = 4. Is p at most 1/4?
True
Suppose -5*o + 5*r + 60 = 0, -4*o + 3*r = -19 - 25. Let x = o - 5. Let y = -2 - -6. Which is bigger: y or x?
y
Let o = -0.03 + 4.03. Let g = -23 + 24. Which is smaller: g or o?
g
Let w = 25/2 + -12. Let p = -2/35 + 41/105. Is w bigger than p?
True
Suppose 5 = 2*v - a, 2*v + 5*a + 31 = 6. Are v and -13 nonequal?
True
Let h be 51/18 - ((-2)/12 - 0). Suppose 127 = -3*p - 35. Let g be p/(-15) + 4/10. Which is bigger: h or g?
g
Let v = 93 - 280/3. Do 1/12 and v have different values?
True
Suppose a + 3*q - 3 = -2*q, 0 = 5*q. Suppose 2*b = a*b - 20. Let c be (8/b)/((-11)/5). Is c greater than 1?
False
Let v be -1*((-16)/4 - -5). Let h be -1 - 0 - -3*1. Is h greater than or equal to v?
True
Let r(d) = -d + 9. Let z be r(8). Is 5/4 at least z?
True
Suppose 2*l - 2*r - r = -2, -4*l - 3*r = 4. Let s = 1628/5 - 329. Let u = s + 31/10. Is u > l?
True
Let g = -1 + 1.8. Let b = 61 - 61. Does g = b?
False
Let u be -2 - (1 + -2)*-4. Let i(h) = -6*h**2 - 12*h + 1. Let x(k) = -k**2 - k + 1. Let l(m) = -i(m) + 5*x(m). Let t be l(u). Which is smaller: t or -1?
t
Let u be (-2 - -3 - -1)/((-114)/9). Which is bigger: 1 or u?
1
Let u(i) = 3*i + 24. Let o be u(-6). Which is smaller: o or -4/5?
-4/5
Suppose 4*r - 10 = 2*j, 3*r - 6*r + 11 = 2*j. Let v be (1 - 2/3)/1. Which is smaller: v or j?
v
Let g be 0 - (-1 + (0 - -5)). Let m be 2/(-2) + 1 - g. Let s = 5 - m. Is 1 less than s?
False
Let j be 4 - 9 - (-91 - -3). Is 83 less than or equal to j?
True
Let k(r) = r - 6. Let s be k(7). Let n be 2/(-8) + 2 - s. Let i = -1/2 + n. Does -1 = i?
False
Let d = -41.1 - -41. Let c = 2 - 2.2. Which is bigger: c or d?
d
Let d be 1/10*-2 - 4/(-20). Is -2/21 at most as big as d?
True
Let b be 4 - 3 - (0 + 0). Let s = -1 - -3. Suppose b - 7 = s*d. Which is smaller: d or 1?
d
Suppose 5*j + v - 7 = 0, 2*j = 4*j - v. Let q be -5*(j - (-16)/(-10)). Is q greater than 2?
True
Suppose 0*t - 7 = -y + 3*t, -11 = -y + 5*t. Let x = 6 - 24. Let d be -1*(-3)/x*y. Does d = -1?
False
Suppose 3*o + 12 = -0. Let r be (1/o)/((-10)/16). Which is smaller: -1/2 or r?
-1/2
Let d = -3 - -6. Let b = d + -2. Is -2 <= b?
True
Suppose -z + 13 = -3. Let b be 2/(z/12*1). Is b at least as big as 2?
False
Let n = -2/279 + -1949/558. Which is greater: -5 or n?
n
Let a = -5 + 5. Which is smaller: a or 31/4?
a
Let o = -4.88 + -0.12. Let q = o + 3. Is -2 less than q?
False
Let q be (6/8 - (-10)/40) + 53. Are 54 and q nonequal?
False
Suppose 2*h - s + 11 = 0, h + 10 = s + s. Suppose z + z = 8. Suppose 0 = z*c + 3 + 13. Is c >= h?
True
Suppose -6*p + 2*f = -2*p + 28, f + 4 = -p. Which is greater: -5 or p?
-5
Let v be (2/1)/(9 - 5). Suppose 0 = 6*m - 2*m + 3*y + 5, m - 13 = 4*y. Let c(u) = u - 1. Let d be c(m). Is v < d?
False
Let q(y) = -3*y**3 - 2*y**2 + 1. Let j be q(-1). Suppose 0 = j*x + w + 1, 3*x - 3*w - 3 = 4*x. Is -1/10 greater than x?
False
Let n be 2/(-3) - 14/(-3). Suppose n*a - 33 - 23 = -3*l, 4*l - 38 = -2*a. Suppose 0 = -5*v + i + i - a, 0 = v - 4*i + 13. Which is greater: v or 2/11?
2/11
Let y(f) = 3 - 10*f**2 + 0*f**2 + 3*f**3 - 2*f**3. Let j be y(10). Which is greater: 2 or j?
j
Let n(c) = 2*c**2 - 4*c - 4. Let b be n(4). Suppose i - 3*z = -b, 5*z + 0*z = 25. Let s be (-3)/5*2/i. Which is smaller: 0 or s?
s