+ z. Is -0.1 less than or equal to n?
True
Let s = 16 + -13. Let y be (1 + 2 - 4)*s. Let m = 25 - 23. Which is bigger: m or y?
m
Let s be 214/1 + 18 + -18. Suppose s + 306 = -10*v. Which is bigger: v or -51?
-51
Let i(o) = 5*o**2 - 63*o + 369. Let x be i(6). Is x greater than 21?
True
Let o(a) = -167*a + 355. Let b be o(40). Is b at most -6325?
True
Suppose 0*m - 2*m = -5*l + 21, -m - 3 = 0. Suppose 0 = 5*r - 3*q - 4, r + 2*r - l = 2*q. Is 7/31 less than or equal to r?
False
Let p be (20/12)/(-3 - (-116)/24). Let b = -218 - -221. Is b greater than or equal to p?
True
Let p = 2794 - 53083/19. Is -0.4 at least as big as p?
False
Let i = 149.1 + -37.1. Let v = -45.8 - -46. Is i at most v?
False
Let j be (172/6622)/(11/(-2)). Which is bigger: j or 1?
1
Let s = 0.00662 + -0.10662. Which is smaller: -27.6 or s?
-27.6
Let v be 48/(-66)*66/(-12). Suppose 0*s - 4*s = 5*b + 309, -3*s - 233 = v*b. Which is greater: s or -69?
-69
Let u be 1*-3 + (-7)/28*-4. Let a be (-1)/((-4)/6 - 1/u). Suppose 0 = -2*k - a*k - 40. Is k != -2?
True
Let f = -0.57052 - 0.04948. Which is bigger: f or -0.58?
-0.58
Let p = -0.225 - 0.025. Let b = -0.25 - p. Let v = -11.6 + 11.16. Which is greater: v or b?
b
Let l be (-9)/(-3) + 617 + 1. Suppose 621 = -2*z + l. Which is smaller: 2/975 or z?
z
Let m(c) = c**2 - 15*c + 26. Let s be m(13). Let a be (-11)/((-77)/28) + -7. Is s at least as big as a?
True
Suppose 6 = p - 2*t, 0 = -5*t + 4*t + 4. Let h(k) = -9 - 8 - 13*k + p. Let w be h(-1). Do w and 11 have different values?
True
Let z = 15154 + -15155. Is 6/3703 < z?
False
Let u(t) = -t + 5. Let l be u(-2). Suppose -l*y + 10*y - 12 = 0. Suppose 10 - 2 = y*f. Which is greater: f or 13?
13
Suppose 0 = -253*v + 255*v + 3*s - 1791, 5*s + 1767 = 2*v. Which is smaller: 892 or v?
v
Let l = -61.62 + 69.6. Let i = l + -9.5. Which is greater: i or -0.1?
-0.1
Suppose o - 25 = -5*w, 5*w - 5 = -0*w + 3*o. Let z be ((-60)/(-400))/((36/(-39))/w). Is -1 greater than or equal to z?
False
Let k be (-22)/(-28)*424/(-583). Which is bigger: -0.1045 or k?
-0.1045
Suppose 0 = -378*l + 373*l + 555. Let j = l + -111. Which is bigger: j or -6/13?
j
Let f(a) = 102*a - 313. Let y be f(3). Is -216 <= y?
True
Let u = -1.0889 + -10.9111. Which is smaller: 119/2 or u?
u
Let f = -5804/5 + 1179. Suppose 0 = -3*m - 6*o + 8*o + 53, 2*m = -3*o + 44. Do m and f have different values?
True
Let p = -4382 + 4576. Which is greater: 5.2 or p?
p
Let t = -146 + 160. Suppose -t*q + 10 + 4 = 0. Which is bigger: 1/10 or q?
q
Let m be ((-15)/(-230))/((-6)/(-8)). Suppose w - 4*v + 4 = -1, -v = -2. Suppose x = -w*x. Which is bigger: m or x?
m
Let i(x) = -x**3 - 8*x**2 + 2*x - 4. Let d be i(-7). Let u = 66 + d. Let w be 1/u + (124/(-130) - -2). Which is smaller: w or -1?
-1
Let q be 2*8396/8 - (-33)/(165/10). Is 10498/5 < q?
True
Let o(m) = -m**2 + 656*m - 3258. Let q be o(5). Is q greater than -185/51?
True
Suppose -6*l = 100 + 26. Let j be (1190/25)/((-12)/l). Let f = 84 - j. Is 1 < f?
False
Let t = 6939 - 6939. Which is bigger: 2/2643 or t?
2/2643
Let o be (300/(-700))/(23/35). Which is smaller: 0 or o?
o
Let h = -2727 + 1019. Which is greater: h or 2/3?
2/3
Let w be 16/(-60) + (-4234)/(-15765). Which is smaller: 0 or w?
0
Suppose -10*i + 7*i - 45 = 5*a, 3*a + 27 = i. Which is greater: 4/2203 or i?
4/2203
Suppose -3*j = -4*p + 561, -5*j + 0*j - p = 889. Which is bigger: -178 or j?
-178
Let o be ((-2448)/170)/(2/(-15)). Let d(a) = 26 - 47 + 23 + 4*a**2 - 3*a**3 + 4*a + 0*a**2. Let l be d(-3). Which is greater: o or l?
o
Let i be ((-8)/222)/((-10)/1523385) - -2. Let j = i + -5492. Which is bigger: 0 or j?
0
Let t be (-15)/30 + 2/12 - (-1)/(-15). Is t <= -33.63?
False
Let q be (-6*(-20)/(-32))/(3/64). Is q > -84?
True
Let k be 1/(1/115*1). Let x be k/(-145) + (-1)/(-1). Suppose 234*d + 1 - 2 + 1 = 0. Which is greater: d or x?
x
Let v = 222 + 349. Is v bigger than 0.3?
True
Suppose -8*s + 2443 = 2163. Is s != 66?
True
Let f be 2 - 7/20 - (-1570)/(-1256). Is f at least -0.462?
True
Let s be 2/(-9) - 84/(-108)*35. Suppose 0*z + z - 25 = 0. Which is bigger: s or z?
s
Suppose -230*p = 390924 + 626366. Is -4420 smaller than p?
False
Let g be 2/(-5) - (-9 - -5 - (-2561218)/711480). Are 0 and g equal?
False
Let f = 513/7 - 8187/112. Let l be (1 - 1) + (-4)/24. Let a = f + l. Which is greater: a or 1?
1
Let w(k) = k**3 + 9*k**2 + 6*k - 10. Let v = -28 + 20. Let z be w(v). Suppose 2*p + p = 3*d + 18, -5*d + z = 4*p. Which is smaller: 6 or p?
p
Let i = -2465 + 2122. Is i greater than or equal to 22/9?
False
Let p be (18/(-8))/((-33)/(-396)). Let a be (108 + (-2 - 0))/(20 + p). Do -15 and a have the same value?
False
Let d be -1*(-7 + 145/20)*-4. Is d at most as big as 9/233?
False
Suppose 5*s = -3*s + 64. Let l(v) = 14*v + 9 + s - 15. Let x be l(-2). Which is smaller: -27 or x?
-27
Let g(v) = -v**2 + 4*v + 1. Let f be g(2). Suppose 0 = -f*r - 3*p + p - 9, 2*r - 6 = -4*p. Let q be (-1)/((-1)/(-14)*r/6). Is q < -1?
False
Let q = 37.4 + -37.06. Let g = -0.37 + q. Which is smaller: g or -24?
-24
Let s be (-46)/(-6) - 2/(-6). Let p be 4/(-12) + s/6. Let b be -6*(430/36 - 12). Are p and b nonequal?
True
Let i = -29031 - -29043.2235. Let q = i + -0.0235. Are 0.3 and q equal?
False
Let p be 4/(10*(-8)/(-420)). Let w be p*(-6 + 3 - -2). Which is smaller: 0.2 or w?
w
Let a(n) = 75*n**3 - 37*n**3 + 12 - 8*n**2 - 37*n**3 + 9*n. Let x be a(6). Do x and 1 have the same value?
False
Suppose 7*p + 96 = 278. Suppose -5*a = 5, -3*n + 42 = -p*a + 23*a. Let k(z) = z**2 + 5*z + 9. Let r be k(-6). Is r bigger than n?
True
Let j be (-11)/(11/(-26))*32. Suppose 3*p + 4*o - 673 = -84, -4*p + j = -4*o. Is p less than 203?
False
Let q be -4 - (-85 + 1)/2. Let g be (4/5 + 754/145 - 7)*-33. Which is greater: q or g?
q
Let p(l) be the second derivative of -5*l**4/6 + 29*l**3/3 + 11*l**2/2 + 3*l + 34. Let g be p(6). Which is smaller: -7/45 or g?
g
Let v = -4310 - -4362.26. Let w = v + -52. Let t = w + -0.06. Is t smaller than 33?
True
Let g = -88065 - -4843581/55. Let u = 1 - 1. Which is smaller: g or u?
u
Let t = -0.1 + 0. Let z(i) = -2*i - 14. Let f be z(-4). Let p be f/(-4)*-1*4/(-10). Which is smaller: t or p?
t
Suppose 4356 = q - 19*q. Let o be (-1)/7 - (3 + q/77). Which is smaller: -5/28 or o?
-5/28
Let c(d) be the first derivative of -21*d**4/2 - 2*d**3/3 + d**2/2 + 33. Let k be c(1). Are -46 and k non-equal?
True
Let z = 9 + 4. Let r = -7 - z. Let a = -1 + -21. Is a <= r?
True
Let g = 10 - 9. Let u(z) = 30*z + 44. Let q be u(5). Let r = q + -192. Do g and r have the same value?
False
Let r be (18/24)/((-5)/24). Let t be (-2)/(-24)*-2 + (-3397)/(-6). Suppose -4 = -t*l + 567*l. Which is smaller: l or r?
l
Let h = 7 - 11. Let w be (-2)/(-5) + h/10. Let l = -235407/38 + 6195. Does l = w?
False
Let b = -27190 + 13683. Are b and -13507 nonequal?
False
Suppose 248*c - 644 = 202*c. Is c less than 5.9?
False
Let a = 146.8 + 0.2. Let j = a - 109. Which is bigger: j or 0?
j
Let l be 1*(-3 + 2 + 3). Let k be 312/9*2/(200/5). Which is bigger: k or l?
l
Let l = 524 - 290. Let w = -235 + l. Are 105/8 and w equal?
False
Suppose 0 = o - 2 - 3. Suppose -21*w + 3 = -39. Suppose 2*z = -4*c - w, 5*c - 2*z + 6*z + 4 = 0. Which is greater: c or o?
o
Let b = 92 - 72. Suppose -62 = -b*w + 38. Suppose -y = -2*y + 5, 3*o + 16 = 5*y. Do w and o have different values?
True
Let z = -289 + 286. Let v be z*5/30*-450. Is 224 equal to v?
False
Let b be (-3 - 0)/((-6)/8). Suppose 3*x = 3*m + 15, 3 = 5*x + b*m - 4. Is x less than or equal to 0.054?
False
Let s = -1470 - -1469. Suppose -z - 25 = 4*z, 0 = 4*d + z + 37. Let y(f) = -f**3 - 8*f**2. Let a be y(d). Which is greater: s or a?
a
Let i = 32 + -32. Suppose i = -3*r + 22 - 130. Let v = -103 - r. Is -66 >= v?
True
Let d be (-2)/(-3 + 364/124). Let z = 149 - d. Is z bigger than 118?
False
Let j = 0 - 0. Suppose 2*q + 10*q + 12 = j. Is q equal to -11.2?
False
Suppose -4*s + 704 = 4*k, -3*s + 530 = 3*k + 2*s. Let q = k + -162. Which is greater: q or 69/5?
69/5
Let b(p) = -6*p - 17. Let t be b(-10). Suppose 8*i + 139 = t. Let w = i - -8. Is w at most as big as -4?
True
Let m(q) = 2*q**2 + 2*q. Let n = 44 - 46. Let s be m(n). Suppose s*a = 5*a - 2. Which is smaller: -2/7 or a?
-2/7
Let j be (4/(-8) + -1)*(-52)/39 + -178. Is j greater than 0.9?
False