-4). Suppose -n*d = -13*d - l. Which is bigger: 0 or d?
d
Let b be 152/(-988) + (-345)/39. Which is bigger: -67 or b?
b
Let f = -106.878 - -107. Let i = f + -2.522. Which is bigger: i or -4?
i
Let j be (181 - 175) + 413 + 1. Which is smaller: 424 or j?
j
Suppose 3*l - 73 + 79 = 0. Let y(z) = -8*z**2 + z + 6. Let j be y(l). Is j not equal to -26?
True
Suppose -6*f - 3*v = -11*f + 270, -5*f = -v - 270. Suppose 10 + f = -2*w. Is w >= 2?
False
Let m = 51 - 51.014. Let b = -22.986 + m. Let k = 1 - b. Which is greater: k or -0.1?
k
Suppose 15 = -133*y + 136*y. Suppose 0 = -o - 5, -11 = -y*b + 5*o - 1. Which is bigger: b or -67?
b
Let i = -12588 - -12587. Is i bigger than 2367?
False
Let f be (-42)/14*(1 + 0 + -2). Suppose j + 0*z = -5*z + 95, f*z = -j + 99. Which is bigger: 106 or j?
106
Suppose -4699 = -20*a - 25239. Which is smaller: a or -5136/5?
-5136/5
Suppose b = 4*z - 13, -b + 19 - 29 = -3*z. Which is smaller: -92 or z?
-92
Let p be (2/4)/((-1)/(-4)). Let b = -0.226 + 11.226. Let q = -19 + b. Is q at least as big as p?
False
Let z be 19 - 4056/192 - (-5)/4*9/90. Let x = -0.0093 + 2.0393. Which is greater: x or z?
x
Let p = 1/265550 - -2057841/45541825. Is -1 at most as big as p?
True
Let h be 59 + -59 - (-1 - 0)*5. Suppose -n = -2*s - 4, 4*s + h = 3*s + 2*n. Let t be (-122)/126 - (0 + -1). Which is smaller: t or s?
s
Let n = -1.8 - 90.2. Let l = 84 + -22. Let i = n + l. Which is smaller: 0.1 or i?
i
Let r = -18398/9 - -429526/207. Are 32 and r non-equal?
True
Suppose 18 = -n - 44. Let z = n - -66. Suppose z*i - 4 = 3*c - 1, c + 5*i = 18. Which is smaller: c or 20/9?
20/9
Let y(k) = k**2 + 36*k - 150. Let h be y(-42). Which is smaller: h or 79?
79
Let r(o) = 21*o**2 + 47*o - 180. Let y be r(8). Which is bigger: 1539 or y?
y
Let l = -153 - 30. Let q = 6158 - 6341. Is q >= l?
True
Let z be (-47592)/(-48)*(-2)/9. Let j = 50906/231 + z. Is 0 > j?
False
Let n = 64718 - 12231658/189. Let l = n + -14/27. Which is greater: -0.15 or l?
-0.15
Let l = -865 + 865.049. Which is smaller: 13 or l?
l
Suppose 3*p + 241 + 407 = 0. Let a = 678 - 673. Let k be ((-9)/a)/(-3) - p/15. Are k and 17 nonequal?
True
Let x = 402.46 + -402.51. Are -231/8 and x equal?
False
Let w = 366.99123 + 0.00877. Which is bigger: -1/4 or w?
w
Let v = 1697 + -1138. Let n = -1675/3 + v. Let a = -0.54 + 0.6. Which is greater: n or a?
n
Let t = -17061 + 17054. Let f be (-2)/9 - (-404)/36. Let n = -15 + f. Which is smaller: t or n?
t
Let z be 146 - ((-12)/4 + 4). Suppose -129*b + z*b + 48 = 0. Which is smaller: b or -42/11?
-42/11
Let o = 238691/7 - 34101. Let a be -2*((-10)/4 + 2). Which is bigger: a or o?
a
Suppose i - 60 = 4*h, -3*h - 2*i - 16 - 29 = 0. Let q be (-4)/h*36/888. Which is bigger: -1 or q?
q
Let r be 344/((-105)/(-132) + 198/(-363)). Which is smaller: r or 0.1?
0.1
Suppose -25*f - 203 - 22 = 0. Is f < 22?
True
Let a = -217 - -136. Let j = 104 + a. Let u(q) = 22*q**2 - q - 1. Let b be u(-1). Which is smaller: b or j?
b
Let p be ((-60)/42)/((-16035)/(-1785) - 9). Is p < 1087/13?
False
Let t = -325 + 325.5. Let m(u) = u**2 + u. Let b be m(1). Suppose -c - 1 = -b. Which is bigger: c or t?
c
Suppose 5*t + 40 = -5*n, t - 70*n + 74*n + 23 = 0. Is -59/33 <= t?
False
Let x be (2142/(-60))/17*8/12. Let v = -34 + 45. Let t = -12 + v. Which is smaller: t or x?
x
Let u = 2644.706 - 2645. Is u equal to -10?
False
Let h be (2/10)/((-2)/4)*(-70)/(-600740). Which is smaller: 1 or h?
h
Suppose 2*j = -17*j + 57. Suppose -j*l + 4*i + 20 = 3*i, -i - 8 = -l. Is 33/7 != l?
True
Suppose 36855*y - 36869*y - 82712 = 0. Do -5907 and y have different values?
True
Suppose 3216656 = 313*p - 1804177. Which is bigger: 16040 or p?
p
Suppose m - 6*m + 2*v + 28 = 0, -8 = -6*m - 4*v. Suppose 13*l = m*l - 9. Is l greater than or equal to -1/336?
False
Let g be (-15 - 12 - -16)*-13. Which is smaller: g or 141?
141
Let u = 148 + -139. Suppose m - 3*g - u = -20, 5*g - 11 = -2*m. Let y(f) = f**2 + 3*f - 4. Let d be y(-3). Which is smaller: d or m?
d
Let w = 523.444 - -8.156. Is w greater than 0.1?
True
Let n(q) = 2*q**2 - 17*q + 34. Suppose -31 - 68 = -11*m. Let k be n(m). Which is smaller: k or 44?
k
Let j be (-2)/24 - (2 + (-178)/6000*74). Which is bigger: j or -0.1?
j
Suppose -63 = w - l, 5*w + 458 = l + 163. Let x be 6/172*w + 2. Is -1 smaller than x?
True
Suppose -318 = -4*z + 11*o - 6*o, -389 = -5*z + 2*o. Is z equal to 2/37?
False
Let c = -8240 + 8579. Are c and 11/5 nonequal?
True
Let g = -0.483 - -5.943. Is g >= -1/5?
True
Let l = -0.05 + 0.45. Let v = l + -0.3. Let f = -4097.2 + 4122.2. Is f <= v?
False
Let y be -1 + 11*(-1 - 2). Let t be 2/(576/(-504) - 53/(-49)). Is y equal to t?
False
Suppose 8*f + 13 + 83 = 0. Let q be (-1503)/(-6)*f/(-18). Is 167 greater than q?
False
Let m = -7.2414 + -0.0586. Let a = 7.263 - 0.063. Let n = a + m. Which is bigger: 0.23 or n?
0.23
Let z = -357 + 360. Suppose -z*q + 5 = v, 1 + 4 = -3*q + v. Which is smaller: 8/11 or q?
q
Let y = 0.06857 + -0.16857. Which is bigger: 19232 or y?
19232
Let u = -10 - -5. Suppose -2 = g + i, 4*g - 98*i + 94*i - 24 = 0. Suppose g*m - 3*t = 2, 0 = -2*t + 3*t + 4. Is u != m?
False
Suppose -33*d - 5*d + 1391 - 4469 = 0. Is -22 smaller than d?
False
Suppose -4*m + m - 198 = 0. Let t be -3 - 150/m - (0 + -1). Suppose 6 = 2*f + 4*f. Is t greater than f?
False
Let j = 2175945/7 - 310231. Is j greater than 619?
False
Let n(u) = u**2 - 190*u + 1455. Let c be n(182). Which is smaller: c or -3/6077?
c
Let f be 1326/(-14) - (-2 + 48/21). Let i(j) = j**3 + 4*j**2 + 6*j + 20. Let a be i(-4). Let t be 513/f - (a - 1). Which is bigger: t or 32?
32
Let c = 164 + -164. Suppose -4*i = -2*l + 96, -2*l + 3*i = 2*i - 108. Suppose c = j + j - l. Which is smaller: 29 or j?
j
Suppose -16*k = -63*k + 1081. Are 116 and k unequal?
True
Suppose 0 = u - n + 4709 + 33, -4*u = -3*n + 18971. Which is smaller: 0.4 or u?
u
Let u = 11144 + -11143. Is u != 71/39?
True
Let j(i) = i. Let m(x) = -3*x - 22. Let p(w) = 5*j(w) + m(w). Let q(l) = -1. Let y(r) = p(r) - 3*q(r). Let a be y(10). Is -4/17 equal to a?
False
Let m = 3147.8 - 3217. Which is greater: 0.1 or m?
0.1
Let a = 8165.1 - 8165. Which is bigger: -17.78 or a?
a
Let x(l) = -49*l + 687. Let k be x(14). Let v be (1165/135)/((-12)/(-584)). Let u = 420 - v. Is k bigger than u?
True
Let o be (1 - (-178)/16) + 460 + -466. Is o <= 0?
False
Let m = -0.2 + 0.2. Let p = -242 + 127. Let x = p - -107. Which is smaller: x or m?
x
Let u(c) = -c**2 - 71*c + 241. Let r be u(3). Is r equal to 2?
False
Let b = -3718.7716 - 0.2284. Is b at least as big as -1?
False
Let x(c) = -50*c - 16. Let a(l) = 5*l + 43. Let d be a(-9). Let f be x(d). Is f at least as big as -1?
True
Let s be (-7 + 74)*(53 - 81). Is s less than -5627/3?
True
Let h(s) = s**2 + 6*s - 3. Let b be h(-7). Suppose 3*m = -m + b*n, -m - 12 = -5*n. Let z be ((-35)/(-10) + -2)*2/m. Are z and -2/181 equal?
False
Let v be ((-14220)/(-190))/9 + -10 + 2. Is 0 less than v?
True
Let u be 8145 - (11 - 33/(-8 + 11)). Which is greater: u or 8146?
8146
Let y be (-21)/2*(-3)/153. Suppose b = 3*j - 2, 4*j - 607*b + 610*b - 7 = 0. Is y >= j?
False
Let g = -3865/11 - -19336/55. Is g at most as big as 124.86?
True
Suppose 0 = -2*p - 0*l - 2*l - 12, 0 = -4*p + l + 1. Let j be ((-6)/9)/(p + 30/18). Is -3/7 greater than or equal to j?
True
Let r = -820 + 821. Which is greater: -2/3707 or r?
r
Let y = 39 - 42. Let v be 1/((-2889)/18*(-2)/y). Are 0 and v equal?
False
Let w = -12004 - -179881/15. Is w < -13?
False
Let v(g) = -g**3 - g**2 - 4*g - 5. Let f be v(5). Let p = f + 160. Let q = -23 - -7. Which is greater: p or q?
p
Suppose 1507 + 6 = 17*o. Which is smaller: o or 92?
o
Let o be (-127463031)/156 + (-2)/(-4). Let d = 816982 + o. Let c = -359/4 - d. Is -2 less than or equal to c?
True
Suppose 218*r + 306 - 53 = -35*r. Is r greater than or equal to -11/149?
False
Suppose -191*d = -114*d - 84623. Is d not equal to 1100?
True
Suppose -22*j = 33*j + 55. Let u = -28935622 - -65307701368/2257. Let z = u + -40/37. Which is smaller: z or j?
j
Let r be 5 - (-4 + (0 - 6/(-3))). Let u = -14 - -16. Suppose -2*y - u*l + 36 = -7*l, 2*y = l + 20. Which is greater: y or r?
y
Let u = 5478 + -5478.02. Is 401 >= u?
True
Let x(c) = -749*c**3 - 1. Let y be x(-1). Let d = y + -754. Which is greater: -16 or 