r: 0 or a?
a
Let d = -0.04 + 0.03. Let c = d - -0.31. Is c less than or equal to -1?
False
Let d = 4 - 3. Suppose 2*q = -z + d, -2*z + 1 = 5*q - 6. Which is greater: z or -6?
-6
Let q = 39 - 66. Is q bigger than -27?
False
Let y(z) = z**2 + 2. Let d be y(4). Suppose -3*s + 2*s = d. Let g be 2/4 - s/12. Which is smaller: 1 or g?
1
Let y(c) = c + 1. Let t be y(-3). Let d = 0 + -0.1. Let m = d - 0. Is m > t?
True
Suppose -4*b = b + 5. Is -1 at most b?
True
Let p = 57 + -57.031. Which is smaller: 2/3 or p?
p
Let j = -760 - -5330/7. Which is smaller: j or 0?
0
Let u(h) = -h**3 + 8*h**2 - 7*h + 2. Let j be u(7). Let r be j/(-8) - 15/(-28). Is r > 4/5?
False
Let d = -4 + 6. Let r be 24/(-9)*(1 + 3). Let i = -11 - r. Which is greater: d or i?
d
Let p(h) = -h**3 + 6*h**2 - 6*h + 4. Let k be p(5). Let v = 0 - k. Let l = 3259/3 + -1086. Is v > l?
True
Suppose 0 = -x + 2*x - 9. Let t be x/(-15) - 22/(-70). Is -3 <= t?
True
Let o be (-143)/(-132) - (2 - 1). Let i(h) = h**2 - 2*h + 1. Let d be i(2). Is d >= o?
True
Let v = -46.94 + 49. Let i = 0.06 - v. Let l = 1 + i. Which is bigger: -4 or l?
l
Let a(k) = -k**2 + 5*k - 2. Let l be a(4). Let i = 11 - 7. Let z = i + -4. Is z less than l?
True
Let j = -333 + 234. Let r be 150/(-22) + 18/j. Is r greater than -7?
False
Suppose 4 = 3*u - 5. Let z = -7 + u. Which is greater: -2 or z?
-2
Let t = -3.2 + 3.3. Let r = 0.2 + -0.3. Which is smaller: t or r?
r
Let d = -209 + 1469/7. Is 0 greater than or equal to d?
False
Let h = 0.06 + -0.06. Is h bigger than 4/5?
False
Let s = 4 - 4. Let q = -4 + s. Is -0.1 >= q?
True
Let b be (0 + -2)*(-1)/(-7). Suppose 30 = 2*h - 0*h. Let m be ((-4)/25)/((-6)/h). Is b bigger than m?
False
Let z(g) = g**3 - 5*g**2 - 6*g + 30. Let v be z(5). Is 3/7 at least v?
True
Let g = -1.57 + 0.74. Let l = g - 0.17. Is l greater than or equal to -1?
True
Let s = -207 - -1659/8. Does s = -1?
False
Suppose -5*o - 1 - 4 = 0. Let n be 1/9*(1 + -3). Are o and n non-equal?
True
Let s = 2.7 - 1.7. Let w = 0.97 - s. Which is bigger: 0.1 or w?
0.1
Let t = -197 - -195. Is t greater than or equal to -3/4?
False
Let g(c) = -c**3 - 2*c**2 - c - 4. Let x be g(-3). Let f = x + -8. Which is smaller: f or -1?
-1
Let o = -1.7 - -1.4. Let l = 0.6 + o. Which is bigger: 3 or l?
3
Let a(o) = o**3 - 5*o**2 - 1. Let p be a(5). Let j = -237 - -2605/11. Is j at least as big as p?
True
Let t be (30/4)/(5/(-10)). Let m be (-1)/(-4) + t/(-100). Let d be (-2*1)/(2*-1). Which is smaller: m or d?
m
Let j = 328 + -8852/27. Which is bigger: j or -1?
j
Let a be 26/(-10) - (-2)/(-5). Let z = a - -1. Let y be (-4 + 0)*z/4. Which is smaller: y or 3?
y
Suppose -5*r + 27 = -3. Let c be (-12)/(-28)*(-4)/r. Which is smaller: -3 or c?
-3
Suppose 3 = -4*q - 1. Let o be (-1 - 2/(-2)) + q. Is o at most 4/9?
True
Let z(k) = k**2 - 6*k - 1. Let a be z(6). Let x be -1*3 - (-66)/12 - 3. Is x at least a?
True
Let m = -11032/4687 - -102/43. Is m smaller than -1?
False
Let c = -9.8 + 16.7. Let l = c + -8. Let n = 1 + l. Which is smaller: -3 or n?
-3
Suppose 4*y - 48 = v, 2*y = -2*v + v + 30. Is -2/3 < y?
True
Let y = 0.9 + 1.1. Is -1 at least as big as y?
False
Suppose 3*s - 9 = 2*h, -5*h + 6*h = -3*s + 9. Which is smaller: 5/7 or h?
h
Suppose -6*m = -7*m - 1. Let v be m + (-3)/3 - -1. Is v bigger than -2?
True
Let k(b) = b - 6. Let y be k(7). Suppose 3*z - 3 + 1 = -q, -3*q + 3*z = -18. Suppose -3*o + 14 - q = 0. Is y equal to o?
False
Let c(n) = n**3 + 13*n**2 + 11. Let p be c(-13). Suppose -5*t = -51 + p. Which is smaller: 7 or t?
7
Let c(r) = -r**2 + 15*r - 7. Let n be c(17). Is 0 at most n?
False
Suppose -3*o = 147 - 6. Is o less than -47?
False
Let k = -0.25 - 102.75. Which is smaller: k or -1?
k
Let a be 228/(-16) - 1/(-4). Which is bigger: 0.1 or a?
0.1
Let l be (-2 + (8 - 2) + -3)/(-9). Which is greater: 5/3 or l?
5/3
Suppose -4*g + 8 + 4 = 0. Suppose g*z = -2*i - 15, 3*z = -4*i - 0*i - 9. Is -7 < z?
False
Let l(w) = -w + 3. Let j be l(-3). Suppose -4*k = -x - 0*k + 9, -5*x - k = -108. Suppose 4*o - x = -i, -o - 4*o = 5*i - 30. Is j bigger than o?
True
Let f = -1.9 - -2.3. Let b = -0.1 - f. Which is bigger: 1 or b?
1
Let n = -1/776 - 6201/5432. Which is smaller: n or -1?
n
Suppose 0*t = t. Is -3 greater than t?
False
Suppose 2*p + 0 = -n + 10, 4*p - 12 = 0. Suppose -74 - 2 = n*c. Is -19 less than c?
False
Suppose -3*t = 2*p - 6*t - 13, -4*t - 25 = 5*p. Is 1/55 bigger than p?
True
Suppose 0 = 8*o + 43 - 3. Is o < -7?
False
Let o = -4 + 13. Let x = 41 - 32. Are o and x unequal?
False
Suppose -5 - 40 = 5*u. Let t be (3 + 0)/(u/12). Is -6 at most t?
True
Suppose 4*t - 1 = -5*d, 6*d - 3*d - 7 = 4*t. Is -3/11 less than or equal to t?
False
Suppose r = 4*q - 20, 0*q + q + r - 10 = 0. Let t be ((-2)/q)/(2/12). Which is bigger: -1 or t?
-1
Let t = -2/2427 + 128639/9708. Let w = 151/12 - t. Suppose 2*c + 2*y = 10, -y + 4 = 4*c - 1. Is w > c?
False
Let l = 2663/10 - 265. Which is smaller: l or 0?
0
Suppose -2*j + 14 = o, -2*o - 2*o + 20 = -j. Suppose -o*i = -2*i. Is i bigger than 0?
False
Let d = -0.3 - -0.22. Let k = d + 0.38. Is 0 greater than k?
False
Let z = -1 - -3/4. Let q(c) = -2*c - 25. Let l be q(-12). Is z less than l?
False
Let t be ((-2)/(-6))/((-1)/(-15)). Let y = t + -8. Let x be (-4 - y)*(-2 + -1). Is x bigger than 2?
True
Let w = 3 + -2. Let a be (-9)/8*10/(-31). Let n = a - -3/248. Which is smaller: n or w?
n
Let f = -11/152 + 12893/5928. Let k = f - 10/13. Suppose 3*l = -t - 2, -5*t + 3*l - 5*l + 3 = 0. Do t and k have different values?
True
Let j = -233/14 - -31/2. Suppose 0 = -5*v - 4*f - 26, -3*v + 0*f = 2*f + 14. Is v < j?
True
Let f be (4/6)/((-2)/(-3)). Let g be (-5)/4 - f/(-4). Let m = -183 + 1467/8. Which is smaller: m or g?
g
Let b be (-2367)/33 + (-2)/11. Let k = -72 - b. Is k at least 1?
False
Let b(c) = c**2 - 14*c + 13. Suppose 0 = -4*r - r + 65. Let x be b(r). Which is bigger: -2/9 or x?
x
Suppose -3*o + 280 = -5*n, -2*o + 4*n + 0*n + 188 = 0. Suppose 2*s = 2*l - 58, -7 = l - 2*s - 32. Let v be l/o - 2/4. Which is greater: v or 1?
1
Let v(m) = 11*m - 5. Let u be v(3). Are u and 26 non-equal?
True
Let h = 1.2 + 1.8. Do 3 and h have the same value?
True
Let d = 68 + -202/3. Suppose 0 = -4*i - 0*b + 3*b + 24, 0 = 3*b. Which is greater: d or i?
i
Let m = 50 + -27. Let x = m + -21. Which is greater: 3 or x?
3
Suppose i - 9 = 5. Is i at least 44/3?
False
Suppose 0 = -0*v + 3*v - 54. Suppose -4*y - v = n, 3*n + 2*n + 30 = -5*y. Let g be (-7)/(-28) + 1/y. Which is bigger: g or -2/15?
g
Let i be (5 + (-2 - 2))*0. Is 4/7 greater than or equal to i?
True
Let d = 1 - 0.9. Let k be 2/6 + 32/120. Which is greater: k or d?
k
Let g be 3*2/(-3) - -1. Let c = -1 - -7. Let h be (1 - 21/12)/c. Which is greater: g or h?
h
Let t(i) = -2*i**3 + 5*i**2 + 4*i. Let a be t(5). Let u be a/(-130) - (-2)/(-4). Are u and -1 equal?
False
Let a(f) = f**3 + 3*f**2 + f - 1. Let q be a(-3). Let j = -9 - q. Is -2/3 >= j?
True
Let l be 3/180*(-226)/17. Let o = 4/51 - l. Which is bigger: -1 or o?
o
Let a = 39 + -40. Which is bigger: 1/53 or a?
1/53
Let u be -4 + 4/((-160)/(-285)). Which is smaller: 2 or u?
2
Let p be (2 + 1/(-2))*22/(-3). Is p != -4?
True
Let h be (-1)/((16/(-12))/4). Let z = 6 - 2. Is z at most as big as h?
False
Suppose -4 = -z - 0*z. Let p = -3 + z. Let n = 1/2 + 0. Which is bigger: p or n?
p
Let n be (-5 - -6)/(1 + 0). Let m be 2 + 5 - 1/n. Suppose 5*t - m = 4*r - r, -4 = -2*t + 2*r. Is t > 0?
False
Let s = 64 + -64. Is s less than -3?
False
Let b = 7 - 5. Let o = 0.03 + 2.97. Let k = b - o. Which is smaller: k or 1?
k
Let k be 1/2 + 182/(-20). Let u = 231749/765 + -5000/17. Let x = k + u. Which is bigger: x or -1?
x
Let t = 3598/9955 - -2/905. Is 1 bigger than t?
True
Suppose 2*g + 4*q = -16, -4*g + 5*q + 30 = -3. Let i = 7 + -3. Let s be i/(-2) + 0 + 3. Is g at most as big as s?
False
Let j(w) = w**2 + 5*w - 5. Let f(p) = 1. Let t(c) = 5*f(c) + j(c). Let x be t(-5). Which is greater: x or 1/2?
1/2
Suppose -i = -4*r + i - 40, 3*i = r. Let z be ((-8)/r)/(39/9). Is z < -1?
False
Let z be ((60/(-688))/(-5))/(9/(-8)). Which is bigger: z or 1?
1
Let j = -1 + 11. Suppose 9*a = j*a + 2. Is 2 at most a?
False
Let n = 12 + -13. Suppose -4*k + i = -8, -4*i + 0 - 16 = 0. Let g = k - 0. Which is smaller: g or n?
n
Let f = 0.4 + -2.4. Let p = -4