ater: 0 or o?
o
Let d be (4 + -3)*(-1526)/2. Let t = 41201/54 + d. Are -1 and t unequal?
True
Suppose -3*h + h = 16. Let l = h - -11. Suppose u = -5*v, -l*u - 11 = 4*v - 0*u. Is -1/3 >= v?
False
Let w(k) = 3 - 5 - 5 + 5 + 3*k. Let q be w(6). Let c be (q + -16)*2/(-4). Is c > 0.3?
False
Let u = -22/81 + 272/405. Is -5.77 smaller than u?
True
Let l = -533 + 533.088. Which is bigger: l or 1?
1
Suppose -3*x = 4*t + 1361, 4*t - 9*t = -2*x - 938. Let y be 3930/x - (-2)/17. Which is smaller: -8 or y?
y
Let t be 5 + 13/((-65)/20). Let y be 0 + 3 + -6 - 3. Let z(l) = -l - 3. Let s be z(y). Does s = t?
False
Let d(w) = -2*w**2 - 4*w + 2. Let z(i) = 2*i**2 + 3*i - 1. Let r(h) = -3*d(h) - 4*z(h). Let b be r(2). Let y = 858 - 870. Is b at least as big as y?
True
Let v(w) = w**3 - 12*w**2 + 11*w + 2. Let t be v(11). Suppose 3*a = -t*a. Which is bigger: a or -3?
a
Let z(w) = -8*w**3 - 3*w**2 + 4*w + 3. Let r be z(-2). Let y = 111 + -65. Which is bigger: r or y?
r
Let a = -19.3 - -19.4. Let g be 2/(-4)*(-6 + 2). Suppose -k - g*m = k + 10, 0 = 2*k + 3*m + 13. Is k < a?
True
Let x = 2928 - 14992/5. Suppose 4*q = 5*q + 5*h + 60, -5*q = -5*h + 360. Let o = q - x. Is 0.1 greater than o?
False
Let l(j) = 45*j + 4. Let f be l(1). Suppose 5*d + 37 = -3*h, -2*d + 0*d = 3*h + f. Are -21 and h nonequal?
True
Let j(u) = 5*u**2 - 2*u + 20. Let b(y) = 6*y**2 - y + 20. Let q(n) = -2*b(n) + 3*j(n). Let d be q(5). Is 75 at least as big as d?
True
Let s = 0.7 - -11.3. Let d = 8 - s. Is d at most as big as -0.3?
True
Let w be (-18)/(-13) + (-30)/20. Suppose -1 + 5 = 4*b. Which is smaller: b or w?
w
Let o be (54/378)/((-12)/14). Which is smaller: o or 16?
o
Suppose -12*x = -2005 - 4163. Which is smaller: 513 or x?
513
Let u be 19 + (-9)/((-27)/(-12)). Let m(o) = o**2 - 15*o + 1. Let x be m(u). Let q = 3 - 2. Is q at most x?
True
Let r = -23 - -27. Suppose 2*p = -5*h - 95, -r*h - 4*p - 93 = p. Is h >= -17?
True
Let s = 49.0177 - 0.0177. Which is smaller: 20 or s?
20
Let y be (-1 + (-11)/(-5))/((-1938)/340). Let n(p) = -p - 6. Let t be n(-7). Is y equal to t?
False
Let f be ((-8)/(-2))/(7/2). Let s(y) = y**3 - 18*y**2 - 42*y + 42. Let k be s(20). Is k at least as big as f?
True
Suppose n - 6 = -1, 3*v - 2 = -n. Let x be 15/6 + (-3)/6. Let q be x + v + 3 - 2. Do 2 and q have the same value?
True
Suppose 2*m - 4 = -4*a, -m + 3*m - 2*a - 10 = 0. Suppose -7*r - 4 = -m. Let s(i) = -i**3 + 7*i**2 - 5*i - 7. Let y be s(6). Is y <= r?
True
Let c(t) = -23*t**3 + 2*t**2 + 20*t + 19. Let k be c(-1). Which is greater: k or 21?
k
Let j = 12 + 7. Suppose -9*w = -j*w - 70. Let u be (-1 + 0)/((-1)/(-5)). Which is bigger: w or u?
u
Let f = -702612765/14390111 + -2/625657. Let k = f + 49. Let t be (-2*1)/(13/((-26)/4)). Is t at most k?
False
Suppose 5 + 20 = 5*f. Suppose -f*b = -16 - 9. Suppose b*q - x - x = -4, 3*q + 4 = 2*x. Which is smaller: 1/3 or q?
q
Let p(q) = -q + 7. Let n(z) = z**2 - 5*z + 1. Let t be n(6). Let k be p(t). Suppose 2*c = 3*b, -12*b + 10*b = -4*c. Is k at least as big as b?
True
Let j(a) = -18 + 8 - 56*a + 10*a**2 + 57*a - a**3. Let c be j(10). Let t = 50/11 - 4. Is c less than t?
True
Let r be 4/(-6)*3/(-70). Let i = 275 + -275. Which is greater: r or i?
r
Let g(b) = b + 2. Let w be g(-4). Let m(o) = -o**3 - 5*o**2 - 7*o - 5. Let q be m(-4). Let r = 2 - q. Which is greater: r or w?
w
Let u be (2/3 + 0)/(24/(-36)). Let i be (-2)/(-1 - u - 8). Let k be (-12)/(-9)*(-3)/(-2). Which is bigger: i or k?
k
Let v = 163099639 - 104425326. Let n = v - 4752440264/81. Let f = n + -2211. Which is bigger: -1 or f?
f
Suppose 34 + 35 = 3*u. Let l = u - 206/9. Let h(j) = 2*j**3 + 12*j**2 - j - 5. Let i be h(-6). Which is greater: i or l?
i
Let d(v) = 2*v**2 + 3. Let k be d(2). Let i be k/(-13) - (-6)/(-39). Are -18 and i equal?
False
Suppose -5*k - 3*u + 8*u - 60 = 0, -3*k - 52 = 5*u. Which is smaller: -8 or k?
k
Suppose -62*v = -50*v + 108. Is v > -10?
True
Let q = 113 + -112.9. Which is smaller: 4.1 or q?
q
Let z = 9 - 21. Let d = z + 32. Let l = -27 - -46. Which is greater: d or l?
d
Let h = -3 + 6. Suppose -h*r + b = 32, 0 = r + r + 5*b + 10. Suppose p + 3 + 22 = 4*l, 0 = 2*p + 2*l + 10. Is r >= p?
False
Suppose 8*i - 15 = 3*i. Suppose 25 = 2*k + 2*k - i*p, k = -3*p + 10. Suppose l = -2*l + 6, 2*l - k = -3*r. Which is greater: r or -1/20?
r
Let q = -205 + 215.1. Let i = q - 10. Let n = -0.9 - i. Which is bigger: -2/25 or n?
-2/25
Let m = 31 - 27. Suppose -m*h - 5*z = 2, -6*h - 3*z = -h - 4. Which is bigger: h or 5/3?
h
Let c be 516/(-129)*((-11)/5 - -2). Suppose 0 = 2*k - 0*k + 18. Let o be 6/k*6/(-4). Which is greater: o or c?
o
Let g be ((-12)/10)/((-3)/(-10)). Let s be 30/6 + 2/(-1). Let q be (6/(-8))/(s/10). Which is greater: q or g?
q
Let i = 1616 + -827. Is i at least as big as 790?
False
Let m be (-228)/(-14)*16/12. Are m and 21 equal?
False
Let w = -1544.07 + 1554. Let k = w + -10. Which is smaller: k or -2?
-2
Let z = -5/678733 + -92802484332/3393665. Let y = -27182 - z. Let w = y + -163. Is w less than or equal to 2?
True
Let g = -23.4 + 10.4. Is -5/3 greater than g?
True
Let r = -2/3081 - 455978/15405. Is r less than -31?
False
Let s(l) = -51*l + 206. Let x be s(6). Are x and -98 non-equal?
True
Let u be -1*2/34*9. Let t = u - -11/85. Is 5 smaller than t?
False
Let t = 47.42 - -18.58. Do t and 0.07 have different values?
True
Let f be (-10)/(-14) + (-4)/(-14). Let b = 27929/25 + -1117. Is f less than b?
False
Let l = -25 - 5. Is -26 < l?
False
Suppose 0 = -4*v - h - 13, -18 = 4*v + 3*h - h. Which is greater: -21/23 or v?
-21/23
Let c be ((-3)/2 - -2)*-2. Suppose 3*z + 20 = z. Let h be z/(-6)*14/(-35). Is h > c?
True
Let i = -0.129 + -0.871. Let l = -58.2 - -58. Which is smaller: l or i?
i
Suppose 7*l - 66 = 4*l. Let p = 18 - l. Let m be 3/(-12) - (-5)/p. Is -3 smaller than m?
True
Let b = 373 - 443. Is -491/7 not equal to b?
True
Let v(g) = -34*g**3 - g. Let y be v(-1). Let m = 61 + -27. Are m and y unequal?
True
Suppose 3*v + 4 - 43 = 0. Suppose 0 = -s - b + 7, -2*s - 2*s + b = -28. Suppose 20 - s = u. Is v bigger than u?
False
Let a(y) = -y**3 + 6*y**2 - 4*y - 5. Let j be a(5). Suppose -8*i + 25 = 9. Suppose -56*p + 58*p + i = 0. Is p at least as big as j?
False
Suppose 171 = -3*p + 2*s - 211, 5*p - 3*s + 635 = 0. Let x be (-1730)/14 - 7/(-49). Let y = x - p. Which is greater: y or 1?
1
Suppose -3*y + 5*t = 0, 2*y + 14 = 3*y + 3*t. Suppose -10 = k - l, -1 + 2 = 2*k + y*l. Which is bigger: k or -5?
-5
Let x = -495 + 489. Which is bigger: x or -23/4?
-23/4
Let s(j) = -51*j**2 - 3*j + 2. Let r be s(1). Let y be 320/52 - 6 - 278/r. Is 7 smaller than y?
False
Let q be 165/(-114) + 24/16. Let t = 5/19 - q. Which is smaller: 1 or t?
t
Let h = -1143 - -1317. Which is smaller: h or -2?
-2
Let r be 23 - -1 - (12 - 11). Suppose -v + a + 2 - 10 = 0, -3*v - r = -4*a. Let y = -6 - v. Which is smaller: 12/7 or y?
12/7
Suppose -5*z + 4*k = 284, k + 283 = -5*z + 4*k. Which is bigger: z or -57?
z
Let d(z) = -z**2 + 25*z + 54. Let h be d(27). Let m = 712699061/1288 + -1106675/2. Let a = 1/184 + m. Is h smaller than a?
True
Suppose 0 = -10*l + 1755 - 5725. Is l > -397?
False
Let c be 26202/363 - -2*(-2)/22. Which is smaller: c or 71?
71
Let j = 28 - 82. Let q = j - -32. Let h = 30 + q. Which is greater: h or -2/7?
h
Let j be -2 + 3 - 27 - 2. Let w be (-4 - 1) + 5 - j/10. Is 3 less than w?
False
Let o = 45384 - 20289. Suppose -2*n = 2*l - 16710, -3*l + 0*l = -3*n - o. Let u be 1/8 - 1197/l. Which is smaller: u or 1?
u
Let s be 2/7 - 18/14. Let a(g) = 2*g**2 - 14*g + 2. Let w be a(7). Suppose 8 = 2*z + w. Which is greater: z or s?
z
Let i = -137 + 136. Which is greater: i or 11.1?
11.1
Suppose -972*f - 48 = -974*f. Which is smaller: 25 or f?
f
Suppose -4136 - 2134 = 6*g. Let l = g + 90917/87. Is 0 greater than or equal to l?
False
Let t = 1008 + -985. Are 22 and t nonequal?
True
Let z = -2/59 + 2374/413. Which is smaller: z or -0.1?
-0.1
Suppose f + 0*f = 10. Suppose -2*o + 4*d = 1 - 7, f = 5*o - 5*d. Suppose 2*z + 4 = -3*w, w = -2*z - 55 + 51. Which is smaller: w or o?
w
Let v = -1201.82 + 1201. Which is greater: v or 2?
2
Suppose -10*y = 133 + 167. Is y >= -34?
True
Suppose 0 = -4*u + 41 - 5. Let n be 1 + (36/(-3))/(-4). Suppose -10 = -n*x + 26. Is x not equal to u?
False
Let h = 24/1277 - 