 is smaller: x or p?
x
Suppose -3*w + 3 = 4*x, -4 = -0*x - 3*x - 4*w. Which is smaller: 12/17 or x?
x
Let q = 110.1 - 110. Let l = -0.19 - 7.81. Is q at most as big as l?
False
Suppose -13*c = -12*c - 9. Do c and 8 have the same value?
False
Let n be (-5)/56 - ((-6)/(-21))/1. Let u = 1.02 - 0.02. Do n and u have the same value?
False
Let q = -1.9 + -0.1. Let a = q - -1. Is a at least as big as -0.7?
False
Let v(n) = 3*n**2 + 3*n + 4. Let w be v(-7). Let a be 18/117 + 32/w. Which is smaller: 1 or a?
a
Suppose 3*t = t - 2. Is t smaller than 2/7?
True
Let o = 17 + -23. Is o bigger than 0?
False
Let z = 161/17 - -1/34. Is z != 10?
True
Let r be -1 + (-1)/((-15)/627). Let l = r - 41. Is l greater than -1?
True
Let v = -1 + 1.2. Suppose -2*k = -2*l - 2, l - 2*k = -4*k + 2. Which is smaller: v or l?
l
Let j = 10.54 - 15.4. Let g = 0.84 - j. Let s = g - 6. Is s less than or equal to -2?
False
Let r(c) = c**2 - c + 1. Let u be (-25)/(-20) + 2/(-8). Let z be r(u). Which is bigger: 3 or z?
3
Let o be (-4)/18 + 25/(-9). Let t = 3 - 2.9. Let f = t - 0.2. Is o > f?
False
Let z = -14 - -9. Let w = 5 + z. Suppose w = -3*a + 15, -o + 2 = 3*a - 15. Do 2 and o have the same value?
True
Let n = -0.04 + -1.96. Let c = -18 - -22. Let g = n - c. Which is smaller: -0.1 or g?
g
Let y = 637/1000 + -3/250. Is y > 1?
False
Let i = 0.29 - 0.38. Which is greater: i or -0.2?
i
Suppose -3*h + 4*k + 15 = 2*h, 3*k + 14 = h. Is -5/3 equal to h?
False
Suppose 0 = w + 9 - 19. Is 34/3 at most w?
False
Let b = -1 - -0.97. Is b equal to 2?
False
Suppose 6*x - 25 = -1. Which is smaller: -0.1 or x?
-0.1
Let x be 10/(-8)*(-12)/(-50). Suppose 7 + 0 = 7*n. Is n greater than x?
True
Suppose 7*a = 2*a + 25. Let f be 2/(-1 + a/7). Let w = 6 + f. Are w and -1 equal?
True
Let a = 2 - -3. Suppose 0 = a*x + 9 + 1. Which is greater: -3 or x?
x
Suppose 47 = 4*f - 25. Which is smaller: f or -2?
-2
Let c(p) be the first derivative of p**4/12 + 7*p**3/6 + p**2/2 + 4*p - 4. Let m(o) be the first derivative of c(o). Let l be m(-6). Which is bigger: -3 or l?
-3
Suppose -6*w - 2*i = -w + 30, 0 = 2*i. Is 5 greater than w?
True
Let t(f) = 0*f + 2*f - 8 - 7. Let z be t(11). Which is greater: z or 2?
z
Let g(k) = 0*k + 5 - 3 - 2*k - 8. Let t be g(-5). Suppose -t*v = -4 + 12. Do -2 and v have the same value?
True
Let n = 38 - 38. Is n at least as big as 8?
False
Let p(j) = j + 3. Let l be p(0). Suppose 2*n = 5*x - 3*n + 15, 0 = -x + 2*n - l. Let o be ((-1)/3)/((-1)/x). Is o smaller than -3?
False
Let n = 489/14 - 69/2. Let g(o) = o - 11. Let f be g(10). Which is smaller: n or f?
f
Let m = 148 - 147. Which is bigger: -2/7 or m?
m
Let m be 3/9 + (-2)/(-3). Which is greater: m or -2/45?
m
Suppose 20 = 2*x + 3*x. Suppose 9 = -3*j, -y + j = -3*y + 5. Is x at most as big as y?
True
Let j = -5.06 - -0.06. Let r = 7 + -11. Let k = j - r. Which is smaller: k or 1/3?
k
Let p = 3979/18 - 221. Which is greater: 0 or p?
p
Suppose 0 = 3*y + 2*u - 5, -2*y + 1 = 2*y - 3*u. Suppose -4*q + y = -3. Let l be 2 + -1 + 3/(-6). Which is smaller: q or l?
l
Let j = 31/3 + -10. Suppose -5*r = -3*r. Which is smaller: r or j?
r
Let c be 18/2*(-2)/(-3). Suppose 21 = -5*d + c. Let w = d + 3. Is w greater than -3/7?
True
Let j be (-168)/(-36)*(-3)/(-2). Which is greater: j or 2?
j
Let b(r) = 2*r**2 + r - 3. Let v be b(-4). Is v at least as big as 25?
True
Suppose -5*q = z - 10, -z + 4 - 1 = -2*q. Let c be 8*(q + 2/(-8)). Let p = c + -8. Which is bigger: -3 or p?
p
Let j = -1 - -1. Is j != 3/8?
True
Suppose 4*v + 4*c - 24 = 0, 4*v = v - 4*c + 23. Let a = -3 + 4. Suppose 3*o - a = -h + 4*o, 5*h + 5*o = 15. Which is bigger: v or h?
h
Let y be (9/6 - 0) + (-185)/10. Which is greater: -2 or y?
-2
Let v(l) = l + 2. Let m be v(-3). Let w = 5 - 3. Suppose -w*s = -6*s. Which is bigger: s or m?
s
Let u be 1 + (0 + 0 - 0). Suppose -4*b + 51 = 3. Let z be (-29)/(-8) + -16 + b. Which is greater: z or u?
u
Let b be -21 + 3 + (-3)/(-3). Which is smaller: -16 or b?
b
Let r be 4 + 1 - (0 + -2). Suppose 0 = -5*m + r + 3. Suppose 7 = 5*h - o, -7*h + 4*h - o = -1. Are h and m unequal?
True
Suppose -3*l - 3 + 9 = 0. Let i(t) = 2*t - 6*t - t**l - 2*t. Let p be i(-6). Is 0 > p?
False
Suppose 2*g = 2*i - 6*i - 14, -8 = 3*i + 4*g. Let a be (2 - 6)/(i/(-6)). Suppose -7*n + 2*n - 35 = 0. Is n less than a?
True
Let h(g) = -2*g + 4. Let b be h(4). Let v be ((-8)/12)/(b/(-30)). Let y = -2 + -3. Is v > y?
False
Let i = -1 - -3. Let t(c) = 6*c - 41. Let a be t(7). Which is bigger: a or i?
i
Suppose 3*s + s = -56. Which is smaller: s or 0?
s
Let h = -65/7 + 37/4. Which is smaller: h or -1?
-1
Let p = -60 + 59. Let u = 0 + -0.1. Which is smaller: p or u?
p
Suppose 0 + 45 = 9*d. Which is greater: -5/2 or d?
d
Let f = 2 - 4. Let c(p) = -4*p + 1 - 4*p**2 - 5 + 1 + 3*p**2. Let v be c(f). Is v less than or equal to -1?
False
Let m = -5415/11 - -1509707/3069. Let l = m + 4/31. Suppose 5 = -3*a - 2*a. Is a smaller than l?
True
Let g = 2130/7 - 70430/231. Let k = -3/11 - g. Let j = 1 - 1. Are k and j equal?
False
Let g = -17 - -24. Suppose 0 = -2*y + g + 1. Let j be (8/(-5))/(y/(-10)). Is j at most 3?
False
Let u be (-3)/(-18*(-5)/20). Let a(y) be the first derivative of y**4/4 - y**3/3 - 3*y**2/2 + 2*y + 2. Let g be a(2). Do g and u have the same value?
False
Let m = -577/6 - -97. Let b = m + -4/3. Which is greater: b or 2?
2
Let b be 15/(2 + 4 + -7). Is -15 less than b?
False
Suppose 5*g = -3*g - 0*g. Which is greater: g or -1/7?
g
Let c = 0.684 + 0.216. Is -1 equal to c?
False
Let d be (-8)/28 + 4/14. Suppose d + 2 = -k. Is 1 greater than k?
True
Suppose -2*y - 46 = -3*m - 146, 0 = -2*m. Let i be (-4)/20*y/(-15). Is 5 at most i?
False
Let d(o) = -o + 3. Suppose b = 2*b + h, -b - 2*h - 4 = 0. Let i be d(b). Let l be -1*(-1 - i*2). Is 0 >= l?
True
Suppose 5*o - 5*p - 21 = -51, 2*p = -4*o. Which is smaller: o or -8/11?
o
Let d = -10 - -4. Let a be (-2)/d + 1/(-3). Which is smaller: a or -2/21?
-2/21
Let j = -595 - -2361/4. Which is smaller: j or 2?
j
Let o(p) = -2*p**3 - p**2 + p. Let q be o(-2). Suppose -3*h - 2 = -4*y + 5, -q = -5*y + 4*h. Let a = -10/11 + 7/44. Which is greater: a or y?
a
Suppose 5*u - 3*g + 15 = -2*g, 3*u - 14 = -4*g. Which is smaller: -3 or u?
-3
Let a = 98 + -102. Is a at most -4?
True
Let i = -0.03 + -2.97. Let x = i + -1. Which is greater: -1 or x?
-1
Suppose 0 = -2*d + 4*y - 9*y - 3, 0 = -3*d + 5*y + 8. Which is smaller: 1/34 or d?
1/34
Let a = -1 - 0. Let w = -0.042 + 0.142. Is a equal to w?
False
Let q = -164 - -153. Which is smaller: q or 3?
q
Suppose -4*r - 108 = -0*r. Is r greater than or equal to -27?
True
Let v be -1 + 4/1 + 0. Let n = v - 2. Suppose -c = n + 2. Is c less than or equal to -4?
False
Let p = 13 + -9. Let b be 0 - (2 - 3) - p. Which is smaller: -4 or b?
-4
Let f = -1121/18 - -125/2. Which is smaller: f or -1?
-1
Let o be (-5 - -2) + 1/(-3) + 4. Which is greater: o or -7?
o
Let i = 11 + 1. Suppose -4*k - 7 = -5*q - 23, i = -3*q. Are k and -2 nonequal?
True
Let k = -2 + -7. Let s(r) = -11*r - 31. Let d(v) = -5*v - 15. Let u(y) = 9*d(y) - 4*s(y). Let x be u(k). Are x and -3 equal?
False
Let t be (14 + 1 + 2)*-1. Let n = 26 + t. Let g(j) = -j**3 + 10*j**2 - 9*j + 1. Let u be g(n). Which is smaller: 0 or u?
0
Let m(n) = -n + 5. Let r be m(-6). Let o = -10 + r. Is o > 0?
True
Let d be 2 + (333/(-83) - -2). Let h = -161/415 + d. Is h <= 5/6?
True
Let x = -12 + 10.9. Let z = -1 - x. Which is greater: 2/3 or z?
2/3
Let d be -1*((-130)/(-35) - 4). Is d > -3/16?
True
Let d be 1*(4 + 2)*13. Let k = -388/5 + d. Which is greater: k or 1?
1
Let u(r) = 1 + 2*r + r**2 - 2 - 4 + 3*r. Let q be u(-6). Which is smaller: 9 or q?
q
Let r = 4.2 - 1.4. Let y = -1.9 + r. Let z = 1.9 - y. Which is smaller: 3/7 or z?
3/7
Suppose -4*l + 3*s = -l + 3, -2*s = 0. Let x(c) = c + 1. Let k be x(l). Which is smaller: 1 or k?
k
Let y = -2.3 + 1.3. Let k = 1/309 + -1243/2163. Which is smaller: k or y?
y
Suppose -3 = -3*l + 3. Let c be 1/l*(-3 - -5). Let x(v) = -v**2 - 5*v + 7. Let r be x(-6). Is r at least c?
True
Let y be (-4)/10 - 282/(-5). Suppose -2*v = 5*p - 68, v = 5*p - 0*p - y. Is p < 13?
True
Let s be (-1)/(3 + (-51)/18). Is -24/5 at most s?
False
Let l(h) = -h - 2*h**2 - 2 - 3*h - h**3 + 3*h. Let u be l(-2). Suppose 2*o + 1 + 1 = u. Do o and -1/8 have the 