be ((-4)/(-10))/(-2)*-12. Which is bigger: p or x?
x
Suppose 0 = b - 175 + 166. Suppose 16*u = -b - 7. Which is bigger: -10/11 or u?
-10/11
Let y be (138/(-1127))/((-6)/(2730/(-5))). Is y > -12?
True
Suppose 25402 = -12*k + 826. Is k > -2049?
True
Let v(d) = -d**2 + 9*d + 24. Let s be v(11). Let h be (-2)/s + -43 - 0. Let o = 57 + h. Which is bigger: o or 11?
o
Let l be (-1 - (-34)/(-6))*-3. Suppose 8 = -6*s - 166. Let q be (s - l/(-5))*-1. Is 24 less than or equal to q?
True
Let y = 15178 - 15182. Which is bigger: 3025 or y?
3025
Suppose 5*y - 2*y - 15 = 0, 3*y = -3*x + 357. Suppose -x + 92 = -11*s. Which is smaller: s or 17/15?
17/15
Let b be 2/4 - (963/(-66))/(-3). Let z(a) = -a**3 + 11*a**2 - 26*a + 12. Let k be z(8). Is b less than k?
True
Let p(i) = 5*i**2 + 28*i + 16. Let n be p(-5). Let q be 12/42 - (-1137)/(-3906). Do q and n have different values?
True
Suppose 0 = -4*v - k + 412, -2*k - 226 = -354*v + 352*v. Suppose 390 + 30 = 4*t. Is t at most v?
True
Let w = -0.085 - -0.035. Let d = -352 + 354. Which is bigger: w or d?
d
Let l be -32*(1*1383/(-348) - (2 + -6)). Which is greater: 0 or l?
0
Let a = -4 + 2. Let f = -28985 + 29023. Which is bigger: a or f?
f
Let f = -351 - -350. Let l = -3/235 + -1763/9165. Which is bigger: f or l?
l
Let v be ((23 + 120)*-2)/(-2*2/2). Is v != 141?
True
Suppose 0 = -3*y + 17*y - 1204. Suppose -2*l - y = -4*u, 22*u - 17*u - 140 = -4*l. Which is greater: 5 or u?
u
Let o = -2/14809 - -29644/192517. Which is smaller: o or 523?
o
Let c(x) = -x**2 - 14*x - 66. Let m = 135 - 142. Let d be c(m). Which is greater: d or -73/4?
d
Suppose -5*x + 2*m + 282 = 0, -5*m - 12 = 4*x - 264. Suppose w + 0*w - 60 = 0. Is x <= w?
True
Let a = 1 - 1. Suppose 24*p - 123 = 18*p - 35*p. Which is greater: a or p?
p
Let n = 0.4302 + -0.0672. Let b = n - 0.013. Let f = -6.65 - b. Which is greater: f or -1?
-1
Let w be 4 - 11 - (3/(-18) + (-235)/30). Is w > 7/2976?
True
Let h(s) = 7*s**2 - s - 3. Let q be h(-1). Suppose y + i + 116 = 0, -40 = -4*y + q*i - 531. Is -121 at least as big as y?
False
Let k = -5114.8 - -5113.8. Let c = -0.24 + 41.24. Do k and c have the same value?
False
Let n(b) = b**3 + 148*b**2 + 3537*b - 474. Let u be n(-118). Let r(m) = 3*m**3 + 6*m**2 + 6*m + 2. Let l be r(-4). Are l and u unequal?
True
Let p(l) = -l**3 - l**2 + 2*l + 4. Let n be p(-4). Let b = n - 37. Let o(w) = 5*w - 33. Let y be o(b). Which is greater: y or 4?
4
Let c = -350187 + 350188. Let x = 711447/226 - 3148. Which is greater: c or x?
c
Suppose 0 = 3*c + v - 7, 2*c = -5*v + 4 + 18. Let k = -8601 + 275199/32. Let n = k - -277/160. Which is bigger: c or n?
c
Let v(o) = -3*o**3 - 10*o**2 + o + 4. Let r be (11 - (5 + -2))/(-2). Let w be v(r). Let n = w + -8. Which is bigger: 25 or n?
25
Let z be 2/(-12) + 4701/18. Let f = 263 - z. Which is bigger: 0.48 or f?
f
Let z be 4/(2110/(-355) - (-18)/((-3)/(-1))). Which is bigger: z or 48?
z
Let o = 19 - 43. Let d be (-704)/o + 2 + (-4)/(-6). Let x = -27 + d. Is 7 equal to x?
False
Let z = -508 + 507.911. Let a = z - 0.011. Which is bigger: a or 142?
142
Suppose -73 = -t + 3*r, 19*r - 15*r - 212 = -4*t. Which is greater: t or 79?
79
Let h = -0.715 + 0.735. Let j = 1262 - 1267.17. Let g = j - -0.17. Which is bigger: h or g?
h
Let n be 64/6*1/(4/(-15)). Let x be 1 + (6/5)/((-3)/n). Suppose 3*m = x - 2. Is m at least 8?
False
Let x(g) = 733*g**2 + 10*g - 11. Let n be x(1). Let v = n + -712. Is v less than or equal to 132/7?
False
Suppose 3*o - r + 52 = -239, 5*o = 8*r - 504. Is -50 less than o?
False
Let z be 672/(-3712) - 1/(-4) - (-46576)/(-29). Is z less than -1605?
True
Let c = -454 + 462.88. Let b = 447.88 + -448. Let u = b - c. Which is bigger: -2 or u?
-2
Let i = -771 - -775. Suppose i*z - 129 = -4*p + 575, 4*z - 4*p = 664. Which is bigger: 170 or z?
z
Let y be ((-85)/(-345))/(338/(-312)). Is -1 equal to y?
False
Suppose -50*m + 26287 = -3813. Is m < 601?
False
Let k be (-1)/((-4)/(-36))*-21. Let f = 268 - k. Let p = 86 - f. Do 35/6 and p have different values?
True
Suppose 10 = 2*q - 2*p, -p = 4*q - 23 - 12. Suppose -q*u = -13*u. Let i = -25/31 - -103/589. Which is bigger: u or i?
u
Let m = -152 - -154. Let a be (-9)/(2/(6/(-3))). Let c be (-8)/(48/a)*m. Is -13/5 > c?
True
Suppose 137*i - 11*i + 7308 = 0. Let m be ((-76)/(-8))/((-1)/6). Are i and m equal?
False
Let g = -1033.079 - -1033. Which is smaller: g or 1/4?
g
Let z = 54.308 + -0.108. Let h = -53.2 + z. Which is smaller: -5/12 or h?
-5/12
Let l be -1*0*(-1)/4. Let h(p) = 2*p**3 - 2*p**2 + p + 43. Let u be h(l). Let w be ((-6)/(-12))/(u*1/(-2)). Is w equal to -1?
False
Suppose 5*t + 3*h - 6 = 54, 0 = 3*h - 15. Suppose -5 = -4*y - t. Do y and -2/71 have the same value?
False
Suppose -3*m + 7460 = z, 3416*m = 5*z + 3415*m - 37204. Are 7442 and z nonequal?
False
Let s be (5369/(-26))/((-1)/(-2)) + -1. Let z = s + -96. Is z > -1?
False
Suppose -y = -2*g - 23, y - 14 = g + 3*y. Let d(t) = -2*t**2 - 25*t - 8. Let f be d(g). Let h be f/(-2)*(-90)/216. Which is bigger: h or -0.1?
h
Let g be (((-30)/12 + 3)*2)/((-13)/(-13)). Is g less than -19/158?
False
Let v = 260.6 - 39.6. Let o = -3911/3 - -1304. Is o greater than v?
False
Let s = 1440.97 + -1430. Let k = s + -3.97. Which is smaller: 8/9 or k?
8/9
Let k = 355.64 - 11.94. Let t = k - 359. Which is greater: -1 or t?
-1
Let w(i) = -127*i**2 - 4*i + 52 + 250*i**2 - 124*i**2. Let c be w(13). Is c less than or equal to -168?
True
Suppose 5*i = -25, 5*j + 4*i - 7 = 48. Suppose -13*r + 8*r = -j. Suppose 0 = -r*m - 4 + 1. Is m != -2?
True
Let m = -32 - -26. Let a = -21 + 26. Suppose 4*z = 3*g - 13, -a*z - 4 = 4*g + 20. Is m at most as big as z?
True
Let o = -0.055 - -0.855. Suppose 0 = 5*t - 2*v + 8, -4*v = 4*t + 3 + 9. Is o at least as big as t?
True
Let w = -31209 + 31205. Is -714 less than w?
True
Suppose -4*s + 8 = t, -t - t = -5*s + 49. Suppose 5*c + 3*d + 688 = 0, -c - 3*d - 277 = c. Let j = c + 123. Is t less than or equal to j?
False
Let a be 1/(-54)*4*-87. Let j be (2/(-5))/1 - (-37)/5. Is j greater than or equal to a?
True
Let r = -3043/14 - -2740211/12607. Are 0 and r non-equal?
True
Let m be -16*(-14)/((-168)/9). Suppose -2*k + 364 = -r, k - 3*k - 746 = 2*r. Let b be (r/90)/((-1)/(-3)). Is m <= b?
False
Suppose 0 = -2*o - 3*i + 25, 6*o - 41 = 2*o - 3*i. Suppose -m = 3*g + 5 + 3, -2*g + o = -2*m. Let k be ((-1)/(m/10))/191. Is 1 greater than k?
True
Let w = -3502 - -4138. Which is bigger: w or -0.1?
w
Suppose -2*g - 3*m - 2 = 0, 0*g - 4*m - 3 = 3*g. Let k(b) = 7*b + 47. Let s be k(-7). Let y(z) = 2*z**3 + 3*z**2 - 4*z - 3. Let t be y(s). Are t and g equal?
False
Suppose 3*a = -3*d - 3, -4*a + 5*d - 3*d + 14 = 0. Let c = 2330 + -2323. Are c and a unequal?
True
Suppose 3*b = -2*g - 6 - 3, 4*g - 4*b = -28. Let l be 32/g*(-1 + -5). Suppose -35*z - 3 = -l*z. Is 4/13 less than z?
False
Suppose -82*w + 28486 = 3362 - 32112. Is w < 700?
True
Let o(j) = j**3 - 31*j**2 + 12*j + 40. Let g be o(31). Suppose 21*v = -5174 - g. Which is smaller: 2 or v?
v
Let s be (-290)/(-9 + -1)*-1. Let l(r) = r**3 - 5*r**2 + r - 24. Let u(q) = q**2 - 1. Let t(i) = l(i) + 4*u(i). Let w be t(0). Which is greater: w or s?
w
Let q = 215 - 849/4. Suppose -2*g + 12 = -3*b, -4*b - 20 = -3*g + b. Suppose 4*l + 10 = 4*o + 2*l, g = 2*o + 5*l - 11. Which is smaller: q or o?
q
Suppose -1 = -5*k - 41. Let s = 1 + 15. Let t be (-1)/(1*2/s). Is t less than k?
False
Let x be 0*1/2 + 4. Suppose o + 2*i - 4 = -0*o, -10 = -o - x*i. Let w = -112/17 + 103/17. Which is bigger: o or w?
w
Let u = 8866 + -8866. Is 2/20467 smaller than u?
False
Suppose 100*j + 1044459 = -239*j. Which is smaller: j or -3082?
-3082
Let k = -2272 + 2547. Which is smaller: k or 0.2?
0.2
Let g = -26/241 + -13739/8917. Which is smaller: g or -3?
-3
Let q(r) = 7*r**3 - 12*r**2 - 15*r - 3. Let x be q(-1). Is x > -227/27?
True
Let r(p) = -773*p + 1641. Let q be r(2). Is q greater than or equal to 95?
True
Suppose r + 3*u = 952, -2*r + 400*u + 1869 = 399*u. Is r <= 936?
False
Let q(i) = 3*i**2 + 32*i + 123. Let w be q(-4). Suppose -51 = w*s - 40*s. Are -4 and s unequal?
True
Let z(y) = 2*y**3 + 3*y**2 - y + 436. Let u be z(0). Let i = 434 - u. Does -28/23 = i?
False
Let l be 0 - 32/(-4)*(-34)/4. Let b = 101 + l. Suppose 2*d + 136 = 6*d. Which is greater: b or d?
d
Let l = 