257. Suppose l = -7*a - 282. Are -76 and a non-equal?
True
Let t = 2 - -18. Let l = t + -19.46. Let w = l + 0.46. Which is smaller: -0.01 or w?
-0.01
Let y(k) = 7*k + 8. Let i be y(-6). Let o = -4382 + 4354. Is i not equal to o?
True
Let r = 2482 - 2479. Let y be 18/(-30) + (-26)/(-10). Is r at least y?
True
Let q be (-126)/(-496) - ((-35)/20 - -2). Let u be (-27)/(-30) + (-4)/(-40). Which is smaller: q or u?
q
Let p = -33 - -31. Let l = p + 23. Suppose s - 4*s = l. Is s bigger than -6?
False
Let m = 1181 + -1180.9. Which is smaller: -3/233 or m?
-3/233
Suppose 3*h - 8*h - z = 320, 2*h - 4*z = -128. Let m = 180 - 182. Let v be (-2)/m + (-1)/((-4)/h). Is -12 at least as big as v?
True
Suppose 117*t + 103932 = -12834. Is -3 bigger than t?
True
Let v = -3 + 3. Let g = 198 + -199.97. Let y = 1.87 + g. Which is bigger: y or v?
v
Let r = 2.09247 + -2.0739. Which is bigger: r or -0.4?
r
Let c(q) = 10*q**2 + 838*q - 190. Let d be c(-84). Let y = -49 - -28. Are d and y equal?
False
Suppose 16*o - 16930 = 5*a, -3*o = -7*o - 4*a + 4264. Are o and 4 equal?
False
Let t = -285/26 - 13969/182. Let m = t + 88. Which is bigger: -0.054 or m?
m
Let l = 3831 - 5311. Is 1/3 greater than l?
True
Let t(z) = -45*z + 1815. Let l be t(41). Are 44/7 and l non-equal?
True
Let g = -19 + 19.1. Let a be (8/(-24))/((-1)/(-9)). Let o be (-88)/36*a/(-2). Is g bigger than o?
True
Let x be ((-4)/((-12)/(-6)))/(4/(-6)). Suppose 0 = x*p + 2*g - 88 - 171, -g - 360 = -4*p. Which is bigger: p or 90?
90
Let y = -21351 - -18132. Which is smaller: -0.1 or y?
y
Let x = -85 + 194. Let n = x - 92. Is 15 at most as big as n?
True
Let n(v) = 33*v. Let u be n(-1). Let q = u - -106. Which is greater: q or 71?
q
Suppose 2*b = -0*b - 2*r + 48, -4*r - 54 = -2*b. Let k be (-514)/(-10) + 15/b. Is 0 <= k?
True
Let i be (1 - -1)/(38*(-22)/220). Is -17 at most as big as i?
True
Let h = 7534 - -1866. Is h at most as big as -2/3?
False
Let u(j) be the first derivative of j**3/3 - j**2/2 - 3*j - 2. Let t be u(-4). Let z be 15 + 1*7 + (-6 - -7)*-3. Which is greater: t or z?
z
Let j = 42432 + -42432. Which is bigger: 1/20294 or j?
1/20294
Let q(o) = -o**3 - 42*o**2 - 206*o - 33. Let w be q(-5). Is 145/2 at most as big as w?
False
Let s = 446/411 - 10742872/9900579. Which is greater: s or -1?
s
Suppose 15147 + 42459 = -53*o + 5825. Which is greater: o or 1?
1
Let d = 1.0392 + -1.1392. Is d equal to -3.96?
False
Suppose -75*p + 74*p + 469 = -3*i, -5*i - 3*p - 777 = 0. Is i less than 15?
True
Suppose g = 3*i + 10, -6*g + 2*i + 20 = -2*g. Suppose 3*k - 4 = 2*w - 1, -2*k + 15 = 3*w. Let l be (-10)/(-1 - (4 - (w - 0))). Is g <= l?
True
Let x be 4/1 + (2 - 2). Suppose x*g - 833 = -825. Which is bigger: -19 or g?
g
Let v = 74/5 - 671/45. Let p = 108/5 + -653/30. Is v bigger than p?
True
Let x = -1970929/1052 + -327/263. Is x at most -1875?
False
Let q be (-8*(-5)/(-30))/((-2)/(-24)). Let l be 2155/(-280) - 2/q. Do l and -9 have different values?
True
Let u = 0.35 + 0.6. Let n = u + -0.85. Let i = -0.081 + 1.981. Which is greater: n or i?
i
Let x(l) = l**2 + 13*l + 53. Let w be x(-11). Suppose 28 = 3*b + w. Which is bigger: 2/99 or b?
2/99
Let h(p) = 32*p**2 + 19*p + 71. Let i be h(-4). Suppose 0 = 30*k - 17*k - i. Is 4 at least as big as k?
False
Let z = -3542 - -3174. Is -366 >= z?
True
Let q be (3 - 0) + 54441/(-20059). Let z = q - -16259729/762242. Let d = -280/13 + z. Are d and 1 non-equal?
True
Suppose -2*z - 4*c + 5*c = 3, -3*c - 24 = 5*z. Let y = 165924 + -165852. Is z at most y?
True
Let k = 312.385 - -0.615. Let f = k + -278. Is f at least 2?
True
Let z be (4/5 + -3 + 3)*15. Let x be z + -12 + (-32)/5. Is x smaller than -2/5?
True
Let j be ((-8)/2 + (0 - -3))*1. Let v(m) = -15*m**3 + m**2 + 3*m + 2. Let t be v(j). Let p be 43/t + (7 + -2 - 8). Which is bigger: 0 or p?
0
Let n(a) = -a**2 + 19*a - 34. Suppose -2*p = 7*p - 153. Let j be n(p). Which is bigger: -6/23 or j?
j
Let l be (-3)/(-8)*(-3736)/(-42)*12634. Let s = -422748 + l. Let f = s + 1307. Which is bigger: f or -6?
-6
Let w be -6 + 17 + -12 + ((-245)/(-16) - 1). Is w greater than or equal to 14?
False
Let q = 4.1 - 4. Let j = 0.8593 - 33.8593. Is j <= q?
True
Let q be 188/(-46) - (-94)/1081 - 637. Is q < -3847/6?
False
Let k = -2/5149 + 10308/25745. Suppose -l + 12 = 2*l. Suppose l*d = 2*d + 4. Which is smaller: d or k?
k
Let y(i) = i**2 - 9*i - 4. Let c be y(10). Let l = c - 5. Let g = -747/69955 + 7/2469. Is l greater than g?
True
Let g = 5.95 + -6.95. Which is greater: g or 16/529?
16/529
Let p be 0/(3*8/(-12)). Let i(r) = -r**3 - r**2 + 2*r - 45. Let u be i(p). Let n = u - -51. Is 1 != n?
True
Let q be ((-52)/(-208))/(1*9/(-24)). Is q greater than -389/2?
True
Let a(m) = -m**2 + 23*m - 92. Let c be a(18). Let u be c/(-7) + -4 + 12712/98. Are 128 and u unequal?
True
Let o = -8974 + 71771/8. Let w = 8 - 7. Which is smaller: o or w?
o
Let z be (15/(-25))/((-1)/5). Suppose a = 51 - 49. Suppose -5*f + z*u + 231 = 0, 6*f - a*u - 184 = 2*f. Which is smaller: f or 46?
f
Let n = -47 + -122. Let d = n + 168. Is 4/19 at least d?
True
Let d = 85718 + -37458744/437. Which is smaller: 1 or d?
d
Let p be (-10 - 2413/(-228))/((-3)/(-4)). Is p greater than or equal to 2?
False
Let f be ((-1)/5)/(5/35). Suppose 5*p - 551 = -1671. Let i = p + 223. Is f greater than i?
False
Suppose k + 39 = 2*k. Let m = 163690 - 163652. Which is greater: m or k?
k
Let n be 0 + -3*(5 - 16/3). Let x = 757/10 - 149/2. Do x and n have different values?
True
Let j be 96273/(-38502) + (-75)/(-30). Which is greater: j or 0?
0
Let r = 0.081 + 419.919. Let c = -422 + r. Is 9/5 < c?
False
Let f = -1540 - -1184. Is f > -355?
False
Let i be 18/(-450) - 216/(-7275). Is 9/5 greater than i?
True
Let l = -69403/3 + 23135. Which is smaller: l or -1/13?
-1/13
Suppose 78 = -5*z - 5*s - 1262, -1339 = 5*z + 4*s. Do -256 and z have different values?
True
Suppose -5*r - 5*c = 30, -6*c = -4*r - c + 21. Is r at least -2/1721?
False
Suppose p = -2, -p + 543 - 545 = 3*u. Which is smaller: u or 3/7136?
u
Let n be ((-56)/16 - 10/(-4))*-19. Let t be 2/(-6) - (-14)/(-3). Let r = t + n. Is r <= 14?
True
Let b(m) = -10*m**2 - 111*m + 47. Let f be b(-14). Let h be (8 - 10)/((-2)/(-360)). Which is smaller: h or f?
h
Let i(m) be the first derivative of -7*m**4/2 - m**3/3 - 3*m**2/2 - 3*m - 32. Let c be i(-1). Let v be 53/c + 52/(-13). Which is smaller: v or 0.3?
v
Let l = 0.27544 + -50.14644. Let w = 50 + l. Which is smaller: 1/3 or w?
w
Let x = 6423 - 6422.8. Which is smaller: 1618 or x?
x
Let r = 2.15 + -1.8. Let k = r + 1.65. Which is greater: -0.06 or k?
k
Let y = 100 + -418. Let z = -203 - y. Which is bigger: z or -2?
z
Suppose 10*d - 7*d = h + 7, 5*d + 2*h - 8 = 0. Suppose -d*b - 3*b - 3*l = -1, 0 = -b - 3*l + 5. Are -3/2 and b unequal?
True
Let d be (9/24)/((-1)/2) + 3/(-12). Let m = 227/5 + -55383/1220. Which is smaller: d or m?
d
Let n be (3 + -1)/(6/(-9)). Let m be (2 - (1 - 0))/(18/54). Is m smaller than n?
False
Suppose 5*u - 13 = -0*j - j, u + 5*j = -7. Suppose -5*o + 39 = f, 3*f - 141 = -u*o - 0*o. Suppose -3*c = 2*x - 6*x - f, 5*c = x + 59. Is c less than 10?
False
Let w be 7 - ((-2 - (-2 + 0)) + 2). Suppose -5*n + 7*k = 2*k + 15, -w*n + 1 = 3*k. Let d be (n - -3)*3/(-6). Is -1/8 at most d?
False
Let a = 66 - -293. Let x = a + -354. Is x != -0.1?
True
Let i = 176 + -198. Let f be ((-82)/(-5))/(i/(-55)). Which is greater: 460/11 or f?
460/11
Let w = -50 + 55. Let k = -7/64 - 7787/192. Let p = k - -41. Which is smaller: w or p?
p
Suppose 10023 = -4*j - 5*u, -2*j + 55*u - 54*u = 4987. Which is bigger: j or -2496?
-2496
Let c(m) = -1247*m - 3080. Let u be c(16). Is -23032 at least u?
True
Let q(j) = 75*j - 32. Let y be q(-10). Let u = 4.6 - 4.6. Which is smaller: u or y?
y
Let i(h) = -h**2 + 28*h + 78. Let f be i(22). Is 202 > f?
False
Let z = 69 - 44. Suppose 54 = 12*q - 3*q. Suppose -17 = -q*f + z. Is 7 at most as big as f?
True
Let z be 66/(-1)*2/(-28). Suppose 0 = o + g + 3, 0 = 5*o - 39*g + 36*g - 57. Are z and o equal?
False
Let z(r) = -r**3 + 4*r**2 + 10*r - 40. Let l = 137 - 134. Let f be z(l). Which is greater: -2/53 or f?
-2/53
Suppose 7*q - 71 + 2412 = -347. Is q at most -384?
True
Suppose 3384*a - 1739*a = 1713*a. Let y = 11072 + -7916478/715. Which is smaller: y or a?
a
Let p be (-80)/