ppose 5*i + 12 = -33. Let g = i + 6. Let k be ((-1)/g)/(83/6). Is 1 >= k?
True
Let z = -0.112 + -15.888. Let n = -18 - z. Let m = 0.4 - 17.4. Which is smaller: m or n?
m
Let b(c) = 3*c**2 - 13*c + 10. Let k be b(8). Let u(s) = -76*s - 4919. Let z be u(-66). Which is greater: z or k?
k
Suppose -4*k + 3*k + 4*z + 12 = 0, -z = 3*k + 29. Let c(q) = 2*q**3 + 21*q**2 - 14*q - 6. Let s be c(-11). Let x = s - k. Is 67/2 greater than or equal to x?
False
Let t = -1135.91 - -24.91. Are 0.2 and t nonequal?
True
Let k = 268 - 287. Let h be (-30)/(-9)*(-22 - -4). Let n = h - -41. Is n greater than k?
False
Suppose 20 = 5*t - w, 5*t + 0*t = -5*w + 20. Let i be -28*(-1)/((4 + 0)/t). Let f be i/(-25) - (10 + -11). Which is smaller: f or 1?
f
Let k be (-4)/3 - (1/(-4))/((-93)/(-124)). Let a be (8/(-642))/(22/(-33)). Which is smaller: a or k?
k
Suppose -2*b = -4*m - 1694, 6*b - b = -2*m + 4235. Let o be (-2 - b/(-110))*8/(-3). Is o smaller than 1?
True
Let t be (0 + 3/6)*0. Let g(n) = 2*n**2 - 25*n + 9. Let f = 210 - 198. Let h be g(f). Which is smaller: t or h?
h
Let p = 131 - 131. Let j be (3 + -3)/10*(1 - p). Which is smaller: 2/49 or j?
j
Let q = 1066 + -1037. Which is greater: 436/15 or q?
436/15
Let s be ((-2)/6)/(22/198). Let y(t) = -2*t**3 + t**2 - 3*t + 6. Let v be y(s). Which is smaller: v or 79?
v
Let w = -3 + 2. Let v = 4/1023 - 2203/301785. Which is greater: v or w?
v
Let y(g) = g**2 + 3*g + 2. Let d be y(-4). Let s = 5/1969 - -96441/15752. Is s >= d?
True
Let l be 35*((-2)/(-24))/(27/(-10476)). Which is greater: -1131 or l?
-1131
Let m = -35259 + 33450. Are 0.1 and m non-equal?
True
Let v be (-832)/10 - 19/(-95). Let u = v - -79. Let z = 53 + u. Is z greater than or equal to 48?
True
Let f = -44 - -44. Suppose -3*d + 2*d = -f*d. Suppose d = 2*x + 4*b - 4, -2*x = -8*b + 3*b - 4. Which is greater: 4 or x?
4
Suppose -q = -10 + 8. Suppose -4*o + q*c = 262, -6*c - 186 = 3*o - 11*c. Is -70 bigger than o?
False
Suppose -329386 = -297*z + 1333648 + 459031. Is z at most as big as 7146?
True
Let j = -0.37 + 1.77. Let w = j - 1.5. Suppose -s = -3*i - 35, -6 - 1 = -i + 5*s. Which is greater: i or w?
w
Let q be 5*3/(-315)*-2 - (-813)/(-1897). Is 4.238 at most as big as q?
False
Let j = 34 + -6. Let i = -32 + j. Let g = -3 - i. Which is smaller: 0.3 or g?
0.3
Let m = -1 - -1. Let p be ((-2)/(-32))/(894/4768). Is m bigger than p?
False
Let c = -1937013/145 + 13359. Which is greater: c or 0?
c
Let j be (-48)/(2/1)*32/48. Let m(u) = u**3 + 17*u**2 + 16*u + 28. Let v be m(j). Suppose -d + 5*d = -5*g - 28, -4*d - v = -4*g. Is d less than or equal to -7?
True
Let d(n) = -43*n + 1. Let p be d(-2). Suppose 0 = 4*o - 3*s - p + 32, -15 = -4*o - 5*s. Let k = 603 - 592. Which is greater: o or k?
k
Let n = 523/6 - 87. Suppose 760*f = 762*f. Is f greater than n?
False
Let q be ((-1125)/(-2) - 0)/(6/12). Suppose -10*h + q = 15*h. Do 275/6 and h have the same value?
False
Let s = -1337420/9861210201 - -2/653623. Which is greater: s or 0?
0
Let w be 2*1/16 + 352719042/368. Let h = w - 957400. Let x = h - 1076. Which is greater: x or 1?
1
Let i be (-3)/1 - (212 - 7). Let c(b) = -3*b - 52. Let h be c(52). Are h and i non-equal?
False
Suppose 0 = o + 2*o, 5*b - 3*o = -100. Let t be (2/b*8)/(38/(-5)). Do t and -1 have the same value?
False
Let t(s) = 3*s**2 - 5*s + 1. Let g be 50/20 + (-1)/2*1. Let k be t(g). Are k and 22 nonequal?
True
Suppose -23*i = -26*i - 432. Let t = i - -154. Does 13 = t?
False
Let a be (1 - 106)*(-8)/10. Suppose -3*c - a = -10*c. Suppose -c = -2*g + 14. Which is smaller: 72/5 or g?
g
Let v be 2 + (-1 + 2)*-16. Let d = v + 10. Let c be ((-20)/(-18))/((-510)/1428). Which is bigger: d or c?
c
Let x = 58 + 16. Let t = 517 - 518. Is t > x?
False
Let x = 17006.06 - 17005. Is 23 > x?
True
Let t be 8/(-16) + 46/4. Suppose l = d + 1, -d = 2*l - 13 - 4. Let p be 3 - l - (-22 - -7). Which is greater: p or t?
p
Let p(i) = 4*i + 16. Suppose -3*x - 2*c - 22 = 33, x + 20 = -c. Let o be p(x). Let z = o + 45. Is -2/117 > z?
False
Let r(k) = k**2 - 3*k - 1. Let q be r(4). Suppose 7 + 5 = 4*l. Suppose -4*w - 3 = n, 5 - l = q*n + w. Which is smaller: n or 1/6?
1/6
Let p be (12 - 10)*(-219)/102. Is p at most as big as -5?
False
Let s be ((-6)/9)/((-2)/(-3)). Suppose d = 2*c + 35, 19*d - 16*d - 150 = -3*c. Let o be ((-27)/d)/(54/(-30)). Do s and o have the same value?
False
Let b(h) = h**3 - 5*h**2. Let u be b(5). Suppose -5*p = -u*p. Let f be ((2 - 4)*2/(-20))/(1168/1095). Which is smaller: p or f?
p
Let y be 1*762*(-84)/441*14. Is y greater than or equal to -2034?
True
Let g be (25/((-425)/(-164)))/2 - 4. Which is greater: g or 0.037?
g
Let v = 5658 - 16973/3. Which is smaller: 44 or v?
v
Suppose 23 = 23*y - 69. Suppose 4*j + y*u + 5 = 1, 0 = -5*j + 2*u + 9. Do j and -1/133 have different values?
True
Let s = 1326 + -1336.53. Let m = s + 10.43. Is 347 at least as big as m?
True
Suppose 0 = -b, 4*t - b + 304 = 2*b. Let v(x) = -3*x**2 - 86*x - 45. Let o be v(-29). Are t and o nonequal?
True
Let m be -18*(-4)/12 + -3. Suppose 9*w = m*w - 954. Is -159 at most w?
True
Let v = -40130 + 24574. Is v smaller than -15555?
True
Let f = 4530 - 4428. Suppose 0 = -2*u + 5*v + 97 + 105, 4*u - v - 404 = 0. Do u and f have different values?
True
Let x = -84 + 87. Let c(u) = -2*u**2 + 6*u. Let d be c(x). Suppose d = 2*v + 2*p - 4, 14 = -3*v + 8*v + 4*p. Is v <= 16/3?
False
Let i = 28.5 - -2.2. Let q = 30.9 - i. Which is bigger: q or -31?
q
Suppose -10*q + 650 = -5*q. Suppose q*r - 88 = 131*r. Which is greater: -90 or r?
r
Let d = 218570496950369/18594 + -11754893895. Let m be (1031/1033 - 1)/(-9). Let b = d + m. Which is bigger: -7 or b?
-7
Let b be (-350)/630 + 338430/(-27). Which is smaller: -12536 or b?
-12536
Let l(j) = -15*j + 100. Let g be l(17). Suppose 0*o - 480 = 3*o + 3*t, 2*o + 4*t = -328. Which is greater: o or g?
g
Let f(c) = 7*c**2 - 45*c - 19. Let n be f(7). Suppose -540 = 24*o - n*o. Let b(t) = -t**3 - 5*t + 4. Let a be b(3). Are a and o non-equal?
True
Let s = -7223.69 + 7227. Which is greater: s or -0.07?
s
Suppose 5*h + 27 = -2*z + 4*z, 0 = -4*h - 5*z + 18. Which is smaller: h or -116/45?
h
Let o = 31 + -63/2. Let i(u) = 3*u**2 - 5*u - 55. Let y be i(9). Let l be (-22)/y - (-3)/(-468)*-37. Do l and o have the same value?
False
Let t = 2572 + -3669. Is t not equal to -1098?
True
Suppose 4*d + 41 - 37 = 0. Let v be d/1 - 3096/336. Let t = -54/7 - v. Which is smaller: t or -1?
-1
Suppose -135 = -174*w + 1293 + 1704. Is w greater than -6?
True
Let k = -77 - -286. Suppose -2*h = 5*f - k, -3*h + 21 = -3*f + 138. Suppose 27 + 57 = 2*u. Which is bigger: f or u?
u
Let m = -2603 - -2519. Is m smaller than -18?
True
Let q = 0.398 - 4.178. Let p = 5.79 + q. Is -1 greater than or equal to p?
False
Suppose -20 = -5*u - 3*z + 1221, 2*z + 243 = u. Suppose 258*s - u*s = -11. Are -4/127 and s non-equal?
True
Suppose -13 = 37*b + 24. Is b equal to -0.195?
False
Let x be (-1727)/(-198) + (-6)/27. Suppose 2*m - 3*u + 2*u = -49, 5*u = -2*m - 31. Let q = m - -31. Which is smaller: x or q?
q
Let h = 75 + -112. Let b = 69 + h. Let s = b - 32. Which is bigger: 4 or s?
4
Let x(q) = -18*q**3 + 20*q**2 - 150*q + 125. Let n be x(8). Which is bigger: -9012 or n?
n
Let p = -510.788 + 511. Let c = -0.312 + p. Is c at least as big as 275?
False
Let k be (4/(-14))/(11/77) - (1 + -3633). Is k > 2/7?
True
Suppose h - 13 = -0*h. Let i be ((-15)/75)/((-4)/15)*4. Suppose -2*t = -i - 25. Which is greater: t or h?
t
Let n = -4672 - -4605. Is -32 <= n?
False
Let z(n) = -n + 10. Let h be z(7). Let i(r) = -7*r**2 + 3*r + 22. Let w be i(-3). Let d be ((-54)/w)/((-9)/(-30)). Is d equal to h?
False
Suppose 4 - 3 = -2*n + 5*x, -5*n = 5*x - 15. Let a(r) = -r - 2. Let y = -16 - -14. Let h be a(y). Is h at least as big as n?
False
Suppose 0 = -5*h - 5*v - 35, h + 0*h = 4*v + 18. Let y = 27010 + -108051/4. Is y at most h?
True
Let o be (60/(-18) - -3) + 2/((-36)/2418). Let r = 210 - 344. Which is greater: o or r?
r
Let r = -79 - -74. Let k(w) = -7*w + 18. Let x(m) = 8*m - 17. Let s(a) = r*x(a) - 6*k(a). Let l be s(11). Which is smaller: l or -2?
-2
Let p be 4673/(-3)*30/11. Let s = p + 4252. Which is greater: s or 1?
s
Let t = 4.26 + 31.74. Is -2 greater than or equal to t?
False
Let x be 138/8 + 3/4. Let h be ((-446)/(-12