-310?
d
Let t = -32 - -70. Let h = t + -36. Suppose -c = h*b - 4, -4 = -5*c + c + 4*b. Is c at least 1/2?
True
Let v = -1.919 + 0.159. Let x = 1.7 + v. Suppose -16 = 2*w - 4*w - 5*l, -3*l = 0. Are w and x non-equal?
True
Suppose 9427 - 2371 = -2*b. Let h be -3 + b/(-875) - 1. Which is bigger: h or -1?
h
Suppose 0 = -0*y + y - 5. Suppose -4*w = 5*j + 79, 0*w - 5*w - 95 = y*j. Suppose -4*r - 34 = -2*r. Is r at most w?
True
Let t = 0.19874 + -1.19874. Are t and 1718/9 equal?
False
Let q be -1*(-5)/10*0. Suppose 5*t - f = 2 + 2, q = 3*t - 2*f - 1. Suppose -5*h = 2*n - 63, 8 + t = -h + 5*n. Is h less than 11?
False
Suppose 0 = 4*h + 4*y - 28, 4*h - 2*y - 12 = 2*y. Suppose 5*d - 15 = -3*x + 4*x, h*d + 25 = 0. Let g be (32/(-32))/(3/114). Is g < x?
False
Let y be ((-1224)/132 + 9)/(4/(-106)). Let k = y - 74/11. Let a(z) = -z**3 - z**2 + 2*z - 1. Let g be a(-3). Is k > g?
False
Let k(u) = -98*u + 2264. Let h be k(-37). Is 5891 greater than h?
True
Let d be (-2 - (1 - 2))*((-32)/8 + 0). Is d equal to 75/29?
False
Let v be 301/(-7) + 4/(-2). Let g = v - -48. Let p be 3/6*1*-2. Which is bigger: p or g?
g
Let n be (-3223)/220 + 6/(-10). Let v = n - -533/36. Suppose -8 = -5*u - 2*f, 2*u + 4*f - 16 = -0*u. Which is bigger: v or u?
u
Let p = 70.6 + -69.3. Let k(r) = r**3 + 18*r**2 - 37*r + 48. Let h be k(-20). Which is bigger: h or p?
p
Let u = -770 + 780. Suppose 42*x = -u*x + 10504. Are 202 and x equal?
True
Let k = 10 + 33. Let p(x) = -2*x**2 - 67*x - 307. Let i be p(-27). Is k at most i?
True
Let q(r) = r**3 + 45*r**2 + 320*r - 251. Let x be q(-36). Suppose 2*n - 6*n - 424 = 0. Which is smaller: n or x?
x
Let l = -17670 - -17435. Is l less than or equal to 0.8?
True
Let v(i) = 36*i**2 - 180*i - 5. Let q be v(5). Is -39/10 greater than q?
True
Let d be (-38)/171 - (-908)/36. Suppose d*y + 2684 = 909. Which is smaller: y or -72?
-72
Suppose 37522 = 2*o + 5*r - 40344, -3*o = -4*r - 116776. Let p be 20/35 + o/(-308). Let f = 126 + p. Is f at least -2?
True
Let i = 4446 - 5622. Which is smaller: i or -1180?
-1180
Let p = -3736 - -4035. Which is bigger: p or 300?
300
Let y = -16079 - -30099889/1872. Is 1 smaller than y?
False
Let g = -253 + 427. Suppose -23*o = -g - 240. Do o and -1 have the same value?
False
Let s = 1.2905 - 90.9605. Let g = 2.67 + s. Which is greater: g or -2?
-2
Let q be (-3)/2 - -1 - 253/(-2). Let d be 74779/(-35) - (q/35)/(-9). Let g = -2140 - d. Is g bigger than -3?
False
Let f = 632 + -631.278. Let a = f - 0.64. Let t = -0.082 + a. Which is smaller: t or -7/4?
-7/4
Let n = 39 - -36. Let j = n - 109. Let b be 7/(24 + -3) - j/15. Is b at least 4?
False
Let p = 13 - -8. Let f be -2*p*(-72)/(-54). Let d be 4/14 - 936/f. Which is smaller: d or 16?
16
Let z = -7863.18 - -7863. Which is bigger: -1.06 or z?
z
Let g(m) = 14*m - 421. Let q be g(37). Which is bigger: 117 or q?
117
Suppose -523 + 2291 = 8*h. Suppose 0 = 3*c - j + h, -5*c + 0*j - 2*j - 372 = 0. Which is smaller: c or -73?
c
Let l = 986/3 + -769/3. Let h(v) = -72*v**2 + 2*v + 1. Let z be h(-1). Let a = z + l. Is a != -2?
True
Let d = 169940254/53 - 3205452. Let f = -968 + d. Suppose -u + 6*t - 10*t = 12, 3*u - 2*t = 6. Which is bigger: u or f?
u
Let h be (12/237825)/((-174)/435). Which is bigger: h or 1?
1
Suppose 4*q = 3*i + 1450, -56*q = -i - 51*q - 498. Are -477 and i nonequal?
True
Let z be (8/3)/4*9. Suppose -4*o + z*o = -28. Suppose -115*x - 2870 = 132*x + 835. Is o greater than or equal to x?
True
Suppose 0 = -4*q + 8*q + 72. Let s be (4/6)/(2/(-6362)*2). Let x = s - -1043. Which is greater: x or q?
x
Let c(j) = -2*j**2 + j + 13. Let m be c(-3). Let x(n) = n**3 + 9*n**2 + 16*n + 35. Let t be x(m). Suppose 0*i = -i - 28. Is t < i?
True
Let s(x) = -x**3 + 37*x**2 - 31*x - 56. Let w be s(36). Suppose z + 163 = w. Is z greater than -43?
True
Let l = 5425/4 - 688959/508. Let a be 2 - ((-4)/(-2) + -1). Which is bigger: l or a?
a
Let w = 2 + -54. Let u(a) = a**3 - 38*a**2 + 28*a + 302. Let n be u(37). Let h be n - -27 - w/22. Are h and -2 unequal?
True
Let c be 154/(-77)*(-1)/(-315). Suppose -3*o + 0*o = 3. Which is smaller: c or o?
o
Let t(o) = 2*o**2 - 21*o + 13. Let p be t(7). Let f be 4*((-4131)/p)/17. Is 139/5 at least as big as f?
True
Let p = 5.885 - 6. Let r = p + -45.885. Let q = 146 - 145. Which is smaller: q or r?
r
Let k be ((-826106)/(-264)*1486)/(323/(-51)). Let t = k - -734207. Let w = 3/38 - t. Which is bigger: 1 or w?
1
Let c = 15718 - 15684. Is c <= 104?
True
Let t = 171 - 168. Suppose -w + 5*s - 14 = 0, w - s + t*s = -21. Which is greater: w or -20?
w
Let u be 4*2/(-36) + (-40)/(-18). Suppose -u*q = -4*q - 40. Suppose 4*a + 60 = a. Do q and a have the same value?
True
Let r = -58876249/436414 + 3/39674. Is r < 0.2?
True
Let n = -23 - -26. Suppose n*f - 15 = -0*f. Suppose -8*g + f = -3. Is g > 3/40?
True
Suppose -7*b - 4*b = -2*b. Is b at most as big as -1/7822?
False
Let w be 60*(-1 + -1 + 4/5). Let c = w - -76. Suppose -c*l + 5*t + 15 = -2*l, 5*l + 5*t = 20. Which is smaller: -2 or l?
-2
Let s(l) = -676*l + 2452. Let v be s(0). Are v and 2452 equal?
True
Let j be (-1 - (-188)/(-52)) + 2. Let u = -12/65 + j. Let s = u + 16/5. Is s < -2?
False
Let t(x) = x**3 + 6*x**2 - 2. Let k be t(-6). Let s(f) be the first derivative of 3*f**2/2 - 5*f + 4689. Let o be s(k). Is -11 > o?
False
Let p = 5760 + -5760. Which is smaller: p or -5895?
-5895
Let r be (-2)/(-4) + 51/(-6). Let f be (-146)/(-30) + -5 + 10903/(-15). Let h = f + 719. Is h less than r?
False
Suppose -504 = -65*f - 23265 - 36129. Which is smaller: -911 or f?
-911
Let w = 177.289 - 0.289. Let n = -178 + w. Is n > 0.04?
False
Suppose 4*f = -13*x + 12*x + 22, 3*f - 18 = 0. Let h be 12/(-8) - (0 + -70). Let z = -70 + h. Is z < x?
False
Let w = -21/2866 - -2267279/37258. Which is bigger: 60 or w?
w
Let d = -272 - -279. Let p be ((-10)/14)/(d/(-49)). Which is smaller: p or 38?
p
Let l = 3466 - 3465. Which is smaller: -27/37 or l?
-27/37
Let d = -179.62 - -115.99. Let x = -3305 + 3241. Let f = x - d. Is -2/5 != f?
True
Let t = -92 - -101. Suppose t*m - 2 = 7*m. Does -1/6 = m?
False
Let h = 0.245 + -0.245. Let c = -0.13 - -2.53. Let y = -3 + c. Is y smaller than h?
True
Suppose 4*v = 4*p + 228, 2*p = -5*v + 220 + 51. Suppose 45*i - v*i + 10 = 0. Which is smaller: i or -1?
-1
Let k = -905 - -919. Suppose -k*y + 448 = 1288. Which is smaller: -59 or y?
y
Let h = 1.3548 - 3.1248. Is 13 != h?
True
Let g = -857/1520 - -3/80. Let k be (((-3 + 3)/3)/(-2))/(36/(-12)). Do g and k have the same value?
False
Suppose 5*v + 6*v = 2935 + 1817. Is v bigger than 433?
False
Let i = 2932 - 2938. Which is smaller: i or -78?
-78
Suppose 4*a + a = 50. Let z be (8/(-2))/(-12) + a/6. Let t be (-1 + 1 + 0)/(z - -1). Is 3/43 at least t?
True
Let y = -12.223 + 18.223. Which is bigger: y or -268?
y
Let q(a) = -64*a**3 - 2*a + 4. Let i be q(2). Let w = i + 5642/11. Let y = -9 - -8. Is w less than y?
False
Suppose -43*c + 36*c = 546. Which is greater: c or -93?
c
Let d be (4 - 0)/(-1)*(-33)/33. Suppose -d*v = -99 + 127. Is -11/2 at least v?
True
Let h(l) = l**3 - 15*l**2 + 46*l - 229. Let v be h(13). Which is smaller: v or 95?
v
Suppose 2*h - 8 = -c, 207*c + 5*h + 79 = 209*c. Let y = 2.1 - 2. Is c smaller than y?
False
Let n be (82/(-45) - -2)/((-3)/20450). Let o = n + 1212. Let z be (1 + (-1)/1)*1. Which is bigger: z or o?
o
Let p = 3 + -3. Let d be 144/4*(-2)/(840/(-2228)). Let r = 191 - d. Which is bigger: r or p?
r
Let f = 11.7 + -1.7. Let x = f + -9.8. Let t = -4/173 - 302/1903. Is x smaller than t?
False
Let k = 6 - -1. Is 318/43 at most k?
False
Let c(r) = -r**3 + 41*r**2 + 85*r + 31. Let u be c(43). Let y(b) = -28*b - 145. Let o be y(u). Is o < 1/2?
False
Let j(h) = -160*h + 9405. Let a be j(60). Is -96 > a?
True
Let f be 5 + 1/(3/(-6)). Let j(a) = a**2 - 13*a - 28. Suppose -c + 72 = -0*r + 5*r, -5*c - 60 = -3*r. Let o be j(r). Does f = o?
False
Let l be 1*(-4)/6 - (-73430)/210. Are l and 350 equal?
False
Let n = 50367 + -69153895/1373. Which is smaller: n or -1?
-1
Let l(d) = 6*d - 187. Let i be l(20). Which is bigger: -68 or i?
i
Let h = -358.25 + 353. Let k = 0.25 + h. Are k and 13 equal?
False
Let f(g) = -6*g - 2. Let b = 4 - 1. Let v be f(b). Let r be 1 - (-4 - 117/(-5)) - 18/(-45). Is v greater than r?
False
Suppose 3*f = -5*a + 2