- 5*o - 2 = -3*o, 4 = -4*o. Suppose -n + 0*n + 23 = a. Suppose -3*p + 5*s + 17 = 0, 2*p = 5*p + 5*s + n. Which is smaller: p or -1/13?
p
Let w be (-608)/(-160) + 1*-5. Which is bigger: w or 6?
6
Let c = 295 - 295. Is c at most -2/363?
False
Let s = -510 - -514. Let b be 2/(-21)*(-53 - -2). Which is bigger: s or b?
b
Let b be -3*(-14)/105 + (-1613)/(-5). Which is smaller: 321 or b?
321
Let u = -77 - -89. Is 12 bigger than u?
False
Suppose 2*s = 4*c + 440, -s - 405 = -3*s - 3*c. Which is bigger: 209 or s?
s
Let w be 4*((-1)/2)/(-1). Let h = -4357/110 - -450/11. Is w at least h?
True
Suppose 9 = 2*m - 7. Which is smaller: m or -0.06?
-0.06
Let f = -376 + 378. Is f > 13?
False
Let d = 13.3 - -0.7. Let l = 1 - d. Let c = 12.95 + l. Is c less than or equal to -1/3?
False
Suppose l + 3*l + 8 = 0, -3*l + 59 = 5*m. Let n = m + -9. Is n smaller than 2/5?
False
Let t(x) = -x**3 - 3*x + 2. Let a be t(-4). Which is smaller: 76 or a?
76
Suppose 4 = -p + 7. Suppose -5*u + 80 = -4*f - 42, 3*f - 84 = -p*u. Is u <= 27?
True
Let b(m) = -21*m**3 + 1. Let x be (63/6)/(9/6). Suppose -x + 1 = 6*z. Let v be b(z). Is 22 equal to v?
True
Let x = -130 - -195. Let o = x - 71. Is 3/5 less than o?
False
Suppose -z - 5 = -2*z. Suppose -4 = -z*n + 1. Are n and -6/25 nonequal?
True
Let i = -442 + 716. Let y = 189 - i. Which is bigger: 1 or y?
1
Suppose -2*a = -136 + 24. Which is smaller: a or 2?
2
Suppose 3*q = 3*n + 24, 25 = -5*n - 6*q + 8*q. Let u be 133/(-42) - -1*n/(-1). Is 1 <= u?
False
Let l = -10.1 + 2.1. Let c = -8.1 - l. Let m = -0.0265 - 0.0035. Are c and m non-equal?
True
Let f = 140844321/2617 + -53819. Which is greater: f or -1?
f
Let h = -7218 - -1696226/235. Which is smaller: h or 1?
h
Let m(s) = -76*s**3 - 2*s**2 - 3*s. Let p be m(-1). Is p less than or equal to 76?
False
Let m = -35 - -40. Suppose 2*y = 2*d - 2*y, -m*y = 5*d + 15. Which is greater: d or -0.1?
-0.1
Let o be (-8)/(-2) - (610 - 5). Let y = o - -26445/44. Is y smaller than 0?
False
Let m(h) = h**2 + 4*h + 9. Let p be m(-6). Let v be (-1 + -2)*7/p. Let l(d) = -d**2 - 5*d + 4. Let n be l(-6). Is v not equal to n?
True
Let j = 330.05 + -330. Are j and 8 equal?
False
Suppose 115*l - 116*l + 17 = 0. Is 0 at most l?
True
Let c = -90/49 - -17272/9457. Which is bigger: c or 0?
0
Let g(i) = i + 16. Let r be g(-21). Let t = 51 + r. Does t = 46?
True
Let t = 25 - 12. Let w = -12 + t. Suppose -5*p = 4*z + 12, z = 3*p + 6*z + 15. Are w and p non-equal?
True
Let w be 5 + 0 + -2 + 20*1. Let z = w - 31. Suppose -3*r = -0*r + 24. Are r and z non-equal?
False
Let c = 5 + 112. Let t = -701/6 + c. Let v = 0.2 + -0.4. Is v not equal to t?
True
Let k = -449.1 - -449. Let r = -4/41 + -152/123. Does r = k?
False
Suppose -x + 25 - 4 = 3*n, 4*x - 44 = -4*n. Suppose -2*p + 5*p - 15 = 0. Which is smaller: x or p?
p
Let t(q) = 325*q + 13. Let h be t(-1). Is -1/7 at least as big as h?
True
Let i = -279/1345 + 2/269. Is -65 >= i?
False
Let o = -29 + 35. Suppose 8*w = o*w + 6. Which is smaller: -3 or w?
-3
Let h be 1/(3/9) - -17. Let s = h + -16. Suppose 0 = -2*x + x + 2. Is s >= x?
True
Let t = -56 - -56. Is 70 >= t?
True
Let j = -2242 - -2261. Is 0.03 smaller than j?
True
Suppose 38*n - 708 = 32*n. Which is greater: n or 119?
119
Suppose -546 + 1531 = 5*q. Which is greater: q or 198?
198
Suppose -76*h = -72*h + 168. Which is smaller: -3 or h?
h
Let h be (6 + -6)*(0 + -1). Let l(y) = -y**3 - y**2 - 4*y + 110. Let f be l(h). Is f greater than 109?
True
Let o(c) = 2*c. Let v(g) = -g**2 + g. Suppose 5*w = 4*h + 7, -4*w + 2 = 4*h - 18. Let m be v(h). Let z be o(m). Is z less than or equal to -1?
True
Let q = 923 + -788. Is q smaller than 134?
False
Suppose -2*d + 2*c = -10, 20 = 3*d - d - 4*c. Suppose d = -u + 87 + 3. Which is smaller: u or 91?
u
Let l = 3778 + -2806. Does 971 = l?
False
Let g be (8/38)/(31/589). Which is bigger: 147/29 or g?
147/29
Let b(x) be the first derivative of -x**3/3 - x**2 - 69*x + 15. Let r be b(0). Is r >= -69?
True
Suppose -3*x - 10 = z, -2 = -z - x + 2*x. Let d be (1 - (-18)/(-17))/(-1). Is z >= d?
False
Let k(j) = -16 - 6*j - j + 3 + j**2 - 12. Let b be k(12). Is 34 <= b?
True
Let f = -24 + 67. Let v = f - 48. Which is smaller: v or -7?
-7
Let c = -26 - -238. Which is greater: -1 or c?
c
Suppose 2*a + 2 = -2*q, 5*a = -2*q - 0*q - 11. Let t be a/8*(26/6 + -4). Which is greater: t or 0.02?
0.02
Let y = 1.77 - 0.77. Let a = -3.5 - -4. Let p = -0.5 - a. Which is smaller: y or p?
p
Let t = 37 + -6. Suppose t = -4*b + a, 3*a - 37 = 6*b - 2*b. Do b and -8 have different values?
True
Suppose 3*z - 42 = -4*k - k, 2*z = 2*k - 4. Let g = 10 - k. Let v be ((-86)/129)/(4/(-30)). Is g equal to v?
False
Let s = -5 + -25. Let p = -30 - s. Let a = -2 + 1. Which is bigger: a or p?
p
Let z be (-2 - (-60)/95)/2. Which is smaller: z or -2?
-2
Let f = 0 - 0.12. Let m = 351.22 + -351. Let c = m + f. Which is greater: -2 or c?
c
Suppose 2*t + 8 = 10. Let s(y) = -y**2 + 3*y + 1. Let o be s(3). Is o smaller than t?
False
Suppose 0 = -6*q - 121 + 115. Are 3/37 and q equal?
False
Let h = -9.5 - -13.5. Which is greater: -17 or h?
h
Let b(o) = o**2 - o + 2. Let v be b(0). Let m be ((-187)/22)/(0 - v). Is m > 5?
False
Let z(p) = -p**2 - 2*p - 1. Let s be z(0). Let c(w) = -w - 2. Suppose -2*a + 10 = 8. Let o be c(a). Which is smaller: s or o?
o
Let i = 36 - 12. Suppose h = 4*g + i, 8*h - 2*g - 22 = 5*h. Suppose 0 = -2*t + h*t. Which is bigger: 1/5 or t?
1/5
Let s = -1892/3 - -666. Let b = s - 35. Which is greater: -0.2 or b?
b
Let x be 1 - (-1 - (1 - -1)). Suppose 2*z - 5*z = x*g + 4, 8 = z - g. Is z greater than 0?
True
Let i = -15.1603 + 0.1603. Which is smaller: -6 or i?
i
Let z = -1546.9 + 1547. Does z = -1028?
False
Let m = -314730415/4816 + 65351. Is 0 > m?
False
Let i = -2 - -3. Let y be -1 + (20 - 2)/3. Suppose y*n + 4 = 3*n. Which is greater: i or n?
i
Let f = -9 - -47. Let k = 37 - f. Do 4/33 and k have the same value?
False
Let p = -163 - -117. Which is greater: 0.2 or p?
0.2
Let x = 5.3 + -5. Let g(m) = -20*m + 101. Let q be g(12). Let j = q + 277/2. Which is bigger: j or x?
x
Suppose 0 = -14*x + 1205 - 2787. Is -113 less than x?
False
Let a(f) = -2*f**2 + 50*f - 15. Let u be a(11). Which is greater: 291 or u?
u
Let t = 424 - 386.32. Let k = -38 + t. Which is bigger: 1 or k?
1
Let r(a) = -3*a**3 - 4*a**2 - 3*a - 1. Let x be r(-2). Let y be 30/(-12) + (-29)/(-2). Which is smaller: x or y?
y
Suppose 33 = 3*y - 4*l, 0 = -3*y + 7*y - 5*l - 43. Suppose -6*m - 1 = -y. Let k = -4 + 2. Which is greater: k or m?
m
Suppose 121*x - 120*x = 121. Are 117 and x non-equal?
True
Let y be (36/24)/(6/(-20)). Let j be y - -1*(-423)/(-84). Is 1 bigger than j?
True
Let w(a) = a**3 - 2*a**2 - 4*a + 3. Let t be w(2). Let j = 4 + t. Let z = -14460/19 - -761. Which is smaller: z or j?
j
Let n(u) = -u**2 - 13*u - 20. Let p be n(-11). Suppose 4*x = -p*x - 66. Which is greater: x or -12?
x
Let w be (-1 - 2) + (-38 - -9). Let l be (-4)/30*(-40)/w. Is l <= -1?
False
Let z = -1763090/1089 - -1619. Which is greater: 0 or z?
z
Let g(c) = -8*c + 260. Let d be g(34). Is d less than 15?
True
Let k = 2.8 - 2.8. Is -3/14 at most as big as k?
True
Let z be (-216)/52 + 7 + -1. Do z and 3 have the same value?
False
Let g = -13 - -13. Let y be -2 + 3 + g/(-3). Let s be y + 3 + (-1)/(-1). Is s >= 6?
False
Let z be (3/8)/((-6)/4). Let u be (4/2)/(2/(-14)). Let k = 14 + u. Which is bigger: k or z?
k
Let a = -3/31 - 16/155. Suppose o = 3*y + 8 + 1, -2*y - 6 = -3*o. Which is bigger: y or a?
a
Let k = 101.9 - -152.1. Which is smaller: k or 0?
0
Let c be 46/4 - 2/4. Suppose -3*p = -4*k - 27, 4*p - 9 = -5*k + 27. Which is smaller: p or c?
p
Let j(y) = 2*y**2 + 13*y + 7. Let t be j(-6). Let d be 0/(2/t - 1). Which is greater: 5/7 or d?
5/7
Let w = -1 + 0.9. Which is bigger: 0.85 or w?
0.85
Let r = -7 + 10. Suppose -r*p = 2*p + 10. Let a be p*(11/(-2) - -3). Which is smaller: a or 6?
a
Suppose -5*l - 6 - 4 = -5*z, z - 2 = 4*l. Let s = 83/34 + 1/17. Is z less than s?
True
Let l(y) = -y - 8. Let g be l(-7). Let d be (g/(-6))/(16/(-6)). Let x = -403 - -403.1. Do x and d have different values?
True
Let m = 2784277/313530 + 4/7465. Let c = 26/3 - m. Is c greater than or equal to 3?
False
Let y(w) = -2*w - 27. Let p be y(-15). Let v = p - 1. Suppose -x - 7 = -0*x. Which 