 Suppose d*r = 3*r + 3. Is 2 equal to r?
False
Let p = -1 + 0. Suppose 2*s = -3*n - 8, 2*n + 6 = -7*s + 6*s. Let y be (n/14)/(81/(-63)). Is p less than or equal to y?
True
Let w be ((-3)/10)/(2/48). Which is greater: -6 or w?
-6
Let c = -59 - -153. Let w be ((-1112)/(-18))/((-4)/6). Let k = c + w. Is 1 smaller than k?
True
Let n be -1*-2*(-3)/6. Is -12 less than or equal to n?
True
Suppose 12 = -3*d, -6*l + 9 = -l + 4*d. Suppose 2*n + 6*n - 40 = 0. Let s = n - l. Is s greater than or equal to -1?
True
Let v = -205 - -2257/11. Which is greater: 0 or v?
v
Suppose 25 + 75 = 5*d. Let r be 5/(d/8) - -9. Does r = 11?
True
Let z = 1.1 - 2.5. Let b = 6.6 - z. Let f = -7.8 + b. Which is smaller: 0.1 or f?
0.1
Let x = 13/160 - -3429/1120. Let i = x + -96/35. Let t be 16/(-4) - 16/(-4). Is i equal to t?
False
Suppose 0 = f - 4*f + 6. Suppose -j = -f*j. Let u be 1/(3 + j + 1). Which is smaller: u or 0?
0
Let x = -122 + 612/5. Is x smaller than 15?
True
Let l be ((-4)/(-4))/(2/158). Let m = l + -41. Let a be 1 + 1/((-34)/m). Is a <= 1?
True
Let k be (-16)/(-4) + (1 - 1). Let d be k/(-24)*1*-2. Let q = -2 + 3. Is d at most as big as q?
True
Let y(l) = l**3 + 3*l**2 - 2*l + 4. Let a be y(-4). Is a at most as big as -5?
False
Let a be 20/(-15)*6/(-4). Let o(i) = 0*i**2 + 0*i**a + i**2 + i. Let d be o(1). Is d bigger than 1?
True
Let y be (4/3)/(63/27). Is 1 < y?
False
Let p be 3/((-6)/8) + 44. Let z be (96/p)/(42/20). Which is greater: 0 or z?
z
Suppose 0 = 2*v - 2 - 8. Suppose -q - v = -g, -3*g + 2 + 25 = q. Let b = 7 - g. Is b at least as big as -1/7?
False
Let p be (-3)/(-9)*(-4 - -1). Let v be (0 - -2)*(0 - p). Let x be 2/4 + 2/(-4). Which is bigger: v or x?
v
Let o(k) = -3*k - 2. Let h be o(-4). Suppose i - 5*a = -2*i + 27, i - 19 = 5*a. Suppose h = i*q + q. Is q less than 2?
False
Let y = 514/63 - 76/9. Let d = 740.91 + -741. Is d != y?
True
Let m = 1.3 - 6.3. Let r = 3 + m. Is r less than -4?
False
Let d be 5 + 0 + (-3 - -3). Suppose -84 = -d*t + t. Let b be 0/2 - 9/t. Which is greater: -1 or b?
b
Let s(u) = 5*u**2 - 2*u - 1. Let t be s(-2). Suppose -13 = -4*b + 3*b - 4*q, -2*q + 6 = 0. Suppose 3*x + 2*y - b = 3, x - t = -5*y. Is x at least as big as -3?
True
Suppose -7*o + d - 130 = -2*o, -4*d = 0. Let a = 8 + o. Is -18 less than a?
False
Let d = -25 + 21. Which is bigger: d or -5?
d
Let k(p) = 5*p - 5. Let a be k(2). Which is greater: a or 4?
a
Let c = 4292 - 716762/167. Which is greater: 0 or c?
c
Let s = -8 - -12. Let f be (-39)/(-6) - 2/(-4). Suppose 2*z = -3*h + f, z + 3*z - 5*h - 25 = 0. Is z != s?
True
Let l = -0.97 - 2.03. Which is smaller: 4 or l?
l
Let g = 13 + -10.9. Let d = 0.1 - g. Which is smaller: d or -4/9?
d
Let o = -140.89 - -141. Are 1 and o unequal?
True
Let p = -2/17067 + 1063873/256005. Let k = 32/9 - p. Which is bigger: k or 0?
0
Suppose 5*w - p + 29 = 0, -2*p = 1 + 1. Let s be ((-2)/3)/((-2)/w). Let u = 14 + -15. Is s >= u?
False
Suppose t - 7 = -2*g, -5*t - 17 = -4*g + 32. Let u = -4 + g. Let k be u/4*-5 - -2. Is -1 greater than k?
False
Suppose 4 + 4 = -4*d. Let a be (-7)/3*-3 + -2. Suppose 2*m - a*m - 6 = 0. Is m at least d?
True
Let h = -11 - -11. Suppose 0 = -h*o + o - 2. Are 4/7 and o non-equal?
True
Let u = 5 + 2. Which is greater: -2/5 or u?
u
Let w(z) = z**3 - 15*z**2 + 15*z - 7. Let v be w(14). Is 0 != v?
True
Let s = -22 + 16. Let n be 1/s - 10/(-15). Is 0 not equal to n?
True
Let l be 2*-3 - (6 + -9). Let o(t) = -t**3 - 3*t**2 - t - 2. Let q be o(l). Let g(k) = k. Let i be g(3). Which is smaller: q or i?
q
Let c be -2*-1*21/6. Let y be ((-32)/c - -3) + 1. Suppose -5 = 5*v - 0*v. Which is bigger: v or y?
y
Let b(o) = -o**3 + 4*o**2 + o - 2. Let d be b(4). Is d bigger than 7/3?
False
Let r = 0.989 - -0.011. Which is smaller: 12/7 or r?
r
Suppose 2*o = 5*o - 3. Let j(u) = -u**3 - 3*u**2 - 9*u - 2. Let m be j(-6). Let t be (-24)/m + (-4)/(-10). Which is greater: o or t?
o
Let y = 11 - -12. Let z = y + -23. Is z > -1/2?
True
Let s = 6 - 4. Let m be (-185)/4*(-4)/(-10). Let b = -18 - m. Which is smaller: s or b?
b
Let q = -1 - -5. Suppose -4*z - 2 = -d - 2*z, -5*z - 5 = -q*d. Suppose -u + 5*j = 3*j - 6, j = -3*u - 3. Is d at most u?
True
Suppose -30*s + 130 = -50. Let m(j) = 2*j**2 - 4*j + 1. Let w be m(3). Which is bigger: w or s?
w
Let s be 3 + (-5)/(15/9). Let p be s - (1 - 1)/(-1). Is -1 bigger than p?
False
Let x(w) be the second derivative of w**4/12 - 5*w**3/6 + 4*w**2 - 2*w. Let u be x(3). Let h be 2/(-7) + 60/14. Is u greater than h?
False
Let o(k) = -k**2 + 7*k - 3. Let j be o(6). Suppose 4*l + 15 = -1. Let i be -2 - 1*-2 - l. Which is smaller: i or j?
j
Let t = 20553 - 37891. Let v = 658779/38 + t. Let b = v + 4/19. Which is smaller: b or -2?
-2
Let o(h) = h - 7. Let s be o(6). Let w(x) = x**2 - 2*x - 4. Let b be w(4). Suppose b*t = 5*y - 28, 2*t - y + 3 + 5 = 0. Is s > t?
True
Let x = -17/40 + -3/40. Is x equal to 3?
False
Let c = 1.5 - 2. Let q = 0.57 + c. Let w = -0.37 + q. Which is bigger: 0 or w?
0
Let u = -5 - -6. Let b = 0.6 - u. Let s = b + 0.6. Is -1 at least as big as s?
False
Suppose -3*g = -z - 12, 2*z = g - 4*g + 21. Let d = 11 - g. Which is greater: -2/9 or d?
d
Suppose -3*t + 4*t = 4. Suppose -4*c = -t*d, 3*d + 16 = -4*c - 5. Let f = -10 - d. Which is smaller: -6 or f?
f
Let g = 19 + 2. Which is smaller: 20 or g?
20
Let s(u) = u + 2. Let l be s(-2). Which is smaller: l or 1?
l
Let q = 39/5 + -41/5. Let f be 2 - ((-6)/(-1))/3. Is q >= f?
False
Let w be ((-5)/(-15))/((-1)/3). Is w equal to -11?
False
Let m(b) = b**2 - 2*b - 23. Let i be m(-4). Which is smaller: i or 6/19?
6/19
Let h be 2/4 + (-1 - -1). Suppose -3*z + z + 2*a = 0, 4*a + 1 = 5*z. Is h less than z?
True
Suppose h + h - 34 = 0. Let x = h + -84/5. Which is greater: x or -0.1?
x
Suppose 3*q - 34 = 5*b, -b + 10 = q - 3*b. Which is greater: q or -3?
q
Let p = -5 - -4.9. Is 1.1 != p?
True
Let z be 2 - 2 - (-1202)/(-4256). Let o = 1/304 - z. Is o at most -1?
False
Let n be 668/(-1720) + (-2)/(-5). Which is smaller: -1 or n?
-1
Let j be (-12)/(-39)*(3 - 30/8). Which is smaller: j or -0.1?
j
Let j = 1.3 + -1.5. Let b = 0 - j. Does 0.1 = b?
False
Let k = 82 + -191. Is -109 smaller than k?
False
Let b be (-136)/32 - (-5 + 1). Suppose v = -4*v + 5. Which is greater: b or v?
v
Let c = 1 + 6. Suppose 0 = 3*z + 26 + 19. Let i be (-5)/z*(-1 + c). Do i and 3/5 have the same value?
False
Let a(v) = -v + 1. Let k be a(4). Let c = 14 + -20. Let j be 2/c*(-3)/2. Which is smaller: j or k?
k
Suppose 0 = -2*p - 3*r + 13, -4*r - 36 = -2*p - 2*p. Which is smaller: p or 0.1?
0.1
Let d be 0 + -2 - (-108)/51. Is -1 at least d?
False
Let w = -5 - 13. Is -18 less than w?
False
Let j = -65 + 25. Let z = j - -37. Let k = -0.25 + -0.05. Is k equal to z?
False
Suppose -3*y = 2*w + y - 10, 4*y + 8 = 4*w. Let t be (-3 + 1)/((-2)/w). Let z be (-2)/4*t/6. Are 0.1 and z nonequal?
True
Let h(l) = -l**2 + 9*l. Let j be h(10). Let z = j + 14. Suppose -z*b = -b - 3. Which is smaller: 0 or b?
0
Let l = 8 + -5. Let u be (2 - l)*(0 - -1). Let r = -1/54 + 29/108. Is r >= u?
True
Let w be (4/(-3))/((-1)/(-3)). Let z = w + 7. Suppose -4*m = -z*m - 1, c + 1 = -2*m. Which is bigger: -4 or c?
c
Suppose -25*c + c = 240. Do -46/5 and c have different values?
True
Let c(t) = -5*t + 4*t**2 + t - 18 - t**3 + 0*t**3 + 22. Let h be c(3). Let x be (-2*2/(-14))/2. Which is greater: x or h?
h
Let a(y) = -2*y**2. Let i be a(-1). Is 3 at least i?
True
Let s be 2/5 + (-264)/10. Let b be -3 - (1/s + -3). Let h = b - -9/104. Is 2 less than or equal to h?
False
Let q = 0.1 - -0.6. Let a = q + -0.3. Let l = a + -0.7. Which is bigger: l or 1?
1
Let g = 5 - 4. Suppose 5*y + 11 = g. Which is smaller: -3/4 or y?
y
Let u(x) = x**3 - 5*x**2 + 6*x. Let i be u(4). Suppose -l - 8 = -3*o, 0 = 2*l + o + 1 - 20. Which is smaller: i or l?
l
Let w(j) = -j**3 + 8*j**2 - 7*j - 6. Let r be w(7). Let s = r - -4. Is s < -2?
False
Let o = 109 + -100. Does o = -2/5?
False
Let x = 336 + -5042/15. Let l = 3 + -3. Is x bigger than l?
False
Let h be 36/2*(-7)/(-3). Let t be -2 - (-3)/(h/22). Which is bigger: 1 or t?
1
Let x(t) = t**3 - 7*t**2 - 6*t - 9. Let f be x(8). Is f at most 7?
True
Let m(k) = -2*k**3 + 1 - 10*k**3 + 2*k**2 - 4*k**2. Let c be m(-1). Let z = 7 - c. Is z at least as big as -4?
True
Let a(s) = s**2 - 9*