s smaller: u or 2?
u
Suppose 5*d = 7*d. Suppose d = -6*h + 9*h - 24. Is 6 smaller than h?
True
Let s = -4.17 + 4. Let v = s + -0.23. Which is smaller: v or -1?
-1
Let q be (1 + (-16)/17)*-2. Let y be (-3 - (0 - 4))/(-1). Which is smaller: y or q?
y
Let u be 12/3*(-193)/10. Let r = u - -77. Which is greater: r or -1?
r
Let p(w) = w**2 + 7*w + 12. Let j be p(-5). Suppose 11 = -j*s - 3. Let y be (-2)/3 - (-32)/(-6). Which is bigger: s or y?
y
Let y = -9 - -12.1. Let p = 3 - y. Which is smaller: p or -5?
-5
Let j be 11/2*(-22)/(-55) - 1. Which is bigger: j or 2?
2
Suppose 5 + 7 = -4*b. Let r = -3.1 - -3. Let i = -1.1 - r. Which is bigger: b or i?
i
Let l be (15/60)/((-2)/(-12)). Which is smaller: 0.14 or l?
0.14
Let c(o) = o**3 - 8*o**2 + 9*o - 8. Let y be c(7). Let a = 3 - y. Suppose 0 = 3*f - 4*w, 5 = -2*f - 0*w + w. Which is smaller: a or f?
f
Let g be 2 - 2/1 - 4. Which is smaller: -5 or g?
-5
Suppose y - 8 = v - 4, -2*v - 16 = -4*y. Which is bigger: v or -1/13?
v
Suppose 3 + 0 = -3*o. Let g be o - (-3)/(-1) - 0. Is g > -4?
False
Suppose 5*k - m - 152 = 0, -58 = -2*k + 2*m - 3*m. Let b be 52/k + 4/6. Let s = b - 29/10. Is s <= 0.2?
True
Let n = -12 + 12. Let o be n/(3 + -3 + -3). Are o and 0 equal?
True
Let l = -270 + 1887/7. Is 1 less than l?
False
Suppose 0 = v - 5*l - 11 - 15, -2*v + 4*l = -40. Suppose 0*f - v = 4*f. Is f less than or equal to -1?
True
Let a = -0.5 - 0.5. Let y = 4 + -3. Which is greater: a or y?
y
Suppose 3*z + 10 = 19. Suppose -3*c = -3*p + 9, 3*p = -c - 4 - z. Is -12/13 equal to p?
False
Let h(p) = 34*p**2 + p - 1. Let f be h(-1). Is 31 at most as big as f?
True
Let a be (-1)/12*-22 - 2. Let q = 1 - -2. Let z = -2 + q. Is z greater than a?
True
Let c be -2*((-1)/(-5))/(6/5). Which is smaller: -1 or c?
-1
Let r(h) = -8*h**2 - h + 1. Let b be r(-3). Let n be b/14 + 1 + 1. Let d = -22/7 - n. Which is bigger: -3 or d?
d
Let r(t) = -3 - 5*t - t**3 + 4*t + 0*t**2 + 5*t**2 + 8. Let q be r(5). Is q <= 2/49?
True
Let i = 0.37 - -1.63. Let t be 2/(-5) + (-9)/(-10). Which is smaller: i or t?
t
Let h be 1 + (-92)/4 + 3. Which is smaller: -18 or h?
h
Let k = -7 + 6. Is -1 < k?
False
Let w be 24/20*(2 - 5/2). Let d = 2 + -4. Is w at most d?
False
Let b be (2 + (-5)/2)*-24. Suppose -7*s = -3*s + b. Which is smaller: s or -2/3?
s
Let n = 0.7 - 0.4. Let w be (-209)/44 + 1*4. Does n = w?
False
Suppose -2*h = h. Suppose h = -2*l - 4. Let v = -2 - l. Are -2/15 and v nonequal?
True
Let d = 125/3 - 253/6. Let q = 0 - 0. Which is greater: q or d?
q
Suppose -3*o + 4 = o + 4*p, o = 3*p + 21. Suppose -3*v = -o*v + 6. Which is greater: 3 or v?
3
Suppose n + 0*n - 6*n = 0. Is n not equal to 2/107?
True
Suppose 6*f - f = -2*s - 40, s = -4*f - 29. Suppose -2*m = -1 - 17. Let q = f + m. Which is smaller: q or 4?
q
Let b = 10 - 7. Are b and 0 unequal?
True
Suppose 3*s = 6*s + 6. Is s <= -2?
True
Suppose r - 4 = y + 2*r, 4*y = -3*r - 11. Are -1/142 and y non-equal?
True
Suppose -2*x - 16 = -4*p, -20 = 4*x - p - 4*p. Which is greater: 2/19 or x?
2/19
Let c be (-110)/(-20) - (-1)/(-2). Is 4 < c?
True
Let x = 2 - 2. Suppose -2*w + 2*h - 8 = 0, 0 = w + 2*h - 5*h + 8. Let i be (w/(-8))/((-2)/12). Is i less than or equal to x?
True
Let z be (-15)/(-25) - 58/5. Let t be (z/44)/((-2)/16). Are 11/6 and t unequal?
True
Suppose 0 = 2*p - 1 - 35. Let v = p + -13. Suppose 8 = -a - v*r, -5*a + 2 = -a + 3*r. Which is greater: a or -1?
a
Let f = 1 + 0. Let n(d) = -3*d**2 + d - 1. Let m be n(f). Let j(z) = z**3 + 7*z**2 + z + 5. Let i be j(-7). Does m = i?
False
Let x = -9 + 8.3. Which is greater: 1 or x?
1
Let u = -9 + 9. Which is bigger: u or 1?
1
Suppose -2*c = 4 - 10. Suppose -4*l + 9 = -c. Suppose -2*j + 4 = 3*w, -4*j - l*w = -8*w + 14. Which is smaller: 1/4 or j?
j
Let v = 2 + 5. Let q be (v/14)/(1/12). Let a be q*(-3)/6 - 0. Which is bigger: 0.1 or a?
0.1
Let g = 27/184 + -12/23. Is g less than 0?
True
Suppose 2*g + 33 = g. Let u = g - -295/9. Which is greater: u or 1/6?
1/6
Let w = 28.1 - 28. Do w and 1.2 have the same value?
False
Let p = -66 - -97. Let z = p - 123/4. Let n = 1 + 0. Is z smaller than n?
True
Let a(b) = b**2 - 7*b + 2. Let k be a(7). Are k and -2/3 non-equal?
True
Let t be 3*((-80)/42 + 2). Let q be 8*1*(-8)/16. Let c be q/(-20)*(-10)/(-3). Which is greater: c or t?
c
Suppose 5*y + 14 = -6. Which is smaller: 4 or y?
y
Let r = -3 + 3. Suppose r = -2*o - 2*o + 4. Let x = 157/4 + -39. Do o and x have different values?
True
Let l be (-11)/(-9) + 20/(-90) - 0. Is 2/95 equal to l?
False
Let y = -2451/11 + 223. Which is greater: y or 0?
y
Let n(u) = u**3 + 4*u. Let a be n(0). Are a and -7/13 non-equal?
True
Suppose -l - 2*l - 2*c - 7 = 0, -15 = 3*c. Let j be 3/2*(-4)/(-3). Let y = 3 - j. Is y greater than or equal to l?
True
Let d(i) = i**2 - 5*i + 1. Let f be d(5). Suppose l - f = -0. Is l greater than 1?
False
Let h = -24 - -17. Let s be h/(-4) + 1 + -2. Which is bigger: 0 or s?
s
Let g(h) = -9*h - 4. Let d be g(5). Let o = d + 243/5. Suppose 0 = 3*n - 1 - 2. Is n less than o?
False
Let a = -1 + 0. Suppose -2*u - 56 - 94 = 0. Let k be 5/(u/36) - -2. Which is greater: a or k?
k
Suppose 3*o - 4*n - 7 = 0, 2*o + 3*n + 4 = 3*o. Which is bigger: -4/17 or o?
o
Let m be 0 + (2 - (-13)/(-5)). Is 0 less than m?
False
Let r be (8/(-10))/(2/(-20)). Let x be (-3)/2*r/(-6). Suppose -a + 0*a = 0. Which is greater: a or x?
x
Let y(u) = -1 + 1 + u**2 - 13*u + 1 + 5*u. Let j be y(8). Let w(h) = -h**3 - h + 1. Let a be w(j). Which is smaller: -3/10 or a?
a
Let h be 0/1 - (3 - 29). Suppose 0 = -i - 5*s - 4, 0*s = 5*i + 2*s - h. Let y be i/(-15) - 8/(-70). Is y at least as big as 1?
False
Let j(a) be the second derivative of a**3/6 - 3*a**2 + 2*a. Let h be j(7). Which is bigger: h or 2?
2
Let r = -499/3 - -169. Suppose 0 = 5*z + 2*i - 12, 2*z + 28 = 4*z - 5*i. Suppose 14 = z*u + 3*a, u + 4 = 5*a - 4. Is r at least u?
True
Let u = -162 + 327. Let f = 2473/15 - u. Which is smaller: f or -0.1?
f
Suppose 3*y - 11 = 4. Let k(g) = -18*g**2 + 2. Let f be k(2). Let n be ((-2)/(-5))/((-7)/f). Is y less than n?
False
Let b = -2.2 + 0. Let i = 2.17 + b. Which is greater: i or -2/7?
i
Let x(z) = z**3 + 18*z**2 + z + 17. Let y be x(-18). Does 1 = y?
False
Suppose -5*q = -3*q. Suppose q*p = -5*p + 70. Is -1 < p?
True
Let a = -99/791 + -2/113. Let h = 23/63 + a. Which is greater: -1 or h?
h
Let a = 50527/4 - 12760. Let i = 129 + a. Does 1 = i?
False
Let g(o) = -o**3 - 4*o**2 + o. Let l be g(-4). Let z be (l/10)/(9/(-15)). Is 2 at least z?
True
Let x = 1719/38 - 90/19. Let l = -39 + x. Let c = 9/4 - l. Which is greater: c or 2?
2
Let r be 4/(-8) + 54/58. Let z = 2/29 + r. Which is smaller: z or 2/9?
2/9
Let a be (3 - 4)/((-1)/3). Let u be 4/a + 4/6. Let j be 6/(-2) + -2 + u. Which is greater: -2 or j?
-2
Let y be ((-4)/(-16))/(3/8). Which is smaller: 18 or y?
y
Let b = -15 + 2. Let x = -3 - 9. Which is greater: b or x?
x
Let l = 6 + -21. Let i = l + 14. Which is smaller: i or -5?
-5
Suppose 4*w - 5*j + 0*j - 2 = 0, w - 4*j = -5. Suppose -i = 2*i + w. Let s = -1 - i. Which is smaller: 1/7 or s?
s
Let l be 3 + (-42)/(-2) + -2. Is l at least 21?
True
Let j be (1/(-1) - -3)/1. Let k(p) = p**2 - p - 1. Let c be k(j). Let h = 29/4 + -7. Which is smaller: h or c?
h
Let u(x) = x**3 + 5*x**2 - 3*x - 4. Let v be u(-5). Let t = v - -1. Suppose p - t = -p. Which is smaller: 7 or p?
p
Let s = 0.08 - 4.08. Let y = 18 - 18. Which is smaller: s or y?
s
Suppose 0 = -z + 3 - 1. Suppose -1 - z = 3*m. Is -3/8 at least as big as m?
True
Suppose -6 = -h - 0*h + 4*i, -3*i = -4*h + 11. Is 0 at least as big as h?
False
Let j(v) = -v - 2. Let g be j(-4). Let r = g + -3. Let i(d) = -6*d**3 + 2*d**2 + d. Let s be i(r). Do 6 and s have different values?
True
Let s be (4/(-3))/((-33)/(-9)). Let o be (-3 - -3) + (-2 - -21). Let u = 20 - o. Which is smaller: u or s?
s
Let y = -12 - -4. Let l = -6 - y. Let c = l - 1. Which is bigger: c or -2/3?
c
Let g be ((-7)/(-2) + -1)*(-1)/5. Suppose -m - w = 12, -5*w - 11 = -0*m - 2*m. Is m <= g?
True
Let r = 5.8 + -5.6. Let w = 0 - 1. Which is bigger: r or w?
r
Let o be (-4)/(-8) + (-99)/6. Let p(b) = -b - 18. Let g be p(o). Which is greater: g or 4/5?
4/5
Let q(w) = 2*w - 11. Let b be q(8). Which is smaller: 4 or b?
4
Let j be (1/2*2)/(-1). Let o be (j - -1 - -1) + 1. Let 