?
x
Let i(g) = -g**3 - 4*g**2 + 8*g + 5. Let l be i(-5). Let s = l + 14. Suppose -4*a + s - 8 = 0. Which is smaller: -2/33 or a?
a
Let v be 2575/(-20) - 2/((-8)/3). Let h = -616/5 - v. Is h at most as big as 5?
True
Let c(z) = -25*z**3 - 2*z**2 - 2*z. Suppose 0 = 6*h + h + 7. Let b be c(h). Is 49/2 at most as big as b?
True
Let j be -3 + (-1 - (5 - 3)). Let t(c) = -6*c + 4*c - 5 - 6*c**2 + 8*c**3 - 9*c**3 - 9. Let b be t(j). Is b smaller than 2?
True
Let y(j) = -j + 2. Let h be y(-3). Suppose -o + 2*x + 2 = 0, 0 = 3*o + 5*x - 50 - 0. Let n be (-86)/(-14) - o/70. Is h not equal to n?
True
Let w be 70/7 + (1 - 2). Let v(o) = 2*o + 8. Let y(d) = -3*d - 7. Let t(a) = -4*v(a) - 3*y(a). Let u be t(w). Which is bigger: u or -3?
u
Suppose -4*y + 47 = -41. Suppose -j - 34 = -y. Let u be 3/j*10/(-15). Is 0 at most u?
True
Let k be (-6)/4*(-4)/(-6). Suppose 0 = -4*g, 2*c - g + 40 = -68. Let p = -380/7 - c. Which is smaller: p or k?
k
Suppose 0 = -24*x - 9*x + 18414. Is x bigger than 558?
False
Suppose -2*p = -3*u - p - 58, 0 = -5*u - 4*p - 108. Let d(v) = v**2 + 20*v + 5. Let z be d(u). Let t(x) = -x + 3. Let o be t(-3). Which is smaller: o or z?
z
Suppose 0 = 5*r - 17 - 8. Let o be 1 + -1 - r/(-135). Suppose 11*b - 8*b + 4 = -4*l, -3 = 3*l + 2*b. Is o < l?
False
Let b be 37616/(-18) - 0/(-1). Let p(n) = -233*n**2 - 2*n - 1. Let d be p(-3). Let c = b - d. Which is bigger: -1 or c?
c
Let a be 4/54 - ((-46310)/297 + -11). Which is smaller: 168 or a?
a
Let t(a) = a - 7*a + 6*a**2 + 7*a + 2*a**2. Let l be t(-1). Let w be 0*((-28)/(-8))/l. Is w > 0?
False
Let a = -17.8 + -5.2. Let q = 57 + -79. Let i = a - q. Which is smaller: i or -0.2?
i
Let t be 1723542/(-62298) + 4 + 0. Let p = 2/3461 - t. Which is bigger: p or 23?
p
Let b = 2167 - 2019. Which is smaller: -4 or b?
-4
Suppose -18 = 16*o - 14*o. Suppose 0 = -0*x - 3*x. Suppose -20 = -x*v + 2*v. Is v less than o?
True
Let k(w) = 6*w**2 + 2*w - 1. Let j be k(-2). Let h be (-8)/(-4) - j*5. Let s = h - -557/6. Do 1 and s have different values?
True
Let s be 2/(-4) - 44/(-8). Let v be -6 + 7 + 2*2. Is v less than s?
False
Suppose 5*r + g + 4 = 0, -4*r + g = 6*g + 20. Suppose -4*z + 2*z - 36 = r. Is -18 < z?
False
Suppose x + 2*n + 5 = -0*x, 0 = 2*x - 2*n + 22. Let g = x - -9. Let p be -1 - (-5)/((-125)/(-35)). Are g and p nonequal?
True
Suppose -w - 4*g = 2*w + 8, 0 = -3*w - g - 2. Suppose -3*i + 3 = -3*a, 3*i + w*i - 5*a = 1. Let b = 0.3 + -1.3. Which is smaller: b or i?
b
Let i be 81*2/6 - -3. Is 34 less than i?
False
Let u = -32/27 + 124/135. Let o = -2 - -1. Which is greater: u or o?
u
Let o be 2/4 + (-9313)/(-134). Which is greater: o or 68?
o
Suppose -f + 16 = 12. Suppose f*y + 36 = -y + 4*z, z = -5*y - 16. Let m be (2 + -3)*(4 - -1). Which is greater: m or y?
y
Let y = 24 - 47. Let a = y - -24. Let v = -0.3 - -0.28. Is a bigger than v?
True
Let q = -0.047 - 98.353. Let k = q + 128. Let a = k - 3.6. Is a greater than or equal to -0.1?
True
Let v = -12 + 17. Suppose 0 = -v*l + 15, 5*t - 213 = -5*l - 13. Is t at least as big as 38?
False
Let q = 45 - 39. Suppose -5*j = -q*j + 6. Which is smaller: 27/5 or j?
27/5
Let k = 132.1674 + -0.1674. Is -0.04 smaller than k?
True
Let w = 3.98 + 0.02. Let g be 2/6 - (-3 + -2). Let v = 118/21 - g. Is w >= v?
True
Let w = 1 - 1. Suppose w = -t + 2*t + 11. Let c be 2*3/(-3) - 9. Is c at most t?
True
Let i(n) = -n. Let s be i(-7). Suppose 0 = h + l - 1, -3*h + s*h - 14 = l. Suppose 2*b - 2 = -d - h, 16 = -5*d + b. Is -2 >= d?
True
Suppose 0 = 5*c + 10 - 0, 3*c - 87 = 3*i. Which is smaller: -154/5 or i?
i
Suppose 4*u + 2 = -6. Let o(x) = -2*x**2 + 15*x - 5. Let f be o(7). Let s be ((0/f)/(-3))/u. Is s greater than or equal to 10/7?
False
Let i = 0.034 + 2.266. Let m = i - 4. Let k = -0.7 - m. Is -0.2 greater than or equal to k?
False
Let b be (2/(-9))/((-2)/18). Suppose -2*w - 3*w = -p - 9, 5*p = -5*w + 45. Is b bigger than p?
False
Let w = 2518 - 2519. Which is bigger: 4/335 or w?
4/335
Let x be (-14)/(-2) - (-3 + 181). Is -172 smaller than x?
True
Let l be 85/34*(-18)/5. Let o be -12 - (3 + -1 + -2). Is o at most l?
True
Let p = 7574/69597 + -24/209. Which is smaller: p or -1?
-1
Let p = 10 + 1. Let d(g) = -g**3 + 11*g**2 + g + 2. Let w be d(p). Suppose 0 = -2*f - f + 42. Is f < w?
False
Let m(p) = p + 4. Suppose i = 3*i + 2*j + 6, -5*j = 2*i + 6. Let u be m(i). Let f = 295 - 2659/9. Is u <= f?
False
Let z be 4 - ((-53792)/(-8004) + -2). Let s = z - -40/87. Which is smaller: 1 or s?
s
Let b be 2*-2 - 4/2524*-2522. Which is greater: b or -1?
b
Let z(v) = 7*v - 7. Let s(p) = -1. Let g(o) = -6*s(o) + z(o). Let t be g(1). Suppose 2*y + 10 = t. Which is smaller: 0 or y?
y
Let k = -176 - -107. Let u be (k/46)/((-3)/16). Let a be (1 + 3)*1*2. Do a and u have different values?
False
Let a = -65 + 1868/29. Which is greater: -1 or a?
a
Let w = 1666 - 690. Is w at most 977?
True
Let g be 8/(-45) + (-4)/18. Let x be 10/(-4)*(4 - 8). Let d be x/33*3 - 1. Is g greater than d?
False
Let d be ((-2)/10)/(24/(-120)). Which is greater: d or -8/23?
d
Let p(d) = -d**2 - 20*d + 85. Let o be p(-22). Do 45 and o have the same value?
False
Let n = -5 - -8. Let r be n/(-4) + (-2)/(-8). Suppose 4*t = 4*q + 20, 4*t - 15 = 5*q + t. Which is greater: q or r?
q
Suppose -4*m = -5*m - 1. Let q = m + 1. Let i = 2/405 - -268/405. Are q and i non-equal?
True
Suppose 0 = -2*h - 2*i - 3 - 5, -10 = 5*i. Let y be (-95)/15 - h/6. Let r = -6 + 2. Is r at least as big as y?
True
Suppose -22 = 3*u - 2*u. Let l = u - -8. Let n be 24/l + 2/(-7). Does -3 = n?
False
Let w = -715.7 - -593.78. Let v = w - -122. Which is smaller: v or -7?
-7
Let o(z) = z**3 - 3*z**2 - 4*z - 2. Let h be o(4). Let w = 2 + 0. Suppose w*d + g = -6, d + 2 = -3*d + 3*g. Are h and d equal?
True
Let l be 2 - ((-4)/(-1))/2. Let a = 79204/41 - 1932. Let f = -220/287 - a. Is f >= l?
False
Suppose 3*n + 1 = -m + n, -3*n + 23 = 5*m. Suppose -2*r - 8 = 5*v + m, -r - 11 = -v. Is r at most as big as -10?
True
Let m = -21 + 37. Suppose 32*n - m = 36*n. Does n = -1?
False
Let s = 67 - 111. Let p = -168 + 192. Let j = p + s. Are j and 1 nonequal?
True
Let l be ((-2)/2115)/(2/(-5)). Is l >= -1?
True
Let z = 34 - 44. Let b be z/55 + 18/(-22). Which is smaller: b or 3?
b
Let r = 1307 - 1432. Which is greater: r or -0.9?
-0.9
Let d be 3/168*-7818 + 2 + 0. Let y = -559/4 - d. Is y != -2?
True
Let v = 734 + -734. Which is smaller: -1/53 or v?
-1/53
Let a be ((-2)/14)/(12/14). Let s = -213 + 213. Is s greater than or equal to a?
True
Let t = -869 - -13036/15. Do t and 2/5 have different values?
True
Suppose 3*t = 10 - 1. Let u(m) be the second derivative of m**4/6 - m**3/2 - m**2/2 - 128*m. Let d be u(t). Is 10 > d?
True
Let p be 7 + -4 - -2*159/(-102). Let m(k) = -k**3 - 4*k**2 + 1. Let a be m(-4). Suppose 0 = -2*q - 5*j - 3, 4*q - 3*j = -6*j + a. Is q greater than p?
True
Let i(w) = -153*w + 121. Let l be i(3). Is -337 <= l?
False
Let q be 1152/(-216)*((-30)/4)/(-5). Which is greater: -3 or q?
-3
Suppose 4*f - 21 = 11*f. Let z be (-1)/(-9)*f/2. Which is greater: 0 or z?
0
Let z = -21694/155235 - -1/1965. Which is smaller: z or 2?
z
Let c = -60 + 47. Are c and 1.2 unequal?
True
Let w = -4.143 - -0.023. Let m = w + 4. Let j = m - 3.88. Is -1 > j?
True
Suppose -7 = -3*w + 2*w. Suppose -5*a + 48 = 3*f, 5*f = -2 + w. Let x be (-6)/a - 6/(-9). Is 0 <= x?
True
Suppose 0 = 4*x - 5*d - 6, 3*x - 4 = 2*d + 2*d. Suppose -4*b - x = 0, 2*b = -3*l - 4 - 1. Is l < -1/10?
True
Let y = 12.1 + -19.1. Is 6 greater than y?
True
Let j be 1/4 + 0 - (-21)/44. Is -5 > j?
False
Suppose -9*w + 294 = -1038. Are 147 and w equal?
False
Let y be (-2)/(-8) - 906/(-24). Let n = -151/4 + y. Let v = 104.85 + -105. Which is smaller: n or v?
v
Let z = 7.68 - -121.32. Is z at least 0.2?
True
Suppose 953 + 328 = -7*l. Which is greater: -184 or l?
l
Suppose -3*o - 14 + 26 = 0. Suppose -y = -4*a - 11, -3*a + o*a = -5*y - 50. Which is greater: y or -8?
-8
Let s be (-6)/(-4) - 7/(-14). Suppose 3*a = -9, s*a - 3*a + 39 = 2*g. Which is smaller: g or 22?
g
Let w = -245/26 - -11829/13. Is w < 900?
False
Let q(r) = -7*r + 116. Let p be q(5). Which is greater: 82 or p?
82
Let n = -0.596 - -8.596. Is n > 3/2?
True
Let p be (-4)/(-8) - (-65)/2. Suppose -3*g + 4*t + 38 = -2*g, 5*t - 37 = -2*g. Let y = g - p. 