Does -6 = v?
False
Let j be ((-2)/4)/(8/3952). Let d = j - -4695/19. Is -1 equal to d?
False
Let l = 15 + -8. Let k be 2/l - 2/7. Suppose -24 = -k*t + 2*t + 4*u, 0 = -t + 5*u + 23. Is 0 > t?
True
Let a(r) = -r**2 - 5*r - 5. Let z be a(-4). Let u = 3866/9 + -430. Which is greater: z or u?
u
Let q(f) = f**2 - 5*f + 5. Let p be q(5). Suppose p*k = -9 - 6. Is k equal to -5?
False
Let w = -48 - -64. Which is smaller: w or -0.1?
-0.1
Suppose -4*y = -4*t - 5*y + 29, -3*y + 3 = 0. Are t and 1 unequal?
True
Suppose -3*x + 921 = 4*c, -c + 0*c + 2*x = -233. Let a be 4/(-22) + 108/c. Let b(y) = -y**2 - 11*y + 13. Let d be b(-12). Which is smaller: d or a?
a
Let c = 0.023 - -0.277. Let t = 2 + -3. Which is smaller: t or c?
t
Let o = 35 + -64. Let a = o - -59/2. Let y = 5 - 5. Which is smaller: y or a?
y
Let z = 18 + -14. Suppose -2*d + 14 = -4*m, d - 4*m = 11 - 2. Is d less than or equal to z?
False
Let g = 8 - 6.4. Let h = g - 0.6. Let c = -15 - -10. Which is greater: h or c?
h
Let r be -3 - -2 - (-9)/33. Let a = r - -126/143. Are -1 and a equal?
False
Let q = 0.6 + -3.6. Let b = 5.5 + -5. Let d = 0.4 - b. Which is smaller: d or q?
q
Let s = -6663 + 20234/3. Let a = s - 81. Let u(b) = b**3 - b + 1. Let i be u(0). Which is greater: i or a?
i
Suppose -4*d + 10 = 2*o, 5*d + 5 + 20 = 5*o. Which is smaller: 29/7 or o?
29/7
Let y be (-11)/(-1) + 0 + -2. Let c be 0 + -3*(-33)/y. Is 12 smaller than c?
False
Let w = 41 - 40. Which is smaller: -2/7 or w?
-2/7
Let h = -7 - -9. Let z be 2*(h + -3)*1. Is -1 < z?
False
Let u = -2.9 - -3.9. Do u and -12 have the same value?
False
Let g = -28.5 - -23. Let z = g + 5. Let v = -0.6 - z. Is -1/2 less than v?
True
Let v = 307 - 1847/6. Which is greater: -1 or v?
v
Let v be 2/(-1) + (-36)/(-14). Suppose -5*u = -3*u. Let q(t) = -t**3 - t**2 + 1. Let l be q(u). Is l > v?
True
Let o = 2 + -3. Let z be 4/3 + 8/(-6). Which is greater: z or o?
z
Let f = -0.1 + -0.4. Let b = 0.3 - 0.2. Is b < f?
False
Let k(r) = -2*r - 7. Let x(a) = a**2 + 2*a + 1. Let d be x(-1). Let v be k(d). Is -7 < v?
False
Suppose -2*d = -t - 11, -18 = -4*d - 5*t + 11. Suppose 0 = 3*h - 9, 5*g - 31 = g - h. Is g less than d?
False
Suppose 56 = 2*j + q - 5, -4*j = -4*q - 92. Let a = j - 198/7. Which is greater: 1/4 or a?
1/4
Let z = 4 + -7. Is 10 less than z?
False
Suppose -5*b - 2*c - 1 = -0*b, -1 = -4*b - c. Is b at most as big as 2?
True
Let a = 7 - 7.1. Let t = -2.9 + 3. Let y = a + t. Which is greater: 3 or y?
3
Let f(s) = -s**2 + s - 1. Let r be f(0). Let o = r - 0. Which is greater: 1/12 or o?
1/12
Let f = -18.8 - -9.8. Is f at most -0.08?
True
Let n(x) = -x**2 - 2*x + 2. Let a be n(1). Let v = 0 + -2. Let t be (v - -1)*(-2)/(-2). Is t less than or equal to a?
True
Let j = -333719/15 + 110804/5. Let v = 87 + j. Which is greater: v or -1?
v
Let a = 28 + -26. Are 3 and a nonequal?
True
Suppose -3*k - 10 = 11. Which is smaller: k or -6?
k
Let z be 0 + -1 + 22/18. Let p be ((-1)/4)/((-21)/28). Which is greater: p or z?
p
Let k = 4 - 4.12. Let i = -28 + 29. Is k <= i?
True
Let u = 27 - 23. Let o(q) = q**2 - q - 1. Let a be (2 - 1 - -1)/(-1). Let k be o(a). Is k equal to u?
False
Suppose 32 = -4*g + 8*g. Is g equal to 9?
False
Let i = -2 + 4. Let n be 0*(2/7 - (-121)/(-154)). Which is bigger: n or i?
i
Suppose 12*l = -268 - 32. Is -25 at most l?
True
Let t be (1/(-3))/(2/(-6)). Let q be t*((-24)/(-52))/3. Which is smaller: q or -1?
-1
Let n = -20 + 8. Let f be 3/n - (-74)/232. Which is greater: f or -1?
f
Let f = -0.7 - -1.1. Let j = 0.2 - f. Which is smaller: j or -0.1?
j
Let d be 9/(-6)*(-4)/3. Suppose 2*o = o. Let s = 1 + o. Which is smaller: d or s?
s
Suppose 3 = -v + 2. Suppose -5*f + 22 = 5*z + 2, 0 = 3*f + 3. Let o be (-2 - z/(-2))*-1. Which is smaller: v or o?
v
Let n be 90 - 1*(1 + 1). Suppose -g = -3*g + 2*k - n, 2*g - 3*k + 85 = 0. Let m = g + 234/5. Does m = 1?
False
Let o = -10 - -9.86. Let f = -0.07 - -0.03. Let t = f - o. Which is greater: t or 2/5?
2/5
Suppose 0*m - 4*m = -8. Let r = 5 - 3. Is r != m?
False
Let b(z) = -z**3 + 14*z**2 + 14*z + 4. Let n be b(15). Which is smaller: -47/4 or n?
-47/4
Let l = -15.1 - -16. Which is greater: l or 2?
2
Let c be (-1)/(-4) + 93/(-276). Let w be (-25)/150 + 2/12. Which is smaller: c or w?
c
Suppose 3 + 12 = 3*l. Is l less than or equal to 4?
False
Let i = 2 + 4. Let l = -403 - -817/2. Is l < i?
True
Let b = 64 + -41.1. Let d = 24 - b. Let o = d - 1. Is 2/3 not equal to o?
True
Let k = 1234/11 - 112. Is 0 smaller than k?
True
Let v(o) = o**2 - o + 10. Let z be v(0). Suppose -c - 2*g - 5 = -13, 5*g = z. Let m be c/(-10) + (-14)/(-60). Which is smaller: -1 or m?
-1
Let n = 5.3 - 5. Let a = n + -0.4. Which is smaller: 3 or a?
a
Let t = -3 + 2. Let a = -2/4849 - 1115264/14547. Let o = a - -76. Is t < o?
True
Suppose b - 210 = 11*b. Does -18 = b?
False
Let s = -13 - -24. Is 10 <= s?
True
Let v(b) = -b - 20. Let z be v(-22). Let q(d) = d**2 + 4*d + 1. Let m be q(-5). Suppose -o = -m*o + 5. Are z and o unequal?
True
Let l be (9/(-3))/(-3) + -3. Let i be (-4)/8*l/(-4). Which is smaller: 1 or i?
i
Let z = 16.92 - 17. Let q = z - -7.08. Does 1/2 = q?
False
Suppose m - 6 = -0*d + 4*d, 4*d - 6 = -5*m. Suppose 0 = -p - p + 5*i - 21, m*i = 5*p + 42. Is -6 less than p?
False
Let q(k) = 4*k**2 + 4 - 3*k**2 - 4 - 1. Let x be q(-2). Which is smaller: 2 or x?
2
Let r be -1 + 1 + 6/8. Does r = 2?
False
Let i = 7.245 + -0.195. Let j = i + -0.05. Let g = 0 + j. Which is smaller: 0 or g?
0
Let p(s) = -s**3 + 10*s**2 + 11*s + 7. Let l be p(11). Let x = 10 + -2. Is x less than or equal to l?
False
Let v = -88 + 615/7. Which is bigger: 0.2 or v?
0.2
Suppose -3*x - 4 - 1 = 2*v, -5*x + v = 17. Let g be 4*(-2)/(-10)*-5. Is g <= x?
True
Let q be (12/8)/((-9)/5). Suppose 6*g = 2*g - 8. Which is greater: q or g?
q
Let g(h) = h**2 - 5*h - 1. Let j be g(5). Let y be 6/16*2/(-15). Let x = -43/60 - y. Are j and x equal?
False
Let x(k) = 9*k + 64. Let z be x(-6). Is z less than 10?
False
Let r = -1313/63 + 194/9. Suppose -3*o + 1 + 2 = 0. Is r less than o?
True
Suppose 0 = 3*y - 4*z + 6*z - 16, -3*z + 11 = -2*y. Suppose 5*l - y*h + 3 = 0, -4*h - 6 = -2*l - 20. Which is bigger: l or 1/8?
l
Let t = 1572/20275 - -2/811. Are 0 and t non-equal?
True
Let j be -1 - (0 - 1)*1. Is j equal to -1/9?
False
Let y = -7 + 2. Let w = 0.005 + -5.205. Let t = y - w. Is t at most as big as 3?
True
Suppose 0 = 2*g - 10 + 4. Let j be (-9)/3 - (g - 0). Let v be (3/(-6))/((-15)/j). Are 0.1 and v equal?
False
Let c = 145/18 - 17/2. Let n = 134 - 89. Suppose 5 = -4*d + i, 5*d + 5*i = -20 + n. Which is greater: d or c?
d
Let d(n) = -n**3 + 3*n**2 - 6*n. Let t be d(4). Let v be (-3)/(-12) - 22/t. Let q(x) = 2*x - 8. Let s be q(4). Is v <= s?
False
Let f(i) = -i**3 + 8*i**2 - 5*i - 10. Let c be f(7). Suppose -c*p - 112 = -0. Let d be p/(-95) - 6/15. Which is bigger: 1 or d?
1
Let n = -6669/2428 - 2/607. Is 0 greater than n?
True
Let p be (-188)/(-34) + (-11)/(44/8). Is p less than or equal to 5?
True
Let q be 0/(0/1 - -1). Suppose -2*r + 3*r - 5 = q. Suppose -3*p = -15, -y - 4*p = 4*y - r. Is y at least -3?
True
Suppose b = -10*b - 77. Which is bigger: 2 or b?
2
Suppose 9*u - 32 = 5*u. Let y = -12 - -22. Is u greater than or equal to y?
False
Suppose 4*t - 12 = z, 4*z - 14 + 5 = -3*t. Let y = t - 4. Suppose 0 = -2*r - 5*k - 19, -2*k - 14 + 4 = 0. Which is bigger: y or r?
r
Let x = -18 + 33. Suppose -v = 3*v - 3*w + x, -3*w + 15 = 0. Let d be (-1)/((-12)/14) - 1. Is d smaller than v?
False
Let y = -4 - 7. Let a = -9 - y. Let v be 12/5 - (4 + -2). Which is smaller: v or a?
v
Let b = 8/63 + 2/21. Is b smaller than -0.04?
False
Let o(t) = -3*t + 9. Let v(s) = 4*s - 10. Let u(m) = -5*o(m) - 4*v(m). Let k be u(-5). Which is greater: k or 1/7?
1/7
Let l be 23 + (-3 - -6 - 3). Which is smaller: l or 24?
l
Let u be -1 + -1 + 4 + 13. Is 15 < u?
False
Suppose -6*l = -l. Let s(p) = -p**2 - 2*p + 1. Let b be s(l). Is -2/5 at least b?
False
Let k = 9 + -1. Let u be k/8 - (-26)/(-7). Let q = u - -17/7. Are 0 and q non-equal?
True
Suppose 0 = 2*x + 3*y - 5, -2*x + 4*y = -7*x + 9. Let l be (2 - 3)/(0 + x). Suppose 3*g = 6 - 15. Which is greater: l or g?
l
Let l be ((-32)/(-72))/(-4 - -2 - 0). Is 1.5 greater than l?
True
Suppose 5 = 3*p - 2*p. Suppose w - p = -2. Suppose 2*h + w*h = 