maller: 0.1 or c?
c
Let x be (-4)/10 - 183/(-120). Suppose -3*s = 3*f + s - 20, -3*s + 13 = 2*f. Suppose -2*n + 12 - f = 0. Is n != x?
True
Let r(x) = -2*x**3 - 7*x**2 + 4*x + 33. Let s be r(-8). Is s greater than 577?
False
Let d = 3443 - 3444. Is -22/15 < d?
True
Suppose -5*v - 27*d + 28*d - 36 = 0, -42 = 2*v - 5*d. Are 186/5 and v equal?
False
Let g be 12/9 - 562/90. Let n = 28/9 + g. Suppose 0 = u + 3. Which is greater: u or n?
n
Let x(p) = -26*p - 4. Let b be x(-1). Let l be (6/(-140)*16)/((-42)/1260). Which is smaller: l or b?
l
Suppose 4*j + 9 + 2 = 5*y, 2*j + 4 = 2*y. Let i be 57/(-21) - (y - -6)/(-3). Which is bigger: -2/7 or i?
i
Let o = -86601 - -86604. Let a = -0.02 - -0.11. Let v = a + 0. Is v != o?
True
Suppose 5*u + 36*d - 35 = 41*d, 5*u + 5*d = -35. Suppose -3*f + 2*f - 818 = 0. Let i = f - -5717/7. Is i != u?
True
Let v = -26.7683 + -0.0317. Let c = 26.9 + v. Which is greater: -79 or c?
c
Let h = 4223 - 4223. Is h bigger than 2/2849?
False
Let w be 57/12 + 6/(-8). Let p be 10/(-45) - 376/9. Let q be w*3/p + 15/(-21). Which is smaller: q or 1/6?
q
Suppose 0 = -4*o + o - 5*x - 20, -14 = 2*o + 4*x. Let n = -1575 - -1572. Let h be o + (n - -6) + (-2)/(-4). Is h less than 2/5?
True
Let n = -561929/12 - -46825. Let c(l) = l**2 + 6*l + 2. Let x be c(-5). Is n smaller than x?
False
Suppose -2*t + 39 = 3*r, -12*r = -10*r + 5*t - 15. Let a be 7 - (-1 + r/6). Is 7 < a?
False
Let o(a) = -a**2 + 10. Let x be o(-3). Let n = -1692 - -11841/7. Are x and n equal?
False
Let a = -8148 - -8189. Are a and 995/24 equal?
False
Suppose -803 = 104*y - 179. Does -320 = y?
False
Let j(o) be the third derivative of -o**5/60 + 7*o**4/8 + 11*o**3/3 + 4*o**2. Let m be j(20). Suppose -m = -8*p + 7*p. Which is greater: 43 or p?
43
Let t = 2252 + -2252. Which is smaller: t or -634?
-634
Let k = 19254/5 + -3851. Which is greater: 11.8 or k?
11.8
Let a = -4611225/67 + 68823. Which is greater: a or -2?
a
Let u be ((-11)/33)/((-19733)/42)*-5. Is u < 0?
True
Let f = -6.552 + 26.552. Do -12 and f have the same value?
False
Let w = -399 + -498. Is w smaller than -899?
False
Let o = -0.3 + 2.3. Let j = 108 - 116. Let f = j - -31. Is o at least f?
False
Suppose -453 = -3*u + m, 5*m = 2*u + u - 465. Suppose -6*p + 6 = -u. Let a = 13 + 12. Which is bigger: p or a?
p
Suppose 3*n + t + 163 = 0, 2*t + 114 = 3*n - 5*n. Let u = 53 + n. Suppose 2*j - 33 + 7 = u. Are j and 8 nonequal?
True
Suppose -2*m = 2*m - 8. Suppose 3*n = 2*c + 3, -m*n = -5*c + n - 21. Suppose -d - 2*h = 17, -2*d - 158*h = -159*h + 9. Which is bigger: c or d?
c
Suppose 3*a - 2*f = 98, a + f - 26 = -0*a. Let u(k) = 476*k - 35671. Let h be u(75). Is a less than h?
False
Let g(p) = -45*p + 5. Let t(y) = 14*y - 2. Let h(s) = 3*g(s) + 8*t(s). Let b be h(0). Which is smaller: b or -1/15?
b
Suppose 98 - 67 = -47*w - 63. Is -254/59 not equal to w?
True
Let q = 15 + -10. Suppose -x + 1 = f, q*x + 0*f = 5*f + 15. Let j be (-130)/702*177/(-5) - 4. Is x at most j?
True
Suppose 2*g + z - 13 = 4*z, 25 = -5*z. Which is smaller: g or -27164?
-27164
Let c be 13207379/(-38535) - 54/90. Let n = c + 10/2569. Let l = n + 340. Which is smaller: -3 or l?
l
Let z = -5.398 + 5.298. Is z at least -1.505?
True
Let p = 6/2107 + -19763/7680015. Is 0 less than or equal to p?
True
Let k = 0.29 + 46.71. Let b = k + -47.19. Which is greater: b or 0?
0
Suppose 0 = 5*y + 5*k - 589 - 606, -4*k - 454 = -2*y. Let u = y - 356. Is u at most -121?
True
Let p = 61431 + -61431. Let i = 13/215 - 5544/95245. Which is smaller: p or i?
p
Let t = 0.02 - 0. Let i = 249.02 + -251. Let m = t - i. Are m and -8 nonequal?
True
Suppose 0 = 3*g + 3 + 3. Suppose -y + 18 = 18*j - 13*j, -3*j = 4*y - 106. Suppose 6 = -3*m, y = 5*z + 2*m + 42. Is g bigger than z?
False
Let y = 324 - 320. Suppose -y = -14*l + 10. Is l != 3/34?
True
Let r = -1600 - -17634/11. Suppose -2*y = -3*p + 20, 3*p - 6*p = 5*y + 92. Let l be (y/(-10))/(7*(-12)/(-210)). Is r bigger than l?
False
Let t = -97.39 - -100.39. Which is smaller: 74 or t?
t
Let p = 1783 - 1799. Is p less than or equal to -25?
False
Let b = -0.305 + 184.305. Let k = b - 182. Which is smaller: k or 2/27?
2/27
Let h(u) = -2*u**2 + 7*u. Let k(c) = -3*c**2 + 8*c + 1. Let d(a) = -4*h(a) + 3*k(a). Let o be d(-4). Suppose 0 = o*i - 2*i. Is -12/19 <= i?
True
Suppose 3*c + 6*c - 27 = 0. Suppose -c*y + 5*y = -24. Let d be 2/(16/y)*2. Is -3 <= d?
True
Let t = 331 + -308. Suppose -t + 28 = -5*i. Which is greater: -22/15 or i?
i
Let a be (-3)/7 - ((-245669464)/22274 + 8). Let l = a - 11021. Are l and 1 non-equal?
True
Let d = 1114 + -1087. Let f(v) = -v**3 - 10*v**2 - 21*v - 10. Let n be f(-8). Are n and d equal?
False
Let z(q) = -2*q**2 + 12*q + 5. Let b be z(6). Suppose 0 = 4*l + 5*r - 159, b*l - 2*r - 206 = -r. Is l at least 44?
False
Let d = -31 - -37. Let v be (62/d)/((-182)/(-52)). Is v > 2?
True
Let s(c) = c**2 - 91*c + 1054. Let f be s(71). Is f bigger than -373?
True
Let v = -387/11 + 4635/143. Let o = -7 + 6.9. Is v less than o?
True
Let u be -20 - (13 - (161 + -3)). Let x be (-1119)/(-9) - 1/3. Is u less than or equal to x?
False
Suppose 0 = 3*c - 642 - 1722. Let s = c + -15757/20. Suppose 0 = 2*r - 9 + 11. Is s >= r?
True
Let a(u) = 256*u - 263. Let v be a(1). Is -15 greater than v?
False
Let f = -87.8 + 101. Let x = f + -13. Which is smaller: x or 3/38?
3/38
Suppose 18*u - 44 = 14*u. Let b = 4 - -2. Suppose -u*t + 40 = -b*t. Does t = 9?
False
Let v = -67 + 105. Which is smaller: 716/19 or v?
716/19
Let g be 26/4 - 1/2. Suppose g*w - 827 = 7*w. Let y = 3325/4 + w. Is y > 4?
True
Let u = 21951 + -23333. Is u equal to -1383?
False
Let y = -10856 + 10967. Is 113 <= y?
False
Let a be (-14)/(-2) + (2 - -67). Which is bigger: a or 94?
94
Let w(z) = 809*z + 22710. Let t be w(-28). Let y be (-58 + (2 - -1))/(-1). Is y >= t?
False
Let u be 4/(-191)*27/(-18). Let o = u + -632/32279. Is -0.1 greater than o?
False
Let g = 413 + -411. Suppose g*n + 2*b + 464 = 7*b, 3*b - 1198 = 5*n. Is -242 greater than or equal to n?
True
Let t = 80 + -78. Suppose -3*m - 272 = -4*i, -4*m - 183 = -t*m - 3*i. Let y = m + 104. Which is greater: y or 18?
y
Let s = -109 + 105. Let d be (s + 7)*1 + (-37)/13. Is 1/11 greater than d?
False
Let k be (-11 - 232/(-20)) + (2 - (-16)/(-10)). Is k >= -26/75?
True
Let p = 3.85 + -4. Let l(j) = j**2 - 17*j - 30. Let d be l(11). Let u be 2 + 5 + 696/d. Which is smaller: u or p?
u
Let v = -55.69 - 0.31. Let u = 56.328 + v. Let z = 0.032 + u. Which is greater: z or -1?
z
Suppose -2*z - 13 = 5*x + 12, -z - 3*x = 13. Let y(u) = -2*u**2 - 11*u + 68. Let s be y(z). Is 1/3 not equal to s?
True
Suppose 125 = 3*y + 2. Let f be (2/3)/((-5)/300). Let n = f + y. Is n at most as big as 10/27?
False
Suppose 233*w + 6402 = 266*w. Suppose -g = -290 + 96. Is g greater than w?
False
Let p be (-3)/((-3)/(-307)) + 2 + 1. Let s = 303 + p. Which is greater: 5/76 or s?
5/76
Let b(o) = -o**2 - 28*o + 169. Let v be b(5). Let j(t) = t**3 - 5*t**2 + 4*t - 2. Let f be j(v). Which is greater: f or -25/8?
f
Let t be 162/(-159)*143/33. Let k = t - -8747/1537. Which is smaller: k or 2?
k
Let x be (11 - (-4548)/33) + -9. Is x less than or equal to 140?
True
Let c = -0.206 + 164.206. Let r = -104 + c. Let h = r + -59. Which is smaller: h or 1/18?
1/18
Suppose -544*v = -545*v - 1. Which is bigger: 2/24995 or v?
2/24995
Let u(z) = -z**3 - 15*z**2 - 44*z - 1. Let b be (-13)/(-3 + 4) - -2. Let p be u(b). Let x be (-4)/((-8)/66)*1*p. Does -33 = x?
True
Suppose 40 = 13*l - 259. Let c = 12 + l. Which is bigger: c or 38?
38
Let h be (-4 + 39)/(7 - -2). Suppose -32*w - 4*w + 861 = 717. Which is greater: h or w?
w
Let c = -32.77 + 33.5. Let z = 192.93 - 192. Let k = z - c. Is -8 not equal to k?
True
Suppose -96 = -b + 6. Let p = -54 + 309. Suppose 5*c = 3*k + b - p, c + 17 = 4*k. Is c at least as big as -32?
False
Let i(x) = x**3 - 15*x**2 + 8*x + 24. Let y be i(13). Let h be (-38)/285 - 52/y. Suppose 0 = -0*v - v. Is h smaller than v?
False
Let i = 19562 - 19562.1. Which is bigger: 16988 or i?
16988
Let j = -19294.1 + 19295. Let z = 0.07 + -0.67. Let n = j + z. Which is bigger: -10 or n?
n
Let f = 3086 + -3592. Is -0.1 > f?
True
Let g = -6671/111 + -296280/37. Let h = 8261 + g. Let d = 205 - h. Which is greater: d or 11?
d
Let j = -26 - -31. Suppose 0*p 