et o(a) = 66*a + 1. Let v be o(-1). Let q = v - -323/5. Let t = 0.48 - 0.58. Which is smaller: t or q?
q
Let o(v) = -v**3 - v**2 + v + 1. Let l be o(-1). Suppose -4*r = 2*n + 4, l*r = 4*r - 2*n + 4. Is r <= -2?
False
Let a be (3/(-54))/(2/(-8)). Let t be 0*(0 + -1)/(-1). Which is smaller: a or t?
t
Suppose 10 + 40 = -5*w. Let f be (42/4)/(5/w). Which is greater: -22 or f?
f
Let q(g) = -g**2 + 4*g - 6. Let i be q(5). Is -43/4 at least as big as i?
True
Let o = -8.2 - -8. Let m = o + 0. Let d = m - 0. Which is greater: d or 1?
1
Let m be (-6)/8 - (-30)/(-24). Let q = -11 - -9. Let n be (q - -5)*m/(-69). Which is smaller: n or -1?
-1
Suppose -54720 = 3*p - 5*p. Let n = p + -301479/11. Let t = -47 - n. Which is greater: 1 or t?
1
Let d be -3 + -2*-6*(-9)/(-20). Which is greater: d or -0.1?
d
Let t = -0.1 + -3.9. Suppose -1 = -h - b + 3, 4*h - 16 = -b. Suppose h*a = a - 4*k + 16, -a = 5*k - 20. Does t = a?
False
Suppose -4 = 4*y - 28. Suppose 5*s - 7*s = -y. Which is smaller: s or -0.1?
-0.1
Suppose -4*f = -6*f + 22. Are 11 and f unequal?
False
Let q = -4/1313 + -1646/321685. Let b = q - -108/1225. Which is smaller: 1 or b?
b
Let d = -5 + 5.2. Let g = d + -0.4. Are g and 0.1 unequal?
True
Suppose 4*z + 7 = -37. Let x = z - -10. Are -2 and x non-equal?
True
Let k = -2.5 - -2.1. Which is bigger: 0.7 or k?
0.7
Let i be 0/(-2) - (-1 - -4). Suppose 3*f + 2*f = -5. Which is smaller: i or f?
i
Let y = 105277/94 - 1120. Is 0 < y?
False
Let l be (-4)/22 - (-96)/660. Does l = 1?
False
Let i = 17 - 10. Which is smaller: i or 8?
i
Suppose 4*z = 7 - 3. Is 1 at least z?
True
Let l be -6*((-6)/10)/((-10)/(-25)). Suppose 0 = 2*i + 3*i - 60. Let v = i - l. Do 3 and v have the same value?
True
Let b be (-14)/4*(6 - 8). Let t = -55/8 + b. Which is greater: t or 1?
1
Let c = 27 - 29.1. Let f = 2 + c. Which is bigger: 1 or f?
1
Suppose -3*y - 27 = -0*y. Let m be 8/6*y/6. Is m greater than -1?
False
Let b be 5/10*(22 - 0). Let l = b + -35/3. Is 0.3 less than or equal to l?
False
Let i = 9 - 4. Suppose 2 - 7 = -i*t. Do 1 and t have different values?
False
Let i = 9 - 9.7. Let v = 1 + i. Which is smaller: v or 0.1?
0.1
Suppose -5*o + 20 = 0, -2*c - o - 8 - 6 = 0. Which is bigger: -10 or c?
c
Let t = -2 + 3. Suppose -2*d = -3*d - t. Let y = 1 - d. Is 2 not equal to y?
False
Suppose z = -2*z. Do z and -1/99 have different values?
True
Let v be (-50)/(-45)*(-6)/(-10). Let u be (-5 - -4) + 1 + 0. Suppose u*b = b. Is b less than v?
True
Suppose -18 = 2*f - 32. Let y(z) = z**3 + z**2 - z + 1. Let d be y(1). Suppose -d*q = -0*s + 4*s - 32, 42 = 5*s + 3*q. Which is greater: f or s?
f
Let n be (-4)/(-18) - 2/3. Suppose -2*b = -3*g + 2, -3*g + 0*b = 3*b - 12. Suppose -4*s - i = 2, 2*s - 4*i = -g*s + 8. Is n <= s?
True
Let p = -98 - -99. Which is greater: p or 9/10?
p
Let a be 688/(-18) - 16/(-72). Which is smaller: -40 or a?
-40
Let a be (-2)/5 + 26986/90. Let i = 299 - a. Is -1 greater than i?
False
Let y = -10298/5 - -2053. Is -8 greater than y?
False
Let s be (836/513)/((-4)/6). Is s bigger than -3?
True
Let x be 3 - (-3 + 13/2). Suppose -4*j = 5*y - 40, 8*y + 3*j - 35 = 3*y. Is x at most y?
True
Suppose -3*n - 28 - 23 = 0. Is n >= -17?
True
Let i = -2 - -1.98. Let g = i + 0.02. Let r = 0.02 + 1.98. Do g and r have different values?
True
Let d = 7 - 12. Let r be (-1)/d + (-20)/(-25). Let c be (r/2*1)/(-1). Do c and 1 have the same value?
False
Let d(n) = n**2 + n - 2. Let x be d(2). Let h be 18/16 + x/(-32). Which is bigger: h or -2/9?
h
Let h = -94/3 + 31. Let s = 1.2 - 1. Let g = -0.2 + s. Is h at least as big as g?
False
Let c = -2 - 3. Let h(j) = -j**3 - 6*j**2 - 6*j - 5. Let o be h(c). Let b be o/8 + 4/(-5). Is 0 <= b?
False
Suppose -5*o - 7 = -4*o. Is o < -46/7?
True
Let o = -122 + 125. Let g be -4*((-3)/4 + 0). Suppose 0 = 4*f + f - 2*l - 15, g*f + 4*l + 17 = 0. Is o greater than f?
True
Let y be (1/2)/((-1)/2). Suppose -w = 6*w + 154. Let q be (-12)/(-3) + 92/w. Are q and y nonequal?
True
Let f be 25 + 1/(1/3). Suppose -f = -4*p + 3*p. Let u be 21/p - (1 + 0). Which is smaller: u or -1?
-1
Suppose 8 = -4*z - 2*a, -2*z = z - 4*a - 16. Let o = -722 + 7936/11. Which is smaller: z or o?
o
Let l = -4 - -6. Suppose -2*k - 2 = 3*h - k, 0 = -5*h + 3*k + 20. Are l and h non-equal?
True
Let y = -16 - -10. Let n = y + 5.4. Which is greater: -0.1 or n?
-0.1
Suppose -5*f = -f + 2*g - 10, -3*f + 2*g + 18 = 0. Let b be ((-2)/4)/(f/26). Is -4 at most b?
True
Let y = -0.3 - -0.4. Let d = -0.7 - -0.4. Is d >= y?
False
Suppose 3*m = 1 + 8. Suppose o - 2 = 3*c - 7, -m*c = 3*o - 9. Is -2/15 not equal to o?
True
Let m = -2/15 - 11/30. Let q(w) = w**3 - 2*w**2. Let g be q(2). Which is smaller: m or g?
m
Let j be 0/(4/((-6)/(-3))). Suppose -2*q + 0*q = j. Which is smaller: 2/7 or q?
q
Suppose 0 = 2*r - 0*b - 4*b - 22, r + 4*b = -7. Let n = r - 1. Which is smaller: n or 3?
3
Let t = 2 + -5. Let g be 1/t + 4/30. Which is bigger: 1 or g?
1
Let k = 0.17 + -0.17. Is k at least -5?
True
Let i = 1 + 1. Suppose 0 = 2*v - 6 + i. Is v greater than or equal to 4?
False
Let s be (24/16)/((-3)/(-8)). Suppose c + 2*c - s*y - 28 = 0, -12 = 3*y. Suppose -k + 1 = i, i + 2 = -0*i - c*k. Which is smaller: i or -1?
-1
Let a be 8/6*24/16. Let r be -12 + (a - (-4)/(-2)). Which is smaller: -11 or r?
r
Let g be (36/(-15))/(-2 - 183/(-90)). Is -72 != g?
False
Let t be (7 - (-210)/18)*(-9)/(-4). Which is greater: t or 44?
44
Suppose -9 = -3*l + 4*r - r, -l + 7 = -2*r. Let u be 6*(-4)/12 - 2/(-3). Which is smaller: u or l?
u
Suppose -2*a = 3*a - 35. Suppose -a = p + h, -p + 0*h + 13 = -3*h. Which is smaller: -4 or p?
-4
Let o = 22 + -40. Let y be 22/(-12) + 3/o. Which is bigger: -4 or y?
y
Let d be 2/(-8)*-2*(2 - -29). Are d and 15 nonequal?
True
Let k = -24 - -10. Do -13 and k have the same value?
False
Suppose -4*w = -0*w - 2*r + 68, 3*r + 26 = -2*w. Let j = w + 17. Is j < 0?
False
Let x = -50 - -48. Let i = -72 + 188. Let q be (-66)/i + x/(-4). Which is greater: q or -1?
q
Suppose 5*i - 13 = 4*j, 0 = 4*i - j - 2*j - 10. Is -3/41 not equal to i?
True
Let h = -16 + 10. Which is smaller: h or -5?
h
Let f be -2 + -2 + 1 + 0 + -14. Is f equal to 2/5?
False
Let t be (-14)/(-24) + 2/(-8). Which is bigger: -0.1 or t?
t
Let n be (-658)/126 - (-1 + -2). Is -3 less than n?
True
Let f(v) = v - 7. Let b be f(7). Let n(l) = -l + 4. Let x be n(b). Let y = -4 + x. Is y < 1/2?
True
Let f be 2 - (-4 - (3 + -11)). Let a(q) = -q**3 - q**2 + q - 5. Let s be a(0). Is s > f?
False
Suppose -p = 2*g + 25, -4*p - 51 + 11 = -4*g. Is -17 smaller than p?
True
Suppose r - 5*u = -2*r + 29, -3*r + 3*u = -27. Let q be (r/(-10))/(6/(-5)). Is q greater than 2?
False
Suppose 1 = -f - 5*r, -4*r + 2 - 1 = -f. Let b be (-10 - -7)*(-2)/6. Let g = b + -3. Which is bigger: g or f?
f
Suppose -2*x = -4*x + 10. Suppose x*l - 8 - 17 = 0. Suppose l*q - 2*q = 6. Which is greater: 3 or q?
3
Suppose 183 = -w - 4*w + s, -2*s + 114 = -3*w. Let l(p) = p**2 + 2*p + 2. Let y be l(-2). Let k be y/(-3) - 42/w. Which is bigger: k or 4?
4
Let k be ((-8)/52)/(-3 - -1). Which is bigger: -1 or k?
k
Let z = -3 - -3. Suppose -3*s - 31 = -4*f - 2, f = -4*s - 7. Let t be 6/14*(-2)/s. Is z != t?
True
Let s(u) = -u + 8. Let t be s(6). Let w(a) = a**2 - 12*a + 3. Let z = 28 - 16. Let l be w(z). Is t greater than l?
False
Let r be 4 + (-6)/(-3) - (-1 - 2). Is 12 bigger than r?
True
Let x be (0/(-3))/(-1 + 4). Which is smaller: x or 2/41?
x
Let b(f) = -f**2 + 7*f + 4. Let a be b(7). Suppose 2 = -2*p + a*p. Is p bigger than -1/2?
True
Let v(r) = -r**2 - 7*r - 6. Let n be v(-4). Let c be (n/48)/(0 + 2). Which is smaller: 1 or c?
c
Let d be ((-1)/(-3))/(3/9). Suppose 2*i - 1 = 2*z + d, 3*i = 4*z + 2. Let n be (-18)/(-20)*-2 - -2. Is n <= z?
True
Suppose 24*m + 160 = 8*m. Which is smaller: m or -3?
m
Let p(y) = y**3 - y**2 - 3*y - 3. Suppose -k = 5 - 3. Let i be p(k). Let v be 0/1 + 3/i. Is 0 != v?
True
Suppose -15*b + 13 = -2*b. Let c = -7 + 15. Suppose 0 = -0*f - 4*f + c. Is b < f?
True
Suppose 0 = 3*g - g. Let w be (0 + 0)/(-2) - 0. Let i = w + g. Is -2/15 at most as big as i?
True
Let b = 1719/1666 + -1117295/1447754. Let q = 1/79 + b. Which is smaller: -1 or q?
-1
Let d = 6 + -5.9. Let z = 0.1 - 0. Is d greater than z?
False
Suppose 2*f = -2*y - 2*f + 4, f - 16 = -3*y. Are 7 and y 