r: 0 or o?
0
Suppose 2*c + d = -9, -3*d = c - 5*c - 23. Is -11 <= c?
True
Let a = 47 - 46.9. Which is smaller: a or 5/8?
a
Suppose -3*b + b + 12 = 2*x, x + 5*b = 14. Let y = 2 + 4. Suppose -j + 2*q = y, x*q = -j - j + 12. Are 3/8 and j non-equal?
True
Let q = 70990/43 + -1651. Does q = 0?
False
Let g = -65 - -457/7. Let w be 6 - 10 - (-3 - 2). Which is greater: w or g?
w
Suppose 3 = 3*p + 3*a - 0, -9 = 3*p - 3*a. Let m be p/(-2) - 6/(-4). Suppose m*s + 3*t = -11, -1 = s - 6*s + 2*t. Is -2/15 > s?
True
Let g = 0.03 + -0.04. Let x = 0.01 + g. Let b be 0 - (-4)/(-18)*3. Which is bigger: b or x?
x
Let f be (0 + (-3)/6)/((-15)/2). Which is smaller: f or 0?
0
Suppose -12 = -3*p - 3*g + 15, -2*g = 2. Are 8 and p unequal?
True
Let f be 0 - -1*2/(-1). Suppose 0 = -2*n - 6. Which is smaller: n or f?
n
Suppose -f = 2*f. Let i be 2 + (f - 13) + 2. Let b be i/(-6)*(-6)/9. Which is bigger: b or 3/10?
3/10
Let k = -37 + 54. Is 17 >= k?
True
Let g(n) = 8*n - 3*n - 4*n. Let f be g(2). Is -2 smaller than f?
True
Let h be (-1)/(-2*2/32). Let t be (12/h)/(1/(-2)). Let j be (1/t)/(0 - -1). Is j not equal to 0?
True
Let c = -91 - -92. Is 12/35 greater than or equal to c?
False
Let i = 29/18 - 1/9. Which is smaller: i or 1?
1
Let i(t) = -t. Let r be i(4). Let h be (2/r)/((-1)/2). Which is bigger: 3/4 or h?
h
Let z = -12 + 14. Suppose 0 = -z*i - i + 18. Which is bigger: i or 7?
7
Let z be ((-16)/8)/((-2)/(-4)). Let f be (-18)/(-14) - z/(-14). Is 4 >= f?
True
Let p = 103 + -43. Let j be (-24)/p - (-24)/10. Is 5/2 != j?
True
Let f be -2 + -2 + 7/(14/6). Which is bigger: -1/55 or f?
-1/55
Let f = 806502 - 429059237/532. Let j = f - -3/76. Is j less than or equal to 0?
True
Let o be (-7)/(-28) + (-1)/4. Which is smaller: -2/19 or o?
-2/19
Let k = -680 - -30602/45. Are -1 and k equal?
False
Let y be (0 - 1)/1 - 0. Which is smaller: 0 or y?
y
Suppose -54 = 3*f - 0. Let v be ((-2)/5)/(f/(-30)). Which is bigger: 2/9 or v?
2/9
Let c = -7 - -3. Let l = c + 7. Which is greater: 0 or l?
l
Let k be ((-2)/14)/(-1 + 2). Is k smaller than 1?
True
Let t = 63 + -145/2. Let c = 9 + t. Let b = -127 + 891/7. Which is smaller: b or c?
c
Let w = -241 - -236.05. Let r = w + -0.05. Let b = r - -3. Is 1/4 at most as big as b?
False
Let a = 14 + -18. Let c = a - -3. Let z be (-4)/(-15)*(-3)/2. Is z greater than c?
True
Let a = 33 - 30. Which is smaller: a or 2?
2
Suppose -5*c - 5*b = 0, 5*b + 0 = -c + 4. Let s = 47 - 56. Which is smaller: s or c?
s
Suppose 4*a - 6 = -2*n, 14 = 4*a + 5*n + 5. Is a greater than or equal to -1/40?
True
Let v = 0 + -4. Let y = -2 - -3. Let i = y - 3. Which is smaller: i or v?
v
Let p = 25 + -25.1. Let m = -1 + 0.7. Which is greater: m or p?
p
Let l be (-2)/(-4) - 1/2. Suppose -10 = 5*t + 3*d - l, 3*t + 2*d = -7. Is -1/6 at most t?
True
Let c(p) = -4*p**2 + 3*p - 2. Let s be c(2). Let b be (-212)/16 - 1/(-4). Which is greater: s or b?
s
Suppose 2*q - 3*y = -21 + 7, -5*y + 23 = -3*q. Let o be 2*(-2)/24*-2. Which is smaller: q or o?
q
Let h(i) = -i**2 + 8*i + 4. Let z be h(8). Let f = z - 4. Is 2/13 < f?
False
Let i be (-12)/(-10)*5/(-2). Are -7/4 and i unequal?
True
Suppose 1 = 3*g + 16. Let c = g - -4. Is -2/15 < c?
False
Suppose -3 = o - 4. Which is greater: -2/7 or o?
o
Let m(t) = -75*t**2 + t + 1. Let f be m(-1). Let d = 48 + -75. Let i be f/(-216) + 6/d. Do 0 and i have the same value?
False
Let q(o) = o**3 + 2*o**2 + o. Let h be q(-1). Let v be 6/(-12)*(-2 - h). Is 2 at least v?
True
Let k be 3/13*(-4 - -3). Do 1 and k have different values?
True
Suppose 0 = u - 4, -a - 6*u + u = -20. Suppose a = 3*f - 2*c - 8, -4*f - 3*c = -2*c + 4. Which is bigger: -4/5 or f?
f
Let c = 0.8 - -0.1. Let t = -0.1 - c. Let d = t - 0. Which is greater: -2/5 or d?
-2/5
Let g be 2/7 + (-209)/(-77). Is 3 > g?
False
Let m be ((-6)/24)/((-10)/16). Does m = -2?
False
Let p be (-1 - 1) + 3 + 3. Let u be (12/(-24))/(2/p). Which is smaller: -1/19 or u?
u
Let h be 1 + 32/(-14) - -1. Let v be ((-580)/28)/(-5) + (-1)/7. Which is smaller: v or h?
h
Suppose -4*q + 3 = -q. Let b be (-2)/4*(-184)/(-154). Let j = b - -5/11. Which is smaller: j or q?
j
Let k = 686 - 6338/9. Let h = 18 + k. Let y be 2/((0 + 2)*1). Is y less than or equal to h?
False
Let f be (-12)/(-4) + (-15)/6. Let l be 3/9 - (-4)/(-3). Let z be l/2*(1 + -5). Do f and z have different values?
True
Let y be 100/3*82/(-12). Let z = -228 - y. Is -1 greater than or equal to z?
False
Let k(w) = 0*w + 2 + 3 - w. Let n be k(5). Suppose -1 = o - n. Does -1/4 = o?
False
Let k = 1 + 11. Suppose -5 = -h + 3*d, 6*d - 2*d = 4*h - 4. Which is bigger: h or k?
k
Let z be (-1)/(-5)*12/(-8). Let f = -11/20 - z. Let h = 0.1 - -0.1. Which is bigger: h or f?
h
Let z be 0/(2 + -3) + 0. Suppose 2*s + 3 - 5 = z. Does s = 2?
False
Suppose -3*t - 19 - 14 = 0. Is -12 <= t?
True
Let o be 0/(4/2)*1. Let t(i) = -i - 3. Let g be t(-6). Suppose -3*w + g = -0*w. Which is smaller: o or w?
o
Suppose q = 4*q. Suppose -2*t + 4 = 0, 0 = -4*f + t + 8 - 2. Let k be f/(-4)*10/15. Which is greater: q or k?
q
Let q be 62/155 - (-16)/10. Which is smaller: -11 or q?
-11
Let a = 44 + -25. Which is bigger: 20 or a?
20
Let f(j) = -j**2 + j - 12. Let l = 13 + -13. Let n be f(l). Is -1 >= n?
True
Let r = -2/13931 - 167098/515447. Is 1 less than or equal to r?
False
Suppose -6*i - 2*i + 24 = 0. Suppose 0 = 3*j + 2*x - 0*x + 23, 2*j - 3*x - 2 = 0. Let h = j - -8. Is i at most h?
True
Let k(s) = -s - 1. Let o be k(-4). Suppose -o*w + 4*w + 3 = 0. Are 1/2 and w unequal?
True
Let f(v) = v - 4 - 2 - 5. Let k be f(8). Is k at most as big as -12/7?
True
Let n = -77 + 38. Does n = 0?
False
Let k = 10 - 14. Let l = k + 5. Suppose -2*d - 7 = -l. Which is bigger: d or -4?
d
Suppose 0 = 5*w - w - 24. Which is smaller: w or 36/7?
36/7
Let a = -52 - -43. Which is smaller: -2/9 or a?
a
Let t be 72/(-90)*(-15)/(-2). Are t and -20/3 nonequal?
True
Let h be 2 + (4/30 - 2). Suppose -7*z = -2*z - 30. Suppose 0 = -z*a + 4*a - 2. Which is smaller: a or h?
a
Let x(n) = -n**3 + 6*n**2 + 17*n - 8. Let u be x(8). Which is greater: u or 2/47?
2/47
Let o be (-3)/(-1) + 0 + -1. Let z be -2 - (-6)/(2 + 1). Suppose z = -2*x - 1 + 7. Which is smaller: x or o?
o
Let l = 0.22 - 0.4. Let f = l + 0.2. Let d = f - 2.02. Is d > 0?
False
Suppose 9 + 0 = 3*i. Let x = -1321/7 + 189. Which is bigger: x or i?
i
Let b be (-22)/(-3)*9/6. Let a be (3/b)/(6/(-4)). Which is smaller: a or 0?
a
Let w(a) = -a**2 + 12*a - 5. Let g be w(12). Suppose -4*f = -f + 18. Which is greater: g or f?
g
Let o(t) = t**3 + 7*t**2 - 10*t + 1. Let b be o(-8). Which is bigger: b or 18?
18
Let d = -21/8 + 109/40. Is -3 greater than or equal to d?
False
Let x = 0.7 + -3.9. Let o = 0.2 + x. Let k = -26 + 24. Is o != k?
True
Let k = -0.05 - -0.25. Which is greater: k or -3?
k
Let o = -10.1 + 10. Let s = 0.98 + -0.08. Let l = s + -1. Is l less than o?
False
Let z be 4/2*57/(-3). Which is greater: z or -39?
z
Let x(k) = -14*k - 23. Let r(b) = -5*b - 8. Let v(z) = -17*r(z) + 6*x(z). Let i be v(3). Suppose 5 = -4*o + i. Which is greater: o or 3?
3
Let p = -151/4 - -38. Does p = 37?
False
Let j be 12/(-174)*(5 + -4). Suppose 2*q - 10 = -3*h, 2*h + 2*q = -2*q + 20. Do j and h have the same value?
False
Let d = 1.8 - -1.2. Let p = 2.4 - -7.6. Let g = p - d. Which is bigger: g or 1?
g
Let y = -2 + 7. Which is greater: 2/3 or y?
y
Let k(v) = -v**2 - 2*v - 1. Let p be k(-1). Let f be (-25)/15 - (-6)/4. Which is smaller: f or p?
f
Suppose 3*k - c + 12 = 2, -3*k = 4*c - 10. Let x be (k - (-24)/1) + -2. Suppose -5*m + m - 4*j + 16 = 0, 0 = 3*m - 5*j + x. Is -1/3 >= m?
False
Let z be (-4 - -2)/(1/2). Let c = z - -4. Let o = 6 + c. Is o < 6?
False
Let p = 40 - 40.21. Let d = p - -0.21. Are -2 and d unequal?
True
Suppose -51 = -4*w + 93. Suppose -p - 19 = 3*q, 5*q + 1 - w = 5*p. Which is smaller: p or -0.1?
p
Let i(z) = 2*z**2 - 2*z - 1. Let h be i(-1). Suppose h*v - b + 6 = 0, -4*b + 3 + 5 = -4*v. Let m = 4 - 5. Which is smaller: v or m?
v
Let p = -3 + -7. Let n(q) = q**2 + 10*q + 2. Let z be n(p). Is 2/3 less than z?
True
Let i = -76 - -109. Are i and 34 nonequal?
True
Let u(b) = -b**3 + 6*b**2 - 6*b + 6. Let t be u(5). Let s = -1/22 + 47/66. Is s bigger than t?
False
Suppose 2*b = -3*a - 5, 4*a - 3 = -2*b - 7. Let o be a/(1/(-3)*1). Is o at most as big as -2?