 p smaller than q?
True
Let q = 8 + -4. Suppose 7*y - 3 = q*y. Is y at most -1?
False
Let m = -73 + 73. Which is bigger: m or -3/37?
m
Let o be -1 + 9/(-12) + 2. Let s = -57/10 + 6. Is o less than or equal to s?
True
Let s(c) = 2*c**3 - 7*c**2 + c + 3. Let k(t) = 5*t**3 - 21*t**2 + 3*t + 9. Let i(q) = -3*k(q) + 8*s(q). Let x be i(-7). Is x != -1/5?
True
Let y be (15/(-1))/5 + 3. Are -10/11 and y non-equal?
True
Let g = -17 - -17. Which is greater: 18 or g?
18
Let s = 7 - 8. Let t be ((0 - 1) + 1)*s. Which is bigger: 1 or t?
1
Let k be -2*(2 - (-162)/15). Let v = k - -25. Let c = -11/10 - v. Is -1 at least c?
False
Let l = -27 + 27. Which is greater: 5/16 or l?
5/16
Let k = -33 - -46. Is k greater than or equal to 12?
True
Let n = 11 - 10.9. Which is greater: n or 1.4?
1.4
Let d be 11/9 + (-2)/9. Let b = -107 - -107. Are d and b unequal?
True
Let p = 4.35 - -0.45. Let u = p - 5. Let w = 0.34 - 2.34. Are w and u nonequal?
True
Let t be 0/(9/((-9)/2)). Is t <= -1/8?
False
Suppose 2*v = -0*v - 8. Which is smaller: v or -6?
-6
Suppose 4*d + 8 = 4*p, -5*d + 10*d + 4 = -p. Which is bigger: d or -2?
d
Let d be 1 - (0 - (-16)/12). Let i be (1/(-3))/((-4)/(-60)). Let w = i - 1. Is d greater than w?
True
Let h = -2 - 0. Let k(a) = 2*a**2 - 5*a + 5. Let x(t) = 2*t**2 - 4*t + 4. Let l(m) = 5*k(m) - 6*x(m). Let z be l(1). Is z at most as big as h?
True
Let q be (-2 - -1)*(-4 + 1). Suppose -i = 3*v + 6, -4*i - 4*v = -i + q. Suppose m + i*m = 3*d + 17, -3*m + 4*d + 18 = 0. Is m greater than 3?
False
Suppose 3*o = 5*m + 7 - 29, m = -3*o - 10. Let t be ((-3)/2)/(2/o). Let h be (-76)/(-28) + 4/14. Is t less than h?
False
Let x be 1/(-811)*(-3)/170. Let l = x + -268984397/1240830. Let m = -217 - l. Is 0 at least as big as m?
True
Suppose 7 = -4*s - 1. Let t be 6/(-4)*s + 9. Suppose -c - y + t = 2*y, -3*c - 16 = -4*y. Is 0.2 < c?
False
Suppose -l + 0*l = 1. Suppose -5*b + 6 = -19. Let a = b - 6. Is a greater than or equal to l?
True
Let f(y) = y - 2. Let r be (5 + -3 + -3)*6. Let v be f(r). Which is bigger: v or -9?
v
Let f be (-1)/3 + 1/21. Is -7 less than f?
True
Let p(z) = -z**2 + 4*z - 1. Let o be p(4). Which is bigger: o or -2/27?
-2/27
Let p be -1 - (-2 + 2 - 0). Let b be (p + (-2 - -2))*2. Let s be (b/(-3))/(30/(-18)). Which is smaller: s or 0?
s
Suppose 0 = -0*o - 3*o + 9, b = 3*o - 12. Which is smaller: -2 or b?
b
Let w = -47/86 - -2/43. Suppose 22 - 4 = -3*j. Let a = 5 + j. Is a at most as big as w?
True
Let a = -0.1 + 0.1. Let s = 21 - 33. Let h be ((-4)/6)/(8/s). Is a < h?
True
Let q = -10471/6 + 1741. Which is smaller: q or -5?
-5
Let o(f) = 9*f**2 + 4*f - 4. Let u be o(1). Is u <= 12?
True
Let z(r) = -2*r**2 + r + 1. Let o be z(-3). Let g be 2/o - (-2)/(-5). Let j = -821 + 821. Is g at most as big as j?
True
Let s = -2.9 - -3. Let u = 3 + 4. Let m = 5 - u. Which is smaller: m or s?
m
Suppose -4*i + 3*i - 2 = 0. Which is smaller: i or -3?
-3
Let k = 3.81 - 3.5. Do 1/2 and k have the same value?
False
Let j be (-1)/4 - 119/(-28). Suppose j*a = 2*a. Let o = a - -3. Which is greater: o or 6?
6
Let v = 670 - 7382/11. Which is smaller: -2 or v?
-2
Suppose 3*c + 10 = 5*g - 2, 5*g - 4 = c. Let w be 2 + 3 + -3 + 0. Let r be w + -2 - (-3)/(-1). Are r and c equal?
False
Suppose 4*f - 5*m = 127, -3*f - 36 = -4*m - 132. Let l = -20 + f. Is 8 <= l?
True
Suppose -18*w + 46 = -26. Suppose -2*d + 4 = -0. Is d at most w?
True
Let z = 1154/252195 - 1/4386. Which is greater: z or 1?
1
Let b(j) = -9*j + 7*j**2 - 8 - j**3 + 2*j**3 + 0*j**3. Let h be b(-8). Which is bigger: h or -2/25?
h
Suppose -2*o + 50 = 2*b, -o - 3*b + 4*b + 15 = 0. Let x be (2/(-90))/((-8)/o). Which is greater: x or 0.1?
0.1
Suppose 3 = 3*y + 6. Let n be 6/(-12) - y/4. Let g = 2 - 3. Which is bigger: n or g?
n
Let y be (1 + -3)/(-1 + -1). Let n = -79.13 - -79. Are y and n unequal?
True
Let i be (-6)/(-4)*4/(-3). Suppose -5*x + 7 = -3*o + 5, -4*x = 4*o + 24. Is i less than x?
False
Let h = -21 - -20. Let r = -5 - -10. Let l be -1 + (6/r - 0). Which is smaller: l or h?
h
Suppose -7*g - 8*g = -7*g. Which is greater: 9/13 or g?
9/13
Suppose -6*s + 2*s + 12 = 0. Suppose -v = -0 - s. Which is smaller: v or 5?
v
Let t = -106 - -182. Let r be -4 + t/10 - 1. Which is greater: r or 2?
r
Suppose -24 = 5*x - 84. Let p be 4/(-12) - 2/x. Let f be (-2)/6 + 10/(-6). Is p > f?
True
Let h = 302 + -907/3. Suppose -5*m + 35 = 5*d, 3*m + 4*d - 24 - 1 = 0. Suppose 0*o = -m*o + 5*t + 22, o + 5*t = -26. Which is smaller: h or o?
o
Suppose -y = v - 35, 0 = 3*v - 3*y - 64 - 29. Is v at least as big as -2?
True
Let c be (-10)/75*5*(-123)/2. Is 42 equal to c?
False
Let l = -6 + -16. Let h be ((-2)/l)/(5/10). Which is bigger: h or -0.1?
h
Suppose -2*u + 4*u - 1 = -f, 0 = 5*u - f + 1. Let b be (3 - 0)*1 - 0. Which is greater: b or u?
b
Let b = 24611/10 - 2459. Let g = 169/90 - b. Is g equal to 0?
False
Let z = -47/6 - -8. Which is smaller: z or 0.1?
0.1
Suppose -4*a + 5 = i - 12, 0 = -5*a - 5*i + 25. Which is greater: a or 0?
a
Let z = -32 - -23. Let g = z + 13. Let w(x) = -x + 1. Let f be w(g). Is -2 < f?
False
Suppose 4*r - 2 = -14. Is r at least -3?
True
Let z = -89/77 - -8/11. Is 3 < z?
False
Let f(k) be the first derivative of -k**4/4 - 4*k**3 + 15*k**2/2 + 16*k + 2. Let d be f(-13). Does -10 = d?
True
Let g = -30 + 44. Which is bigger: 1/2 or g?
g
Suppose -4*u = -2*u. Which is smaller: u or -2?
-2
Let f be ((-3)/(-12))/((-3)/12). Let q be 4/16 + f/5. Which is bigger: -1 or q?
q
Let i(g) = g**3 + 3*g**2 - 4*g - 4. Let t be i(-4). Let o = t + 3. Let v = 0 - o. Which is bigger: -2/9 or v?
v
Let l = 4 + -10. Let q = -6.01 - l. Which is smaller: 0.2 or q?
q
Suppose 6*f - f = 5. Let u be f*-1 - (4 + -4). Let q be 0 - u/2*0. Is 1 equal to q?
False
Let x = 16 + -15. Let z be (0 - 1/(-2))/(-2). Is x greater than or equal to z?
True
Let r be (-1 - -2) + (-15005)/(-5). Let o = r + -105079/35. Let h = 1/7 - o. Is 1/2 greater than h?
True
Let h = 9 - 4. Suppose -h + 4 = n. Let d be (-4)/9*n/(-2). Which is greater: -1 or d?
d
Suppose -a + 5*a + 44 = 0. Is a at most -12?
False
Let u be (-2135)/15 - 2/3. Let g = u - -424/3. Which is bigger: -1 or g?
-1
Let x = 72/91 + -14/13. Is -2.7 less than or equal to x?
True
Let d = -2 + 1. Suppose f = -f + 4. Let p be (-3)/(-9)*1/f. Which is bigger: p or d?
p
Suppose 0 = -3*r - r. Suppose 0*t = 3*t + 2*o - 12, 0 = t + 5*o - 4. Suppose t*d = -r*d - 8. Do -4/7 and d have the same value?
False
Suppose -2*u = -5*p + 6, -2*u - 6 = -0*u - p. Let j(q) = q**3 + 4*q**2 + 2*q - 2. Let g be j(u). Suppose 5*v - 4*w = 5, 4*v - 1 = 4*w + 3. Is g < v?
False
Let x(q) = q + 6. Let b be x(-4). Let v be (10/15)/(b/(-3)). Which is greater: v or 0?
0
Let z = -185.4 + 194. Which is smaller: z or 1?
1
Let j(t) = t**3 - 9*t**2 - 10*t + 1. Let i be j(10). Let z(a) = a + 9. Let n be z(-19). Is i > n?
True
Suppose -3*u + 7*u - 3*t = 10, -3*u = -3*t - 6. Suppose 61 = u*f + 5. Let a be -1 + 0 + f/10. Is a > 1?
False
Let d = -181 + 175. Which is bigger: -7 or d?
d
Let w be 64/(0 - -1) + 1. Suppose 3*v + 2*v = w. Let r = -49/4 + v. Are 2/3 and r equal?
False
Let i = 20 + -11. Let s be (-40)/54*i/6. Which is bigger: s or -1?
-1
Let i = -7 + 15. Suppose 3*g - 3 = -5*d, -i*d - 3 = -3*d - 3*g. Suppose 0 = -y - d*y. Which is smaller: -1/3 or y?
-1/3
Let c = -455936535/37 + 12323578. Let f = c - 969. Is f != 1?
True
Let t = -3 - -7. Let j = -3 + t. Is -6 <= j?
True
Let x be -3 + (0 - 0)*(-1)/2. Which is greater: x or -2?
-2
Let y = 10 + -8. Let l = -2.6 + y. Which is greater: 1/3 or l?
1/3
Let c be (-4)/7*20/40. Which is smaller: -48 or c?
-48
Let y(k) = k - 7. Let r be y(6). Let o = 32 + -31.7. Let x = 2.7 + o. Are x and r equal?
False
Let k = -8 - -7. Which is smaller: k or 1/11?
k
Let v be (-52)/(-38) + 1 + -2. Is v not equal to 1?
True
Let n be 8/15 + 4/(-20). Suppose l = -3*s - 0*l, 5*l = -s. Let b be (-3 - -2)/(s - -2). Is b at most as big as n?
True
Suppose 4*l = k - 28, l + 10 = -0*l + k. Is 0 not equal to l?
True
Let k = -251/5 + 49. Is k > 0?
False
Suppose 0 = -5*l - 72 - 103. Let r = -103/3 - l. Let v = -8 - -7.8. Is v != r?
True
Let n(v) = v**2 + 7*v + 1. Let y(h) = -8*h**3 + 2*h**2 - 2*h + 1. Let s be y(1). Let c be n(s). Which is greater: c or 4/5?
c
Let l = -3 - -8. Suppose 0 = l*u + 25, -22 = 2*q + 5*u - 5. Let m be 