uppose 35*w - 10 = -y. Let f = -305/1378 + -1/106. Is w bigger than f?
False
Suppose -4*m + 1059 = -105. Let c be (-2)/(-6) - (2 + 83035/m). Let i = 287 + c. Is -1 not equal to i?
True
Let m = 10098 - 10054. Let n = 5.8 - -38. Let c = m - n. Are 6/7 and c non-equal?
True
Let r(p) = 2*p**3 + 17*p**2 + 10*p - 11. Let h(d) = 12*d + 4. Let w be h(-1). Let v be r(w). Let z = v + 26. Which is smaller: z or -2/57?
z
Suppose -r - 180 = 5232*i - 5233*i, -385 = 2*r + 3*i. Suppose 572 = -3*q - 4*h, -2*q - 52 = -2*h + 306. Is q at most as big as r?
False
Let l be 130*7/((-70)/15). Let w = 977/5 + l. Let i = 1 + -0.3. Is w equal to i?
False
Suppose -5*p - 14000 = -13*p. Suppose 16*k - 246 = -p. Let u be (k/36 + 2)/(3/(-12)). Is 3 != u?
True
Let p = -0.316 - -278.316. Let g = p - 277. Is -3/161 greater than g?
False
Let b(a) = 4*a. Let u be b(1). Suppose -3*m + 654 = 3*i, 12*i = 13*i - 2. Suppose u*k - m = -20. Is k >= 48?
True
Suppose 3*r - 15 = 193*n - 190*n, -3*r = 2*n + 10. Which is smaller: r or 4/9959?
r
Let i(c) = c**3 - 9*c**2 - 10*c + 1. Let k be (-1)/1 + 3 + 8. Let v be i(k). Let u be (2752/56)/(-8) - -6. Is v < u?
False
Suppose -23 = 15*p - 98. Suppose 7*d - 9*d - 453 = 5*m, 5*d + p*m = -1095. Which is bigger: -215 or d?
d
Let z = -3648 + 3650. Which is smaller: 23/29 or z?
23/29
Let v be -4*(-1)/9 + ((-48706)/10080 - -5). Is 0 at least as big as v?
False
Suppose -52*l - 2*p + 2984 = -50*l, 3*p + 3014 = 2*l. Which is greater: l or 1500?
1500
Let a = -409 - -4493/11. Let l be (-88)/(-66) + (-64)/12 + 4. Is a != l?
True
Suppose -8*k = 2*h - 3*k - 17, 0 = -4*h - 5*k + 29. Let j be ((-4)/12)/((-2)/h). Let u be 16/(-424) - (-2432)/11077. Which is smaller: u or j?
u
Let t be 38/(-494)*(-8)/(-286)*(-3)/12. Which is smaller: t or 0?
0
Let a be ((-24)/20)/(24/(-60))*1356/9. Is 459 > a?
True
Suppose -123*o = -127*o - 864. Let i = -1084/5 - o. Do i and 0.02 have different values?
True
Suppose 38*d - 3327 = 4197. Is 234 at least as big as d?
True
Let q = 70 - 69. Let w be 2/32*(0 + q)*5. Let o = 52 + -53. Are o and w equal?
False
Suppose -17*n = 9*n + 870 + 586. Is 24 > n?
True
Let z = 46.857 - 46.937. Let x = -0.05 - -0.45. Let q = x + 0. Which is bigger: z or q?
q
Let h = -828 - -1658. Let c be -1 - ((-2071)/h - 54/(-36)). Is c greater than or equal to -1?
True
Let f = 10148/87 - 349/3. Let z(r) = -r**2 - 21*r - 103. Let w be z(-8). Is f >= w?
False
Let a = -17281 + 17282. Which is smaller: a or -1/13274?
-1/13274
Let k be (64/(-12) + 2)*((-68136)/30 + -4). Which is greater: k or 7582?
k
Let w be -1090*(-63)/4620 - 15. Which is greater: 1 or w?
1
Let s = 80 + -140. Let y be 3*368/s*10. Is -185 bigger than y?
False
Let t be ((-64)/(-18528))/(10/(-1035)). Which is smaller: t or 1?
t
Let d(a) = 3*a - 78. Let j be d(9). Suppose -81 = -2*v + 2*p - 29, 4*p = -v + 6. Suppose y + 28 = -v. Which is smaller: y or j?
j
Let y be (-4)/(-26) - 1*2816/10192. Which is smaller: 0.6 or y?
y
Let m(a) = -5*a. Let r be m(-6). Suppose 3*d + 3*w - 93 = 0, 9*w = -2*d + 13*w + 74. Is r < d?
True
Let l be -4 + 4*3*3/6. Suppose 0 = t - 2*q - 4, l = 5*t - 4*q - 6. Let h be (138/15)/(2 + t + -3). Which is greater: h or -8?
-8
Let v be 9/(-21) - 3138/(-21). Let j = 150 - v. Is 2/147 < j?
True
Suppose 0 = n + 3*w - 452, -4*n - 18*w + 1864 = -20*w. Suppose -10*z - 3*x + n = -6*z, -2*z = -5*x - 258. Is 118 bigger than z?
False
Let b(s) = 48*s**2 - 33*s - 44*s**2 + 162 - 3*s**2. Let n be b(6). Is n at most 467?
True
Let o = -0.0109 - -44.4109. Let c = 44 - o. Let r = -697/5 - -139. Is r < c?
False
Suppose -8*b + 9*b = 5*i + 2173, 425 = -i - 3*b. Which is greater: i or -869/2?
i
Suppose 234 = 1098*g - 1099*g - 3*x, 4*g = -4*x - 880. Which is greater: -170 or g?
-170
Suppose -358 = 5*g - 8. Let o = -74 - g. Let q be (-135)/(-10) - o/(-8). Which is smaller: 11 or q?
11
Let n = -212.21 - -212. Let w = 0.31 + n. Let t = 8 - 12. Is t not equal to w?
True
Let o be 12 + -7 - (-6)/(-4)*78. Let j be 42/o*4/6. Is -0.155 less than or equal to j?
False
Let q be 88/14 + (-26)/91. Suppose -2*t - q*i = -2*i + 4, -2*i = -6. Which is smaller: t or -0.1?
t
Let b = 85239.4861 - 85236. Let j = -0.0761 + b. Which is greater: -1 or j?
j
Let p(q) = -3*q - 6. Let i be p(-9). Suppose d + 42*g - 395 = 40*g, -2*d + 3*g = -825. Suppose -d*b = -397*b - 192. Which is bigger: i or b?
b
Let h be -2 + (3 - 0) + (-2742)/(-87732)*-32. Which is greater: -0.1 or h?
h
Let t(v) = v + 1. Let w be t(-1). Let p = -1587 - -1583. Which is smaller: p or w?
p
Suppose -2*w - 91 = -5*h, 2*w + 3*h = -12 - 87. Are -37 and w unequal?
True
Suppose -63747*x + 63752*x = 0. Which is smaller: x or 12/1931?
x
Let x = 0.09123 + -0.10533. Which is smaller: -3 or x?
-3
Suppose -26*p = -9*c - 23*p, -4*c = 2*p + 10. Are 1/4488 and c unequal?
True
Let a(y) = y**3 + 10*y**2 + 22*y - 257. Let n be a(6). Which is bigger: n or 453?
453
Suppose -551*g + 554*g - 24996 = 0. Is 8331 at least g?
False
Let n = 8.49 - 4.957. Let k = -0.633 + n. Is -1/9 greater than k?
False
Suppose 0 = 4*r + r - 60. Let d = -94 + 99. Let m be d/(-10)*-4 + 10. Are m and r equal?
True
Let w = 76/9 - 398/45. Let d = 145.683 + 0.317. Let f = 145.9 - d. Which is smaller: f or w?
w
Let x(r) = -2*r - 67. Let i be x(-36). Suppose 0 = -6*m + 2*m + 5*p - 74, 0 = 2*m - i*p + 32. Which is bigger: m or -81/4?
-81/4
Let p = -1671/35 - -102414/665. Which is bigger: p or 106?
p
Let a = -20 - -20.1. Let h = 0 + a. Let o = -209/7 + 30. Is o greater than h?
True
Let a(n) = 3*n**3 + 20*n**2 - 6*n**2 - 15*n**2. Let b be a(-1). Suppose 4*i + 1 = 3*o, 5*i - 5*o - 72 = -67. Is i at most b?
True
Let d = 233.95 + -234. Let i = d + 0.15. Is -1/49 bigger than i?
False
Suppose 3*p + 0*b - 2856 = -4*b, 0 = -3*p + 2*b + 2802. Which is greater: 8456/9 or p?
p
Let a = -501 + 503. Suppose -4*x + 230 = b, -3*x + a*x - 3*b = -52. Suppose v - 44 = 13. Which is bigger: v or x?
x
Suppose -10 = 4*g - 9*g. Suppose -56 = -4*v + g*h, -4*v = 4*h + h - 84. Suppose 2*i = 3*i - 4*p + 16, -v = -4*p. Which is smaller: i or 1/14?
i
Let d = -1498 + 1472. Let t = -9 + -12. Which is smaller: t or d?
d
Let q(l) = -17*l + 4. Let v be q(-3). Suppose 4*g = -6*b + 10*b - 56, 3*g + 4*b + 21 = 0. Let m be (-10)/v + 306/g. Which is smaller: -0.1 or m?
m
Let f(z) = -49*z**2 - 97*z - 97. Let x be f(-1). Which is smaller: x or 14/9?
x
Let u be (4/40*-2)/((-1)/5). Suppose 0 = -0*y + 5*y - 45. Let h = u + y. Is 10 <= h?
True
Let z(o) = 5*o**2 + 10. Let d be z(-3). Let x = -59 + d. Let c be (-27)/(-33) - x/22. Which is smaller: -1/8 or c?
-1/8
Let d be (-12)/114 - 13262/(-139707). Which is smaller: -1 or d?
-1
Let l = -162485/54 - -3009. Are -27 and l non-equal?
True
Let r be ((-4)/(-18))/(8 + (-7160)/900). Is r at least as big as 201/32?
False
Suppose -1 - 99 = 5*t. Let d be (2290/(-116))/(55/t + 3). Let p = d - -79. Is p < 1?
True
Let m(y) = -y**3 + 17*y**2 - 23*y + 392. Let q be m(17). Let v = -7071 - -1845529/261. Is q > v?
True
Let f = -46038 - -40693. Which is bigger: f or 3?
3
Let m = -16404 + 16358. Let x = -0.7 - -0.8. Which is greater: m or x?
x
Let g = -6542 + 14097/2. Which is greater: 507 or g?
507
Let s be 3220/200*10/36. Let l = -17/4 + s. Which is greater: l or -2/7?
l
Let o be 10/2 + -143 + 73. Which is smaller: o or -66?
-66
Let b = -5381.93 - -5384. Which is bigger: 3 or b?
3
Let c(m) = 29*m**2 - 4*m + 3. Let b be c(-6). Let l(w) = -21*w - 17. Let z be l(-1). Let p be (b/(-42))/((-3)/z). Is p greater than 34?
False
Let q = -19.67 - -18.67. Let o be 2/((2 - 0)/2). Let t be (-51)/(-1 - 1/o). Is q != t?
True
Suppose 0 = -2*p - 164 + 172. Let a be (5/p)/(5 - 152/32). Which is greater: a or 11?
11
Let c be -1 + 263294/204806 - (-39)/(5187/(-38)). Is c not equal to 1?
True
Suppose 5 + 31 = 3*l. Suppose l*m - 96 = 6*m. Suppose -4*k + m = -6*d + 2*d, -2*d - 4*k - 2 = 0. Which is bigger: -14/5 or d?
-14/5
Let q(o) = o**2 - o - 2. Let m be q(2). Suppose -193*z = -12*z. Suppose -3*c + 2 = -2*i - m*c, i + 2*c + 1 = z. Is 2/13 at most as big as i?
False
Let h be (-14 + 4)*(1 - 0). Let m be 8/(-3)*75/h. Let u(g) = -g**3 + 12*g**2 - g + 11. Let p be u(12). Is m <= p?
False
Suppose 25*r - 20*r - 1075 = -5*n, 0 = -3*r - 5*n + 633. Which is smaller: 230 or r?
r
Suppose 4*j + 390 = 5*p + 6*j, -2*p + j + 147 = 0. Suppose 0 = -m - p + 80. Sup