ger: -1 or i?
i
Suppose -4*z + 4*i - 6 + 290 = 0, -3*z + 203 = 2*i. Suppose 5*k - 4*g + z = -3*g, -4*g + 16 = 0. Is k at least -13?
True
Let n = 13.62 - 0.62. Which is smaller: n or -3?
-3
Suppose -d = -5*d. Suppose -8 = -6*h + 2*h, 2*s - 3*h = d. Which is smaller: 2 or s?
2
Let c be 23 - ((-6)/(-3) - 0). Suppose -c = j + 2*j. Is -6 bigger than j?
True
Let i be 5/((-5)/(-2)) + -1. Which is smaller: 1/7 or i?
1/7
Let x = -5 - -5.14. Is -0.1 bigger than x?
False
Let k = 11 + -7. Let y = 4 - -1. Is k < y?
True
Let d = -5 - -12. Let z = d - 8. Is -7/3 not equal to z?
True
Let x = 12 + -10. Which is bigger: x or 3?
3
Suppose -n = -17 + 16. Are n and 1/79 unequal?
True
Suppose 2 + 8 = 2*g. Suppose g*b = -4*f - 1, 5*f + 0*f = -2*b - 14. Let y be (1 - b)*(-1)/6. Is y not equal to -1?
True
Suppose 3*p + 3*n = -n - 14, -5*p - 2*n - 14 = 0. Let k = p - -2. Which is greater: -2/7 or k?
k
Let k = 5 - -22. Do -0.1 and k have the same value?
False
Let a = -15 - -15. Is a greater than -12/53?
True
Let z(g) = 6*g - 25. Let d be z(6). Is 11 less than d?
False
Suppose -4*u - 3 = -3*u. Let x be (u/3 - -2)*-1. Which is smaller: x or -2?
-2
Suppose 0*o + 6*o + 24 = 0. Which is greater: o or 3?
3
Let p = 27 - 53/2. Is p != -0.2?
True
Let x = 6 + -8. Let d = -3 + x. Which is bigger: 0 or d?
0
Suppose -v = 5*l - 0 - 29, l - 3*v - 9 = 0. Let f be l/(-4) - 4/8. Is f at least as big as 2/5?
False
Let v be 2*(-3)/(6/(-1)). Which is greater: v or 10/17?
v
Let r be 0*3/9*1. Is r less than or equal to -1/16?
False
Suppose 0 = 3*m + 2*m - 20. Let l(c) = c**2 - 4*c + 5. Let i be l(4). Let b = i - m. Are 0 and b nonequal?
True
Let c(f) = -f + 3. Let v be c(6). Let y be ((-3)/(-9))/(1/27). Let s = 5 - y. Is s equal to v?
False
Let r = -1 + 1. Suppose -15 = -5*x - 3*j + 20, -j = x - 9. Let k be 2/x*0/2. Is k less than or equal to r?
True
Let q(t) = t**3 + 16*t**2 + 16*t - 10. Let m be q(-15). Which is bigger: -26 or m?
m
Let i = 77/3 - 26. Which is smaller: i or -11?
-11
Let y = 2480/17 - 2646126/18139. Let f = y + 6364/20273. Let n = f + -5/76. Which is smaller: 0 or n?
0
Suppose 0 = -3*v + 2*v - 2*z - 3, -3*z = 12. Suppose -p + 3*t + 16 = 0, 4*p = -0*t - t + 12. Is v > p?
True
Suppose -49 + 33 = 2*k. Is -5 at least as big as k?
True
Suppose r + 10 = -4*r, 0 = 3*p + 2*r - 8. Suppose 0*l - 4*l = -p. Let o = 2.6 - 3. Do o and l have the same value?
False
Let z be 15/(-10)*(-48)/9. Which is smaller: 4 or z?
4
Suppose 19 = 3*c + w, -3 = 3*c - 4*w - 2. Suppose -3*y - c*i = -8, y = 2*i - 6*i + 5. Is 2/11 at most as big as y?
True
Let l be ((-6)/(-4))/(1 - (-712)/(-736)). Is l equal to 46?
True
Let m = 3 - 3. Let g be m - (0 - 2 - -1). Which is smaller: g or 0?
0
Let g be -2 + 0 - -1 - 5. Let i = g - -6. Let r be (-4)/6 + (-52)/(-42). Is i at least as big as r?
False
Suppose -2*p = -p - 69. Let c be 1/(-2 + p/33). Which is smaller: c or 12?
c
Let k(s) = -s**3 + 5*s**2 - 2*s - 4. Let q be k(4). Suppose 0*p - q*p + f + 6 = 0, 3*f = 4*p - 10. Do 0.2 and p have the same value?
False
Let u be 2 - ((-60)/(-8))/3. Which is smaller: -0.14 or u?
u
Let u = 17 - 19. Which is bigger: 11 or u?
11
Suppose 5*q + 8 + 7 = 0. Let s = -52.1 + 33. Let x = s - -19. Is x not equal to q?
True
Let k(o) = o**3 + 2*o**2 - 4*o - 2. Let h = 0 + 0. Suppose h*y - 3 = y. Let z be k(y). Is 2 bigger than z?
True
Let g = -0.04 + -0.06. Let t = -2.2 - -2. Let r = t - g. Which is bigger: r or 0.2?
0.2
Suppose b + w + 2 + 0 = 0, -2*b + 5 = -w. Which is bigger: -4/9 or b?
b
Let z = 729/61304 - 1/632. Which is smaller: 1 or z?
z
Let l be 3/(-26)*80/15. Which is greater: 0 or l?
0
Suppose w = -2*w - 6. Suppose -7*h - 7 = -2*h - 3*u, -2*u - 4 = h. Is w not equal to h?
False
Let v(d) = d - 2. Let m(n) = n**2 - n - 5. Let q be m(4). Let c be v(q). Let i be (-2)/c - 0 - 0. Is 1 less than or equal to i?
False
Let d = 318.33 + -304.4. Let k = -14 + d. Let u = -1.07 - k. Is 0 > u?
True
Let c(j) = j + 293. Let h be c(0). Let k = 192 + h. Let m = 10187/21 - k. Which is smaller: -1 or m?
-1
Let l(m) = m + 3. Let x(z) = z**2 - 4. Let u be x(0). Let r be l(u). Which is greater: r or 0?
0
Let y(q) = -q**2. Let i be y(1). Let k be i - (-1 + 1/(-2)). Suppose 0 = 5*o - 0 - 10. Which is smaller: o or k?
k
Let x = -2 + 3. Let f be x/1 + (-10)/12. Which is smaller: 1 or f?
f
Let p(l) = 2*l + 1. Let k be p(1). Suppose k*q = 6*q + 6. Are -3/5 and q equal?
False
Suppose 2*w - 33 = -1. Suppose g = -g + w. Let a be ((-1)/(-6))/(2/g). Is 0 less than or equal to a?
True
Let d(s) = -5*s - 3. Let j be d(-3). Let n = -12 + j. Is 1/5 less than n?
False
Let p = -15 - -9. Let s = -5 - p. Which is smaller: 0 or s?
0
Let f = 0.5 + 0.4. Which is greater: f or -1?
f
Suppose -8*q - 3*c = -3*q - 25, q - 5*c - 5 = 0. Suppose -2*l + 2 = 3*a, 4*a - 3*l = -3 - 0. Let y be a/2*-1 + 3. Which is smaller: q or y?
y
Let m = -10.026 - -0.126. Let c = m - -10. Is c smaller than -5?
False
Suppose 0 = 3*w - 0*m + 4*m - 6, 0 = -5*w + m - 13. Let q be (1 + -2)*1 - 2. Which is bigger: w or q?
w
Let w be (10/3)/((-1)/((-21)/2)). Is 34 greater than w?
False
Let c be -13 - (1 + -2)/1. Let t(g) = g**3 + 11*g**2 - 13*g - 16. Let b be t(c). Suppose 2*v + 4*y = -14, -2*v + 5*v - y = -14. Which is bigger: v or b?
b
Let a = -0.062 + -0.938. Which is bigger: 3/2 or a?
3/2
Let r = -789/14 - 687/2. Let l = r - -399. Which is smaller: l or 0?
l
Let f = -4.8 - 0.2. Let g = f + 4. Which is greater: 1 or g?
1
Let c = -11.9 - -12. Let g = 0 - 0.2. Which is smaller: c or g?
g
Let r = -0.09 + 7.09. Let z = r + -6.9. Which is greater: 5 or z?
5
Let j be ((-72)/(-60))/((-51)/10). Which is bigger: -1 or j?
j
Let c = 116 + -149. Which is smaller: -35 or c?
-35
Suppose -26 = 4*h - 2*l - 164, -h + 2*l + 30 = 0. Is h bigger than 35?
True
Let d = 10 + -4. Suppose -2*s + d = -0*s. Is s at least 1?
True
Let w(o) = o**3 - 7*o**2 + 6*o + 2. Let q be w(6). Let l be 5/((-10)/4) + 5. Which is smaller: l or q?
q
Let d(i) = 33*i - 7. Let m be d(-3). Is m < -106?
False
Let l = 4 - 2. Let d = 1 + l. Suppose 2*z + 5 = -d. Is -4 > z?
False
Suppose w - 9 = -3*a - 0*a, 0 = -3*a - 2*w + 6. Is 4 less than or equal to a?
True
Let d be 5 - 6 - 2/(-6). Is -2.5 greater than d?
False
Let d be (16/(-40))/(10/25). Let c be (-47)/23 - (0 - 2). Is d < c?
True
Let j be 2/(-7) - 13/(-21). Let v be ((-1)/5)/((-16)/(-20)). Is j less than or equal to v?
False
Let p be 1 + -3 + (0 + -70)/(-2). Which is greater: 35 or p?
35
Let h = -8.3 - -8.3. Let r be (-1 - -5) + 1/(-1). Suppose -4*p - 8 = 2*g, 3*p = -2*p + r*g + 1. Which is greater: h or p?
h
Let j = 1/2 - 3/4. Let q = 25 + -27. Let o be (1 + q)*(-4 - -4). Which is greater: j or o?
o
Let l = -2.5 - -2. Let u = 1.2 + -5.2. Let m = u - -4. Is l > m?
False
Let r(w) = w + 0*w + 2 - w**2 + 0*w**2. Let q be r(2). Let y = 0.547 + -0.047. Which is bigger: q or y?
y
Let t(s) = 14*s**3 + s**2 + s - 1. Let v be t(1). Let x = v + -16. Is x at least as big as -1/4?
False
Let p = 7/293 - 1045/68269. Which is smaller: -1 or p?
-1
Let b be -14*(105/(-6))/5. Let u = b + -345/7. Are u and 1 non-equal?
True
Suppose 12*s + 8 = 16*s. Do 3/4 and s have different values?
True
Let m = -0.6 + 0. Let v = 0.8 + m. Which is smaller: v or -0.2?
-0.2
Suppose 5*w = 7 - 2. Let i = w - 2. Which is bigger: 0 or i?
0
Let j = 9.93 - 10. Let z = j - 0.03. Is z at least as big as -0.1?
True
Let m be -1*(-2 - -1)/(-5). Let b be (2 - 9/6)/(5/10). Which is smaller: b or m?
m
Suppose 4*a - 33 = -s, -5*s - 35 = -2*a - 3*a. Let g = a - 4. Let i be (-16)/(-6)*(-2)/g. Is i at most -1?
True
Let b = 5/2 - 43/14. Suppose 0 = v - 5, 0*n - 10 = 2*n - 2*v. Are n and b nonequal?
True
Let a be (18 - 13)*(-1)/24. Which is smaller: 0 or a?
a
Let y = 0.2 - 0.2. Let z = 13 + -12.93. Let o = -4.93 - z. Is y <= o?
False
Let l(q) = 5*q + 59. Let b be l(-12). Which is greater: -1/7 or b?
-1/7
Let s = 34/10485 - 846578/3495. Let d = s + 242. Let l = 21 - 20. Is d less than l?
True
Suppose 0 = x + 3*x. Let z = 0 - 8. Let u be (-2)/6*(-4)/z. Which is smaller: u or x?
u
Let q be (-2)/8 + (3 - (-44)/(-16)). Let x(h) = h**2 + 7*h + 6. Let m be x(-6). Is q > m?
False
Suppose -5*r = -2*b - 391, 0*r - 2*r + 148 = -5*b. Let o be (-159)/(-2) + (0 - -1). Let l = o - r. Is l smaller than 0?
False
Let g = 115/164 + 2/41. Is g equal to -1?
False
Let w = 