 Let j = v - 9. Is 1 greater than j?
True
Let t = -0.08 + 0.07. Let d = t - -1.01. Which is bigger: d or 0?
d
Let l(k) = k**2 + 4*k + 3. Let s be l(-2). Let g = -27166/15855 + -2/2265. Let f = g + 3/14. Which is greater: f or s?
s
Let p be (-42)/8*(-2)/6. Let q = p + -9/4. Is q equal to -1?
False
Let f = 59 - 58. Let y be (-1)/(1 + -3 + -2). Do y and f have the same value?
False
Suppose 2*z + 9 = u + 3, 2*u + 4 = -4*z. Is 2 smaller than u?
False
Suppose -5*r + 3*r + 8 = 0. Let k = 10 - 7. Let s = k - r. Which is greater: -3/4 or s?
-3/4
Let v = -5.1 - -5. Let f = 6.22 - 0.22. Which is bigger: v or f?
f
Let w = -244 + 2682/11. Which is smaller: w or 0?
w
Let t(q) = q + 2. Let s be t(6). Suppose -3*m = -5*m - s. Let w = m - -3. Is w at most as big as 2/5?
True
Let q = -62 - -184/3. Let a = -72 - -71. Which is smaller: q or a?
a
Suppose -2*p - 5*i + 10 = 0, -5*p - 4*i = -45 + 3. Does 9 = p?
False
Let r = -14 + 20. Suppose 0 = -4*t - j - 2, t - 3*j = r*t + 6. Let i = -1/78 + -115/156. Is i bigger than t?
False
Let v = 6 + -15. Let j = 7 + v. Suppose 5*p = n + 10, -2*p + 6*p = -n + 8. Are n and j non-equal?
True
Suppose 1 = 2*t - 5*v + 2*v, -v = -5*t - 4. Is t greater than -1/52?
False
Let h = -17 - -15. Is h >= -2?
True
Suppose 2*w - w = -3*i + 13, -2*w = -3*i + 1. Which is smaller: w or 5?
w
Let x be (3 + (-20)/8)*0. Let g = 1/133 - -251/1995. Is x greater than or equal to g?
False
Let d be (4/6)/(7/105). Is d > 10?
False
Let n = -1868/19173 - -2/913. Which is smaller: n or -1?
-1
Let z = -1.1 + 0.1. Let o = 0.22 + -0.02. Let b = o + -0.3. Is b >= z?
True
Let i be 3/3 + -3 + 2. Let m be -1 - (i - (-3)/(-12)). Is 0 < m?
False
Let j = 5 - 17/3. Let p = 10 - -12. Suppose -v + 25 = -6*v + 4*m, -3*v - 5*m + p = 0. Which is bigger: j or v?
j
Let k be ((8/(-7))/(-2))/(4 + 2). Which is greater: k or -1?
k
Suppose t + 4 = 8. Let a(x) = x - 5. Let g be a(t). Let z = g + 1. Is -2/7 equal to z?
False
Suppose -3 = w, -3*w = -f - 5*w. Let m be 15/14 - (f + -5). Which is smaller: m or 1?
m
Let h = -300001/44 - -6822. Let n = h + -50/11. Which is smaller: n or -2/5?
n
Suppose -2*q + 5 = -3. Let i = 2 - q. Let m be ((-1)/i)/((-12)/(-8)). Is m <= -1?
False
Let g(j) = j**2 + 6*j - 6. Let c be (-1 - 0) + 7 + -3. Let y = -4 - c. Let w be g(y). Is w < -1?
False
Suppose 4 = 5*l - 1. Let b be l - ((-70)/(-12))/5. Let m = -2 - -1. Is b < m?
False
Let z be (-29)/8 - (-3 - 0). Is z not equal to 2?
True
Let d = -411/7 - -55. Is d greater than or equal to -4?
True
Suppose -p - 42 = -r - 4*r, 2*p + 108 = -2*r. Does -52 = p?
True
Let h = -6 + 10. Suppose -3*f + 19 = 2*d, 17 = d - f + 10. Is d smaller than h?
False
Suppose 3*y - 2*o = 7*y - 46, 0 = 2*y + 3*o - 17. Are y and 13 unequal?
False
Let b = -50 + 99/2. Suppose 3*w - 16 = 7*w. Which is smaller: w or b?
w
Let d = -405 - -20657/51. Let g = -34 - -34. Which is smaller: g or d?
g
Suppose 0 = 2*t - 35 + 91. Let f = t - -27. Which is bigger: f or 5/9?
5/9
Suppose 2*g - 42 = -n - 3*g, -3*n - g + 140 = 0. Are n and 46 equal?
False
Let q be (-255)/9 - (-2)/6. Let k be 15/q + 4/14. Which is smaller: 1 or k?
k
Let o(z) = -z**2 + 5*z - 7. Let k be o(4). Which is greater: -2 or k?
-2
Let n = -0.37 - 0.03. Let x = -0.7 - -0.2. Let f = x - n. Is f at most 0.3?
True
Let v be ((-8)/(-30))/(4/(-10)). Suppose 4*y = -4*p - 47 + 3, 3*y - 2*p = -28. Let a be 8/30*y/12. Are v and a non-equal?
True
Let n(u) = u**3 - 10*u**2 + 5*u + 37. Let p be n(9). Is 1/23 not equal to p?
True
Let h be (-8)/20 - 2/(-5). Let u be h + 9/(-3) - -3. Let w = -43/6 - -23/3. Which is greater: u or w?
w
Let r = -17 + 16. Which is bigger: r or 2/87?
2/87
Let l = -1.2 + -1.7. Let t = l + -5.1. Does -2/3 = t?
False
Let n = -1 - 4. Is n at least as big as -5?
True
Let k = -0.12 + 0.1. Let l = k + 0.12. Which is greater: -0.1 or l?
l
Let r be 190/420 - 2/7. Is r at least as big as 2/5?
False
Let x = -0.03 - -0.33. Let y = -3.6 - -4. Let b = x - y. Is b < 0?
True
Let h be (-2)/(-4) + 1/2. Is -3/10 at most h?
True
Let l(k) = 5*k + 6. Let j be l(-4). Let i = j - -10. Let d = 6 + i. Is 2 at least d?
True
Let p = 8 - 10. Which is bigger: 0 or p?
0
Suppose 0 = -3*k + 5*k + 24. Let p be k/(-30) + (-44)/10. Let f be p/(-12) - (-5)/(-3). Is f not equal to 0?
True
Let q = -1/261 + -695/261. Which is smaller: -2 or q?
q
Let w = 12.04 + -11. Let x = w + -0.04. Let j = -3 + x. Which is greater: j or -1/4?
-1/4
Let r = 5 + -5.13. Which is bigger: 1 or r?
1
Let x(i) = -i**2 + 1. Let j be x(2). Let t = 3 + j. Suppose t = 3*a + 1 + 2. Is a at most -1?
True
Let w(y) = y + 1. Let a be w(3). Suppose 2*f - 4*v = a*f - 30, 2*f + v - 21 = 0. Let m be ((-3)/f)/(1/(-3)). Which is smaller: m or -0.3?
-0.3
Let d be 1/7 - 3/21. Suppose i + 7 = -5*f, -56 = -2*i - d*i + 4*f. Is i smaller than 18?
False
Let y = 1129.1 - 1053. Let c = 80 - y. Let m = c + -4. Which is greater: m or -0.4?
m
Let m = 0.4 + 1.3. Is m greater than or equal to -2/7?
True
Let r = 0.17 - 0.14. Let a = r - -2.97. Which is greater: a or 2?
a
Suppose -3*y - 5*f = 20, -4*y + 9*f = 4*f + 85. Let z = 15 + y. Does z = 5/6?
False
Suppose 0 = n + 4*n. Let u be 9/(-2)*(-24)/18. Let k = u - 8. Which is smaller: n or k?
k
Let k(b) = -3*b + 16. Let x be k(8). Which is bigger: x or -9?
x
Suppose 0 = 3*l - 2*j - 1129130, 0*j - 1129136 = -3*l - j. Let m = l + -563061793/1496. Let b = m + 3/136. Which is smaller: -1 or b?
-1
Suppose -2*x = -3*x. Let i = -4401/17 - -259. Which is greater: x or i?
i
Let c(a) = a**2 - 3*a - 1. Let g be c(4). Let k(t) = -2 - 4 + 3 + 2*t. Let i be k(g). Is i at most 3?
True
Suppose -5*q - 12 - 12 = -p, -q - 2*p + 4 = 0. Is -1 greater than q?
True
Let t be ((7 - 4 - 3)/2)/2. Which is bigger: t or 2/3?
2/3
Let a be -2 - -3 - 2 - -1. Let d be 0 - (4/18 - a). Let n = 1 + -2. Which is bigger: d or n?
d
Let q = 8 + -5. Let k = 5 - q. Is k at least as big as 4?
False
Let p = -98.8 - -99. Which is smaller: 2 or p?
p
Let z = 10 - 9.2. Is z greater than -0.1?
True
Let d be 2/(-1) + (-130)/(-75). Which is bigger: d or -1?
d
Let v(a) = -a**2 - 8*a - 7. Let m = 6 - 13. Let i be v(m). Is i greater than -3/7?
True
Let y be 0 - (1 + 3 + -5). Does 2/5 = y?
False
Let b = 0.7 + -0.5. Let k = b + -0.2. Is k smaller than -1?
False
Let d = 37 + -149/4. Does -0.1 = d?
False
Suppose 0 = -3*n - 3*q - 9, 0*n = -2*n - 3*q - 9. Suppose n*c = -2*c - 16. Let s be (2/c)/(10/(-16)). Is s greater than 0.1?
True
Let c = 677/3 - 12821/57. Is c < 1?
True
Suppose -h + 4*h = -12. Let m(v) = 5*v + 6. Let z be m(-2). Is h greater than z?
False
Let m be (-22)/(-28) + (-2)/7. Suppose 0 = -4*n - 4*c, 4*c = 5*n - 4 - 5. Suppose 4*i + n - 5 = 0. Which is bigger: m or i?
i
Let h = -9/2 + 5. Let q = -331 + 331. Is q equal to h?
False
Let m be 8/52 - 6/39. Is m greater than or equal to 1/11?
False
Suppose -5*j + 4 = 19. Is j smaller than -2?
True
Let m = -12.08 + 12. Let t = m + 0.38. Which is smaller: t or 1/4?
1/4
Let d be 9/2 + (-3)/6. Let p(v) = 0*v + 2 + 0 - v + 1. Let j be p(d). Is j > -2?
True
Suppose -o - 72 = 7. Let a = 1029/13 + o. Is a not equal to 1?
True
Suppose -20 = 4*a - 8*a, 5*g + a - 700 = 0. Which is smaller: 140 or g?
g
Suppose 2*s + 27 = -s. Let c be 4/(-6) + 3/s. Is -2/3 greater than c?
True
Let d = 4331811/19 + -228210. Let p = d + 220. Do p and 0 have the same value?
False
Suppose 0*x - 4*x = 8. Let m be (x/7)/((-3)/21). Suppose z = -m*z. Which is bigger: 1/3 or z?
1/3
Let h = 70/3 + -26. Which is smaller: h or -2?
h
Let g = -34/9 + 4. Does 1 = g?
False
Let a = 2/55 + -364/935. Let g = a - 27/68. Which is smaller: 2/9 or g?
g
Suppose 5*z = 3*u + 2, -2*z - u + 6*u - 3 = 0. Let r be (0/1)/(z - -1). Suppose 3*b - 3*t + 9 = r, -5*b + 3 = -0*t + 4*t. Is b at most as big as -2?
False
Let n be 88/32 + 2/8. Suppose v - 12 = -n*v. Does 2 = v?
False
Let d be 22/8 - (-4)/16. Suppose 7 - 13 = d*u. Which is smaller: -10/3 or u?
-10/3
Let j be (-6 - -4)*1/(-15). Suppose 5*c - 24 - 11 = 0. Let x(u) = -u + 7. Let y be x(c). Is j < y?
False
Let r = 136 - 946/7. Is 0 less than r?
True
Let l = 418852526 - 47747083853/114. Let t = l + -18457. Let p = 1/19 + t. Is 1 less than p?
False
Suppose -10*z + 5*z = 0. Suppose 2*v - 4*v - 4 = z. Is v >= -1/2?
False
Let u = 16 - 19. Are u and -5 equal?
False
Let q = -53 + 83. Which is bigger: q or 0?
q
Let g = -0.45