 1. Let b be q(-4). Is b < t?
False
Let g = -98174/585 - -2516/15. Which is smaller: g or 8?
g
Suppose -3*o - r - 78 = 0, o - 2*o - 5*r = 40. Let b be o/(-9) - ((-38)/9 - -4). Let v be 10/88*b + (-1)/4. Is v >= 0?
True
Suppose -76*g + 73*g - 18 = 0. Let o be -10*(-7 + 1)/g. Is o equal to -10?
True
Let s(f) = f**2 + 26*f + 107. Let p be s(-21). Let k be (30/870)/(p/4). Is k less than 0?
False
Let a = 8991 + -44953/5. Is a < 52/15?
True
Let a = 5.0567 + 0.0533. Let x = a + -4.81. Is 44 bigger than x?
True
Let i be 1 - 2 - ((35 - 19) + -18). Which is smaller: -1/361 or i?
-1/361
Let r = -194 + 545. Suppose -5*w - r = -321. Which is smaller: -9 or w?
-9
Let v = -462 + 480. Let y be (-4 - 90/(-22))/(1/v). Which is smaller: 3 or y?
y
Let i be (((-315)/20)/7)/(5/(-20)). Suppose 13*h = 16*h + i. Is 1 greater than or equal to h?
True
Let p = 3.04 + -14.04. Let s = 39.47 + -39.4. Which is smaller: s or p?
p
Let d = 0.04815 + 292.95185. Which is greater: d or 11?
d
Let r be (2/(-4)*9)/((-21)/(-560)). Let f = 121 + r. Is f greater than 1/142?
True
Suppose 209*z = 408*z + 398. Is -81/148 bigger than z?
True
Let a be (3 - -502) + 3 + (-36)/12. Let z = 563 - a. Which is bigger: z or 57?
z
Let m(c) = -14*c + 10. Suppose 4*t - 22 = -5*l, 4*l - 2*t - 16 - 12 = 0. Let y be m(l). Which is smaller: -2 or y?
y
Suppose -10*x = 2*x - 156. Let p(f) = f**3 - 9*f**2 - 12*f + 23. Let z be p(10). Suppose 73 = 5*d + z*v, d = 2*d - 4*v - 10. Which is bigger: x or d?
d
Let u = 9.495 + -9.495. Is -14/59 >= u?
False
Let c = 15806 - 15875. Is c > -47?
False
Suppose -11*z + 4*z = -42. Suppose z*o = -16*o - 682. Which is smaller: o or -26?
o
Let t(q) = q**3 + 2*q**2 - 2*q + 6. Let d be t(-3). Let m be (-1 - (-2)/d)*(-4)/110. Do 1 and m have the same value?
False
Let u be (1763/4)/(8/(-32)). Is -1762 smaller than u?
False
Let k = -338/69 + 14593/2990. Which is bigger: 1 or k?
1
Let m = -13 - -13.74. Let q = 0.04 - m. Let z = 44 + -307/7. Is q greater than z?
False
Suppose 181 + 99 = 8*f. Let y = f + -42. Let u = -259/2 - -122. Is u >= y?
False
Let c = -0.835 + 0.9. Let g = 2369 - 2369.935. Let l = c - g. Does -0.03 = l?
False
Let m = -4963/2 + 2448. Is m at most 0.06?
True
Let t = -11905 + 6991. Is t > -4914?
False
Suppose 24 = 410*u - 386. Let i = -41/390 - -1/15. Which is greater: u or i?
u
Suppose -708 = -5*h + 3*h - t, 0 = 5*t - 20. Suppose h = 5*j + 3*n, -2*j + 3*n + 192 = j. Is j != 66?
True
Let j = 5169 - 5172.7. Which is smaller: j or 2/191?
j
Let w = 147 - 743/5. Let v = -2196 - -2194. Which is bigger: w or v?
w
Let q = -151/690 - -6/115. Suppose 6*p = p - 180. Let d be (p/168)/((-1)/(-2)). Is d greater than or equal to q?
False
Let t(f) = f. Let w(c) = -2*c - 22. Let b(m) = -3*t(m) + w(m). Let z be (4 + (-110)/15)/((-2)/(-6)). Let k be b(z). Which is bigger: k or -1?
k
Let v be 2/5 + 2185/475. Suppose -10 = -5*y, v*l - 4*y + 4 = -4. Are 3/34 and l non-equal?
True
Let o(g) = 3*g + 19. Let f be o(-7). Let w be f*(11/(-2) + 6). Is -1/61 equal to w?
False
Suppose 34*h - 10*h + 48 = 0. Let n be h/(-114)*-3*2/(-44). Which is smaller: -1 or n?
-1
Let t = -2.843 + 4.843. Let x be (-3 + 4)/((-3)/(-6)). Is x > t?
False
Let b be (45/(-6))/(-3*3/12). Suppose -20*m = -b*m + 120. Suppose -3 = u - 0. Is m not equal to u?
True
Let j(s) = -s + 7. Let w be j(6). Suppose -3*v - 3*y + 5*y - 397 = 0, -v - 109 = 4*y. Let d = -128 - v. Are d and w nonequal?
False
Let a = 54 + -38. Let v be (180/(-144))/((-1)/a). Let d be 3/(-2) - 10/v. Which is greater: d or -0.9?
-0.9
Let q be ((3 - 1)/(-8))/((-1)/(-16)*-4). Which is greater: 1/1671 or q?
q
Let f = -334 - -229. Let h be 2/(-12)*(-3500)/f. Which is smaller: h or -6?
-6
Let y(f) = 18*f**2 - 11*f - 40. Let w be y(-5). Suppose -5*j - c - w = -2*c, -372 = 4*j - 5*c. Which is greater: j or -90?
-90
Suppose -108*x + 17731 = 7147. Is 111 less than x?
False
Let q = 18275 - 17297.1. Let y = q + -970.973. Let f = y + 0.073. Do -2/5 and f have different values?
True
Let o be (-9 + (-424)/(-48))*318/(-14). Is o greater than or equal to 4?
False
Suppose -6*a + o = -4*a - 272, o + 544 = 4*a. Let v be -1*(-1 + -136) - (22 + -22). Which is greater: v or a?
v
Let h(u) = 73*u - 67. Let f(a) = a**2 + 293*a - 270. Let s(c) = -2*f(c) + 9*h(c). Let g be s(34). Is g greater than or equal to 39?
True
Let u be (14/6)/(((-35)/30)/7). Let v be 1124/(-14) - (-8 + (-108)/u). Is v at least as big as -80?
True
Let b be 1392/88 + -16 - (-1)/((-33)/(-138)). Which is smaller: 29/7 or b?
b
Let d be (1/2)/(2*3/156). Let u be (14 - d)*(2 - 422/214). Which is smaller: u or -1?
-1
Suppose d = -c + 8, -3*c + 4*c + 5*d - 28 = 0. Suppose -5*p - 9 = -c*z, 0*p + 2*p + 15 = 5*z. Are p and -5/8 non-equal?
True
Suppose 596 = y + 591. Suppose -y*i = 8*f - 9*f, i - 3*f - 14 = 0. Is i equal to -17/23?
False
Let h = -352 - -355. Suppose 12 = -4*n - 4*s, -n + h*s + 6 = -3. Which is smaller: 94 or n?
n
Let y = 3502 - 3943. Which is greater: -444 or y?
y
Suppose 0 = 3*v - 6, -3*v + 0 + 22 = -b. Let o = -12 - b. Let z = o + -13. Which is greater: -2 or z?
-2
Let i = -25980/31 - -838. Let j = 55544/19 + -2924. Let c = 29/76 + j. Which is smaller: i or c?
c
Let u = -171773 + 171646. Let i(t) = -13*t**2 + 3*t - 2. Let n be i(-3). Is u less than n?
False
Let w = 795 + -1324. Let f = 681 + w. Which is smaller: f or 0.3?
0.3
Let v be 4/(-14) + (-2)/(-7). Let i be (-24)/(-4) - ((-4860)/(-129))/6. Which is greater: v or i?
v
Let a = -13414 - -13404. Which is smaller: -355/39 or a?
a
Suppose -318 = -15*z - 843. Suppose -a - 9 - 18 = -2*x, 3*a + 4*x = -131. Which is smaller: a or z?
a
Let b = -36378 + 36592.043. Let n = -214 + b. Which is greater: n or -3?
n
Let o = -3765 - -5334. Which is greater: 3 or o?
o
Suppose -57*o - 1513 = 1052. Let w be -121*(o/(-27) + (-8)/6). Is w at most -40?
True
Suppose -309 = 2*y - 384*s + 385*s, 2*s = 3*y + 439. Is -105 at most y?
False
Let r = 39 + -39. Suppose m + 17 = -4*s, r*m + 13 = -s - 2*m. Let o = s - -2. Which is greater: o or 1/23?
1/23
Let u be 29/(-3828)*-2*(-8093)/2. Let k = -45/44 + u. Is -62 > k?
True
Let t be (40 - 42)/(4/18). Let u be (-2607)/t + 2 - (-5)/15. Is 293 > u?
True
Suppose -16*f - 92 = -524. Suppose 31*r + f = 40*r. Which is greater: 11 or r?
11
Suppose 75 = -87*z + 82*z. Let w = -3 - -2.1. Let x = 0.8 + w. Which is smaller: z or x?
z
Suppose -45358 + 6496 = 14*q - 48*q. Which is bigger: 4577/4 or q?
4577/4
Let m be 0/(11 - 7) - (-7 + 3). Let h be 4*(-2)/(-8)*-91. Let j be h/(-78)*m/161. Which is bigger: -1 or j?
j
Let l be (55608/3708 + -15)/(1 + (-778)/12). Is l greater than or equal to 0?
True
Let x = -25156 + 25155. Are -0.412 and x equal?
False
Let b = -246.027 - -0.027. Let i = -245.82 - b. Are -1/3 and i equal?
False
Let i(d) = -d**2 + 6*d - 5. Let g be i(5). Let u be (-6456)/3766 + (-1000)/(-567). Which is greater: u or g?
u
Let z = -1299 + 442. Let y = z - -26569/31. Let d(k) = k - 5. Let b be d(6). Is b >= y?
True
Let t be (69/(-25001))/(-3 + 2). Does t = 1?
False
Let g be ((-2)/(-4))/((-5)/1820). Let n = g - -182. Let t = -8 + -1. Which is greater: t or n?
n
Suppose -2*j - 2656 = -10*j. Suppose -j = -3*i - 5*w - 1062, 4*i = 4*w - 920. Which is bigger: -236 or i?
i
Suppose -2*w - 2 - 4 = 0. Let t(m) be the first derivative of m**4/4 - m**3/3 + 3*m**2/2 - m + 12. Let r be t(0). Which is smaller: w or r?
w
Let u = 54.059 - 0.059. Let d = u + -53.98. Is d >= -15?
True
Let q be 998/128*-4 + 28. Suppose 5 = -2*l - 1. Which is smaller: l or q?
q
Let t(o) = 59*o - 2037. Let g be t(31). Which is greater: -200 or g?
-200
Let k(x) = -x**2 - 16*x - 62. Let a be k(-11). Suppose 0*p - 1 = -w + 3*p, w + 23 = -5*p. Let h = a + w. Which is greater: h or -16?
h
Let f = 1 - 2. Let a be (1456/(-39))/(-8)*6/1. Let k be ((-3)/144)/(14/a). Are f and k unequal?
True
Let v = 55.1 - 42.1. Let c = 0.007 + -25.007. Let t = c - -27. Which is greater: v or t?
v
Let s be (-11*(-102)/187)/((-2)/1). Which is smaller: s or 358?
s
Let t = 20/969 + 2444/6783. Let q be (-1)/(-1 - -2)*1. Which is bigger: q or t?
t
Let t be 3*1/1 - (-220 - -2). Let x = -136 + t. Let r = -59 + x. Which is smaller: 25 or r?
25
Let c = 177240 - 177974.105. Let h = 734 + c. Is h equal to -4?
False
Let y be 3/(-6)*46232/336. Let x = 373/12 + y. Which is smaller: -37 or x?
x
Let m(a) = a**3 -