 Let s be d(25). Is s at least 1?
True
Suppose -6*p + 100 + 140 = 0. Is p equal to 44?
False
Let i(z) = -z**3 + 11*z**2 + 13*z - 8. Suppose -k + 4*l - 6*l + 8 = 0, 3*l - 12 = 2*k. Let u = 12 - k. Let o be i(u). Which is greater: o or 3?
o
Let w be (5 + -4)*(-180 + -2 + 1). Let a = w - -1995/11. Are a and 3 nonequal?
True
Let a(s) = 13*s**2 - 8*s - 3. Let m be a(7). Let n = m + -21384/37. Let i = n - 121/185. Which is smaller: -2 or i?
-2
Let m = 10 - 14. Let g be (2/m)/((-2)/(-4)). Is g smaller than -1?
False
Let o(p) = -2*p**3 - 2*p**2 - p. Let s be o(-1). Let u = 5233/4 + -1308. Which is greater: u or s?
s
Let t be (-2)/4*(-30)/50. Which is bigger: t or -2/31?
t
Let i = 0.1 + 7.9. Is i != 1?
True
Let i(q) = 5*q - 1. Let g be ((-24)/(-60))/((-4)/(-10)). Let w be i(g). Suppose 5*v = -5*h, 2*h - 5 = -w*v + 5. Is 5 at most as big as v?
True
Let y(f) = 206*f - 65. Let t be y(3). Is 553 smaller than t?
False
Let y = 72 - 36. Let i = -25 + y. Suppose -5*w = -3*z + i, w - 3*z - 4 - 1 = 0. Is w at most -3?
True
Let q be (1 - (-1140)/(-1165))*6/(-105). Which is smaller: q or 0?
q
Suppose 0 = c + n - 52, 2*c - 9*n = -10*n + 104. Are 48 and c unequal?
True
Let g(r) = r + 10. Let j be g(-11). Let a = 13249/64 + -207. Let o = -49/64 + a. Which is smaller: o or j?
j
Let s be (-379)/(-2) + 200/16 + -13. Is s not equal to 188?
True
Let b(n) = n**3 + 6*n**2 + 4*n - 1. Let a be b(-4). Suppose a = 2*v + 13. Do v and 4/17 have the same value?
False
Let s = -533 - -532. Is 28/61 >= s?
True
Let m = -1915/184 + -28/23. Is m equal to -13?
False
Let z = -11.64 - 5.36. Is -1 bigger than z?
True
Let j = -23 - -22. Let i be (-32)/40*5/j. Suppose 2*q + 4 = i*q + 4*r, 46 = -5*q + 4*r. Do q and -2 have the same value?
False
Let k(q) = q**3 - 2*q**2 - 4*q + 3. Let y be k(2). Let r = -5 - y. Suppose d + 5 = -r*d. Which is smaller: -6 or d?
-6
Suppose 7 = -5*x - 3. Let s be (-4 - x - -1) + 46/26. Which is smaller: s or 2?
s
Let d = 0.04 - 0.04. Is -215 less than d?
True
Let i = -20 - -20. Let u be -16 + i/(3/1). Let p be -24 + 8 + 0/(-2). Do u and p have the same value?
True
Let l = -5261/4 + 1315. Let k be ((-8)/(-3) + 1)*-1. Is k < l?
True
Suppose -2*l - 2*x + 88 = l, -4*x = -20. Let h = l + -24. Which is greater: 8/7 or h?
h
Let l = -2.3399 + -0.0701. Is -1 greater than or equal to l?
True
Let x be (-6)/(-4 + (-11)/(-3)). Suppose 24 = x*c - 24*c. Suppose -4*f = -0*f + 20. Which is greater: c or f?
c
Let r be ((-2)/(-18662))/((-44)/(-308)). Is r equal to 0?
False
Let n be 34 + -2*(1 + 0). Let j be (n/(-1840))/((-1)/10). Which is smaller: j or -1/2?
-1/2
Let g be (-4 + (0 - -11))*-3. Let o be 7/(g/6) - -13. Suppose 0 = -s - 0 - 2, 2*t - 32 = 4*s. Is o at least as big as t?
False
Suppose -3*g = -356 + 68. Let i = g + -95. Are -1/69 and i equal?
False
Let u be 2 + -2494*3/4239. Let m = -2/157 + u. Which is bigger: -0.07 or m?
m
Let z be ((-21)/112)/(3/2)*-2. Let p = 32 + -30. Is z less than p?
True
Let v = -9 - -11. Let j be 3*1 - (-1 + (-90)/(-21)). Which is smaller: j or v?
j
Let v = 200 - 198. Is v at least 7/4?
True
Let u be (2/2)/(2/(-12)). Let r be 10/(-6) - (-14)/(-231)*-11. Which is greater: u or r?
r
Suppose -12*i + 21*i = 0. Let q be 56/231*(0 + i + -3). Is 0 less than or equal to q?
False
Suppose 0 = 3*d + 2*d. Let x = 2278 + -79732/35. Does d = x?
False
Suppose -3*p = -8 - 4. Suppose -13 = 8*h - 45. Suppose -5*j - 21 = -h*u, 2*j - 2 = -u - 0*j. Is u bigger than p?
False
Let r = -132 + 146. Which is greater: r or 15?
15
Let x be 2 - (1 + -2 + -2). Let j be (1 + 3 - 72/20)*x. Which is greater: 16/5 or j?
16/5
Let o = 20 - 18. Suppose -5*g = -15, -2*u - o*u - 4*g + 92 = 0. Which is smaller: u or 18?
18
Let k(v) = -5*v**3 - 252*v**2 - 100*v - 18. Let w be k(-50). Which is smaller: w or -40?
-40
Let b be 1*4/(12/15). Suppose -4*d + x = 41, -b*d + 1 - 49 = 2*x. Let w be d/(0 - (0 - 2)). Are w and -5 nonequal?
False
Suppose -12*h + 11*h + 5 = 0. Suppose 0 = -h*m - 62 + 67. Which is greater: -2/201 or m?
m
Let c = 1260 - 1152. Which is bigger: c or 113?
113
Let i = -0.219 - -0.259. Let l = -1/2 - -1/10. Is i <= l?
False
Let q = -43 - -37. Let i(v) = 2*v + 11. Let n be i(q). Which is greater: n or -2?
n
Let c(o) = -306*o - 37. Let g be c(-2). Is 574 < g?
True
Let g = 1186 + -26083/22. Which is smaller: g or 0?
0
Let c be (-7)/6552*(-104)/130. Which is greater: 0 or c?
c
Let g = -157 - -168. Is g equal to 106/9?
False
Let u = 12/37 + -182/333. Let g = 22 - 25. Which is bigger: u or g?
u
Let i be -2*4/(-16)*(-10 + 22). Let q(c) = 0*c**2 + 3*c + 3*c - c**2 + 1. Let l be q(i). Which is bigger: l or 2/41?
l
Suppose -2*y = -0*y - 20. Suppose -y*u + 422 = 112. Is u at least as big as 32?
False
Let w be 4/6*((-423)/(-18) - 22). Is w bigger than -1/801?
True
Suppose -5*n = -0*n - 20. Let k(g) = 4*g - 15*g + 12*g - 3. Let f be k(n). Are f and 1/8 equal?
False
Let n = -46 - -19. Let p = -1 + n. Let x = 17 + p. Are x and -1 non-equal?
True
Let i be 2/12 - (1 + (-52)/(-24)). Which is smaller: 4 or i?
i
Let x = 4/1017 - -36592/5085. Let u = -561/80 + x. Is 1 >= u?
True
Suppose 5*w - w = 3*p + 10, -2*w = 2*p + 2. Let s = 29 + -29.17. Is p at most as big as s?
True
Suppose 5*k + 177 = -4*c, -c - 3*k - 48 = -k. Let w = c - -39. Is 3 not equal to w?
True
Let v = -572 + 578. Which is bigger: v or -1?
v
Let n be ((-4)/(-3))/(4/6) - -8. Is n greater than or equal to 44/5?
True
Let c = -1/656 - -3353/47888. Which is greater: c or 0?
c
Let z = -27 - -26. Let s be 3 - z/2*-4. Which is smaller: 1/15 or s?
1/15
Let j = 1563/7 - 223. Which is smaller: 9 or j?
j
Let p = -422.2 + 368. Let c = p - -54. Is -2/53 < c?
False
Let u = 4589/894 + 5/149. Let b = u - 5. Is b less than 0?
False
Let y be ((-2 - -2)/(-1))/(-5). Which is smaller: -3/358 or y?
-3/358
Let k = -104 + 104. Is -1 smaller than k?
True
Let j = -3488/8591 + 30/71. Let a = -490/363 + j. Let r = -7205/4 + 1802. Which is greater: a or r?
r
Let k = 285 - 298. Which is smaller: -4 or k?
k
Let k be (36/(-1299))/6*(-1 + 2). Which is smaller: 0 or k?
k
Let n = 28 + 31. Let z = -32 + n. Is 26 at most as big as z?
True
Let r = -172/7 - -2195/56. Is 15 not equal to r?
True
Let a = 1762/13 - 136. Let q(u) = 2*u**2 - 13*u + 6. Let v be q(6). Which is bigger: a or v?
v
Let m be ((-2)/(-45))/(-30*(-13)/468). Which is smaller: -1 or m?
-1
Let r(v) be the second derivative of 3*v**5/5 + v**4/6 - v**2/2 + 13*v. Suppose -5*x + 10*x = -5. Let k be r(x). Is -11 bigger than k?
False
Let m = 54.8 - 55.8. Let c = -3044/35 - -87. Which is greater: m or c?
c
Let o be 13/((-286)/(-2664)) - -4. Let k = o + -125. Which is bigger: k or 0?
k
Let p = 4 + -5. Let i = 0.13 + -0.73. Let s = i - 0.4. Is s greater than or equal to p?
True
Let g(w) = -33*w + 260. Let q be g(8). Which is smaller: q or -160/31?
-160/31
Let c = 22705/3 + -7652. Let x = 79 + c. Is x < -4?
True
Let x be (-126)/174 - (-6)/(-36)*-3. Which is smaller: 1 or x?
x
Let n be 1 + ((-23094)/(-8498) - (-11 + 15)). Let g = 2/607 - n. Let l = 2 - 4. Which is smaller: l or g?
l
Let v be -3 + 283 - (-11 + 7 + 9). Is 1/3 greater than or equal to v?
False
Let a = -50 - -52. Suppose 5 = a*u + 11. Which is smaller: -5/3 or u?
u
Let z be 9/3*6/99. Which is smaller: z or 25?
z
Suppose -9 = 5*h + 6. Let c = -3 - h. Is c greater than 0?
False
Let m be 46/16 - 3 - 91/(-56). Is m > -2?
True
Suppose 2*z = 5*t - 2*z + 81, -3*t = 4*z + 23. Let d = t - 5. Let u = d - -23. Is 0 <= u?
True
Let l = 112 - 100. Suppose -l*k + 6*k = 72. Is k not equal to -10?
True
Suppose 2*d + 3 - 49 = 0. Let z be (-80)/(-4) + 5 + (1 - 3). Is z < d?
False
Let d(y) = y**3 - 15*y**2 + 48*y + 19. Let p be d(10). Is p > -5/99?
False
Suppose u - j - j = -53, -5*u + j - 238 = 0. Which is greater: u or -38?
-38
Let u = -9 + 15. Let c be (-8)/(2 + (2 - u)). Let l be -3 + 0 + c/6. Which is greater: l or -1?
-1
Let v be 2/(-10)*15/6. Let h = -4612 - -4612.07. Which is greater: h or v?
h
Let u be (-2)/(-3 + 11) + (-9)/(-4). Suppose -3*x = x - 4. Do x and u have different values?
True
Let i = -101 + 2. Do i and -99 have the same value?
True
Suppose 15*f = -1873 + 208. Which is greater: f or 2?
2
Suppose -2*k + 6*k - 2*p = 20, -16 = 4*p. Let b be -11 + (4 - (-3 + k)). Let a = -11 + 4. Are b and a unequal?
False
Let d = 0.1 + -0.2. Let y(b) = -2*b - 64. Let