e 6*f + 2*f = 80. Suppose -516 = -16*w + f*w. Is 88 equal to w?
False
Suppose -4*s - 3*j - 5253 = 0, j + 1312 = 2*s - 3*s. Which is smaller: -1319 or s?
-1319
Suppose -3*y = h + 5406 + 113, 0 = -5*y + 5. Is h at least -5520?
False
Let t(l) = 2*l - 71. Let g be t(36). Let d be 1133/(-3710) - 21/(-70). Is g <= d?
False
Let m = -12.41 + 0.41. Let d = -11 - m. Let j = 335.965 - 336. Which is smaller: d or j?
j
Let x be ((-261)/(-36))/(-29) + 0/3. Suppose 2*i = i + 53. Is i equal to x?
False
Suppose -5 = -3*j + 262. Let o = j - 87. Let s = -18 + 97/5. Which is smaller: o or s?
s
Suppose -i + 3*i + 24 = 4*p, i - 2 = 0. Suppose p = -3*y - l, 0 = 8*y - 9*y + 3*l + 1. Is -25/11 at least y?
False
Let b = 0.04373 - -0.04627. Is -241 equal to b?
False
Let p = 329 - 295. Suppose 4*s = -30 + p, -183 = 5*t + 2*s. Let u be (-6)/8*(-6)/9. Which is bigger: t or u?
u
Let u = -1622 - -1619. Which is bigger: -83/32 or u?
-83/32
Suppose 0 = z + 3*x + 37, -6*z + 9*z - 2*x = -254. Let m = -62 - 16. Is m at least z?
False
Let o(h) = -6*h**2 - 160*h - 134. Let u be o(-25). Is u less than 137?
True
Suppose 1244 + 1522 = -2*b - 1220. Is b equal to -1996?
False
Let j = -24 + 48. Which is greater: j or 1/9?
j
Let v = 4539 + -17019. Let x be (-9)/(-15) - (v/2825 + 5). Which is smaller: 5 or x?
x
Let p = 47 - 47.052. Let g = p - 0.718. Let z = g + 0.67. Which is smaller: z or 0.11?
z
Let s = -830 + 412. Let h = -418.4 - s. Which is smaller: -10.1 or h?
-10.1
Let c = 166.8 - 182. Let t = c + 7.2. Let n be (-7)/(-28) + 13/(-20). Which is smaller: n or t?
t
Suppose 3*m - 51 = -5*c, 5*c = 9*m - 8*m + 3. Suppose -m*f - 7*f = 0. Which is bigger: f or -168?
f
Let q(l) = 4*l**3 + 4*l**2 - 7*l - 8. Let c(o) = 5*o**3 + 4*o**2 - 8*o - 9. Let n(g) = 3*c(g) - 4*q(g). Let z be n(-4). Is z smaller than -9?
True
Let q be (4/(-126))/((-84)/(-588)). Do q and -0.249 have the same value?
False
Let r = 4459333/350063 + 45/8141. Which is smaller: r or 12?
12
Let g(p) = 6*p - 4. Let i be g(1). Suppose i*s - 5*w = 217, 4*s - 3*w - 209 = 246. Suppose -4*d + 0*d + s = -4*m, -5*m + 71 = 4*d. Which is bigger: 25 or d?
25
Let o = 4 - 2. Suppose 5*p = -b + 111, -5*p = o*b - 0*b - 112. Let j(x) = -x + 41. Let w be j(20). Does p = w?
False
Let w(j) = j**2 - 21*j + 43. Let h be w(9). Let i = h + 65. Which is smaller: i or -11/30?
-11/30
Suppose -82*b - 201613 + 27937 = 0. Which is smaller: b or -2117?
b
Suppose 22*s = 4039 - 4017. Is 1/29738 at least s?
False
Let h = 8 - 10. Let y(k) = 20*k**2 + k + 2. Let t be y(h). Do 78 and t have the same value?
False
Suppose 644 = x + 4*u - 880, 0 = 5*x - 3*u - 7689. Let s = 970663/180 - 77087/20. Let k = s - x. Which is smaller: 1 or k?
1
Let w be (3 - -2)/((-5)/(-5)). Let z be (-4)/(-22) + (258/33 - w). Suppose 4*m = -d - 7, m + z*d - 6 = -2*m. Are -7 and m unequal?
True
Let k(a) = -3*a + a + 54 - 2*a + 9. Let w be k(23). Does -23 = w?
False
Let g(n) = -n**2 + 23*n - 40. Let k be g(21). Let j(h) = -38*h - 8. Let c be j(k). Is c equal to -84?
True
Let c be (-4)/(-18) - 21/(-54)*-646. Let q = 184 + c. Which is bigger: -66 or q?
-66
Let p = -708305/21 - -33744. Let k = p - 43/3. Is k equal to 0?
False
Suppose -3*t - 11 + 26 = 3*v, 2*t - 4*v - 4 = 0. Suppose -105 = t*h + 35. Which is smaller: -33 or h?
h
Let k(i) = i**3 + 8*i**2 + 2. Let b be k(-8). Suppose 0 = b*g - 3*g - 4. Let w be -4 - (1/3)/((-5)/(-45)). Which is greater: w or g?
g
Let p = 59.3506 - -4.6494. Which is greater: 7 or p?
p
Let j(g) = -3*g - 5*g**3 + g**2 + 6*g**3 + 4 + 4*g. Let m be j(0). Suppose -126 = -52*p - 25 + 315. Which is bigger: m or p?
p
Suppose -20419 = -c + 6*c - 2*m, 0 = -3*m - 9. Is -4084 <= c?
False
Let c = 8/1419 + -34904/2163975. Which is greater: -1 or c?
c
Let q be (-4)/10 + 138/(-30). Let u(a) = -a + 17. Let l(m) = 4*m - 36. Let x(d) = 2*l(d) + 5*u(d). Let c be x(q). Is 7 smaller than c?
False
Let t = -1629 + 4395. Which is bigger: 2765 or t?
t
Let z = -0.25 + 14.25. Let m = -15120.8 + 15121. Which is smaller: z or m?
m
Suppose j - 2*j = 1. Let g be (-1463)/(-5) + 0 + (-6)/10. Let a = g - 3214/11. Is a greater than or equal to j?
True
Let p = -667 - -1003. Suppose -7*z + 0*z + p = 0. Let b be (-3)/12 - 386/(-8). Are z and b unequal?
False
Suppose -p = -4*p - 45. Let j be (4 + -2)/(2/p). Let l = -0.1724 + 0.0724. Which is smaller: j or l?
j
Suppose 217*s + 4086 + 3258 = -902. Is s greater than -0.161?
False
Let q be (-8)/(-24) - 14/(-3). Suppose -4*k = q*k + 3*k. Which is greater: 2/181 or k?
2/181
Let m = 3094247/418 + -14803/2. Is 1 equal to m?
False
Let d = 459571/188238 + -653/274. Is 1 > d?
True
Let o be ((-16)/(-84))/(((-36)/(-27))/4). Let p be 4 - 4 - 3/26. Let u = 31/182 - p. Is o equal to u?
False
Let j(b) = 1028*b - 3143. Let f be j(3). Which is bigger: f or -19?
-19
Suppose -11*a - 3*d + 70 = -6*a, a = -4*d - 3. Let r = -4 + 1. Let s be 18*r/(0 + -3). Which is bigger: s or a?
s
Let o = -7515 + 7455. Is -34 > o?
True
Let i = -1.21 - -1.2. Let u(l) = 2*l**3 - 24*l**2 - 36*l + 132. Let t be u(13). Is t equal to i?
False
Suppose -4*f + 5*p = -145 + 116, -f = -4*p - 21. Which is greater: f or -23?
f
Let w = 491 - 872. Let h = w - -363. Let r = 164/3 - 54. Which is bigger: r or h?
r
Let p be 19/(-4)*18/81*126. Are -1460/11 and p nonequal?
True
Suppose -5*j - 25 = 0, 7*d + 152*j - 157*j = -1837. Suppose 267 = 2*f - 3*f. Are d and f nonequal?
True
Let i(j) = -5*j + 10. Let c(y) = -11*y + 20. Let g(q) = -2*c(q) + 5*i(q). Let a be g(3). Which is greater: 1/446 or a?
a
Let i(x) = -12601*x**2 - 14*x - 29. Let v be i(-1). Is -12616 not equal to v?
False
Let x = 3 - -2. Suppose 4*m - 65 = -x. Let o be 0 + 5 + 224/28. Is m >= o?
True
Let v = 7 - 4. Let q be (24/60)/(1/(-90)). Let z = q - -38. Is z less than v?
True
Let d be (-39)/247*(-2)/36. Let i = 22 - 16. Let g(h) = -h**2 + 9*h - 17. Let z be g(i). Which is greater: d or z?
z
Let s be ((-131)/(-3))/((35/(-21))/(-5)). Suppose 3*j + 5*q - s + 20 = 0, -4*j - q + 148 = 0. Which is smaller: j or -1/6?
-1/6
Let b be ((-5)/2)/((-2)/(-32)). Let u = b + 43. Suppose -9 = -l + 2*h + u*h, 0 = 2*l - 5*h - 8. Which is bigger: 0 or l?
0
Suppose -5*m + 5 = 0, 44 + 447 = 4*u + 3*m. Suppose -22 - u = 4*y. Does -37 = y?
False
Let l be (229 + -228)/(2/(-1 + -1095)). Let b be (4 - 100/15)*6/l. Which is bigger: b or -1?
b
Let c = 3452.04 + -3452. Does -24 = c?
False
Let v = 69934695/496 - 141000. Let y = v - -130/31. Which is bigger: 3 or y?
3
Let o be -1*(6 + 3 + -5 - (-508 - -3)). Do o and 0.3 have the same value?
False
Let g(u) = u**3 + 70*u**2 + 264*u + 6. Let f be g(-66). Is f at most as big as 219?
True
Suppose 34*l - 1320 = 24*l. Let s be (1*2)/((-2)/4). Let j be (-2)/s*l/(-18). Are j and -3 nonequal?
True
Let s = 2332.8 - 2333. Which is bigger: 80/17 or s?
80/17
Let s(l) = -6*l**3 + 2*l. Let n be s(-3). Suppose 0 = -5*y, 3*y = -3*x - 0*y + n. Is 52 at most as big as x?
True
Let z = 4585 + -220081/48. Is 1 < z?
False
Let d be ((-4)/63)/((-27)/243) - 5176/8274. Which is smaller: d or -1?
-1
Suppose -219*m + 443*m + 253*m + 100647 = 0. Which is smaller: m or -197?
m
Let h(p) = -p**3 + 20*p**2 + 25*p - 9. Let w be h(21). Suppose 2*q - 4 + 6 = 0, s = -q + w. Which is bigger: 75 or s?
s
Suppose -5*t - t = 3*t. Suppose 8 = -n + 3, t = -2*r - 3*n - 41. Is 0.3 smaller than r?
False
Suppose 126*u = 127*u + 2*r - 4601, -2*u - 5*r + 9200 = 0. Is u >= 4608?
False
Suppose 0 = -3*l - 25 + 133. Is l < -6?
False
Suppose 3*c - 556*x + 551*x - 90 = 0, -172 = -4*c - 2*x. Is -3/19 <= c?
True
Let i = -16.064 - -15.064. Is i greater than -5852?
True
Let f be ((-171)/(-95))/(-2 - 23/(-10)). Suppose -f*g - 10 = -g. Is g smaller than 0?
True
Let t = 28300/41 - 61/82. Is t not equal to 690?
True
Let z be 40/(-140) + (468/14)/(-2). Let m(v) = -69*v - 88. Let n be m(-1). Which is greater: z or n?
z
Let p be (-12367)/(-581) + (4/7)/(-2). Suppose -5 = 3*s + 10, z = 3*s + p. Which is greater: 37/5 or z?
37/5
Suppose -11*s - 6 = -13*s. Let j be 1035/225 - s/5. Let w(z) = 5*z - 1. Let g be w(1). Is g less than j?
False
Let k = 19/17 + -1268/85. Is -6 greater than k?
True
Suppose -4*t - 2*i - 132 = 0, 5*t + 171 = -i - 0*i. Suppose -608 - 1087 = 5*m + y, 0 = 5*y + 25. Let p = 302 + m. Which is greater: t or p?
t
Let o = -18.1 + 17.1. Let p = 5.3 + -0.1. Let j = p - 7.2. Is o <= 