. Are k and 0.1 equal?
False
Let b be 15/20 + (-8211)/(-28). Let r = 262 - b. Let y = 3 + -3. Which is smaller: r or y?
r
Let h = 173 + -347/2. Let j = 19 - 16. Which is bigger: h or j?
j
Let b = 4056 - 4067. Which is smaller: b or 1?
b
Suppose -110 = 10*g - 220. Suppose 3*x = g*x - 576. Which is smaller: 5 or x?
5
Suppose 0 = 16*u - 4017 + 1505. Let l = u - 160. Which is smaller: l or 0?
l
Suppose 0 = 2*f - 11 + 1. Suppose 10 = -f*v, 5*v + 22 = m + m. Let n be (-4)/1 - (m - 9). Do -4/17 and n have different values?
True
Let s be ((-24)/33)/(0 - -2). Let n = -91.56 + 92.56. Which is smaller: n or s?
s
Let v be -674 + 662 + (0 - 3*-4). Is v at most as big as 7/912?
True
Let j = 20138 - 210059477/10431. Are -1 and j equal?
False
Let v = 3.8 + -1.8. Let g = 0.137 - -124.863. Let x = -124.9 + g. Is v bigger than x?
True
Let f = -0.096 + -0.504. Let y = -2316 + 2320. Which is bigger: f or y?
y
Let p be (-2)/11*(6 - 5133). Let i = -924 + p. Is i not equal to 8?
True
Let s(h) = h**2 + 6*h - 5. Let c be s(-4). Let p be 5/((-156)/(-1794) - (-114)/(-253)). Is p > c?
False
Suppose 30*h - 11*h = -19. Let l be (-3333)/(-44) - (-1)/4. Suppose 6*t - 10*t - l = 0. Is h at least t?
True
Let d be 20/6 + (-46 - -6)/10. Is -2/17 greater than d?
True
Let p = -0.194 - 0.206. Let l = -1.3 + 4.3. Which is bigger: l or p?
l
Let d(x) = -13*x**2 + 12*x + 10. Let u(h) = 37*h**2 - 35*h - 31. Let p(b) = 17*d(b) + 6*u(b). Let v be p(8). Is v >= -3/136?
True
Let l be (201/(-1005))/(0 - 1). Let y = 9 - 3. Is y less than or equal to l?
False
Let b = 2.524 - 2.5. Let j = 53.024 - b. Let s = -0.0206 - -1.0206. Is s greater than or equal to j?
False
Let v = 1/91 + -191/819. Let n = 0.4495 - 0.0355. Let k = n - -0.586. Which is smaller: v or k?
v
Let m(a) = -a**3 - 13*a**2 - 2*a + 32. Let o be m(0). Which is smaller: o or 42?
o
Let c = 6293/2 - 2506. Which is smaller: c or 642?
c
Let n(d) = 11*d + 25 - d**2 + 10 - 47*d + 81. Let m be n(-39). Let y = 6/5 - 7/5. Which is greater: y or m?
y
Let f be 35/((-1750)/120)*20/6. Let i be -6 - (-2 + f + 4). Is i >= 278?
False
Let m(u) = 70*u + 6810. Let t be m(-99). Which is greater: t or -66?
-66
Suppose 0 = 4*w + 28*f - 27*f - 117, 3*w - 90 = -3*f. Which is smaller: w or -2?
-2
Let o(l) = -l**2 - 15*l + 16. Let p be o(-16). Let z = -187 - -7292/39. Is z >= p?
False
Let b = 102925/9957 - 12/3319. Suppose 4*l = 8*l + 32. Let u = 17 + l. Are u and b equal?
False
Let d(t) = -123*t - 124. Let k be d(-1). Which is greater: k or -7/38?
-7/38
Let a be (-44)/(-4) - (-3 + (-1730828)/(-123629)). Which is bigger: a or 0?
0
Let g = 9426 - 2026586/215. Which is greater: 3 or g?
3
Let p(q) = 2*q**2 + 39*q + 22. Suppose -19*k + 14*k = 10. Let s(o) = o**2 + 19*o + 11. Let c(i) = k*p(i) + 5*s(i). Let h be c(-14). Is h <= 1?
True
Let a = 6730 + -6728.94. Which is smaller: a or 0.2?
0.2
Suppose -8*w - 41103 = 39749 - 17972. Do 0 and w have the same value?
False
Let t(d) = 4*d**3 + 6*d**2 - 5. Let g(v) = -3*v**3 - 4*v**2 + 3. Let k(q) = -8*g(q) - 5*t(q). Let o be k(-2). Let a = 1195109 - 1195131. Is o < a?
True
Let d = -7 - 2. Suppose -8*j - 116 = -92. Let g be (j/d)/(4/12). Which is greater: -2/79 or g?
g
Let f = -4.105 + 3.614. Is f less than 2?
True
Let h be (-14)/(-8771)*((-845)/170 - (-35)/7). Is h > 0?
True
Let m be ((-2)/8)/(5/(-60)). Let d be (m/(-5))/((-3)/210). Is d greater than or equal to 43?
False
Let t be ((-306111)/(-61221) - 6) + -3 + 4. Which is bigger: t or 0?
t
Let x = -3217/126 + 230/9. Let j be ((-1)/117)/(5 + 898/(-174)). Let i = x + j. Which is smaller: i or -0.2?
-0.2
Let i = -67 - -24. Let a = i + 71. Suppose s - 26 = 4*m, a = -5*m + 8. Is 10 not equal to s?
False
Suppose 648*f + 1469 = 535*f. Suppose 0*z + 15 = 3*z. Suppose 0 = -z*x - 58 - 12. Is f at most as big as x?
False
Let g = -0.5946 - -6.5946. Is g less than 21/5?
False
Let i be (-292765)/(-300) + 3 - (-4 + (-124)/(-30)). Is i equal to 978?
False
Let c be (9*(-1)/(-2))/((-4)/(-88)). Let s be ((-110)/275 + (-499)/15)*-3. Which is smaller: s or c?
c
Let f(j) = 5*j**2 + 2*j + 1. Let g be 51/(-68) + 2/(-8). Let q be f(g). Let l = q - -1. Which is greater: 1 or l?
l
Let z = -4.564 - -3.564. Is z > 4605?
False
Let b be (13 - 15665/(-52)) + 1/(-4). Suppose 1 = 3*o - 5. Suppose b = 13*f - 18*f - 2*l, 4 = -o*l. Which is smaller: f or -64?
-64
Suppose -13*j - 38 = 170. Which is smaller: -290/17 or j?
-290/17
Let s be -15*(-2 - 105/(-52)). Let l = s - -311/988. Let o be ((-15)/8 - -2)*(-2928)/(-366). Do l and o have the same value?
False
Let q = -58955/7 + 8422. Let j be (-3 - 0 - -4) + 3. Suppose -j*i - 4 = -4*n, -5*i - 5 = 3*n - 4*n. Which is smaller: q or i?
i
Let p = -2 + 2. Let z = -921 + 639. Let w = 3107/11 + z. Which is bigger: p or w?
w
Let v = -15455 + 30522. Do 15068 and v have the same value?
False
Let q = 32 - -10. Let u = -41 + q. Let a = 25 + -25.32. Is u at least a?
True
Let i = 383040 + -94610742/247. Is 0 != i?
True
Let f be -2 - (-4 + (-3)/(-9)*9). Let k = 1208/9 + -134. Which is smaller: k or f?
f
Let v = 40215 + -10093940/251. Are v and -1 unequal?
True
Suppose -15*u - 25*u + 5796 = -33*u. Is u greater than 827?
True
Let f = -547/68419 - 9/277. Which is smaller: -1 or f?
-1
Let h = 324 - 201. Let z = 215 - h. Is 92 at least as big as z?
True
Suppose 3*g - 3*q - 15 = 0, 6 = 4*g - 3*q - 12. Suppose 0 = 2*x - b - 156, x - 4*x - 2*b + 248 = 0. Suppose 4*p = -u - 28, x = -2*u - 5*p + g*p. Is u < -0.1?
True
Suppose -322 = -10*x - 402. Is x not equal to -8?
False
Let k be (-600)/1650 - (-22)/(-2). Which is greater: -11 or k?
-11
Suppose -3761*h = -3782*h + 327432. Which is bigger: h or 15591?
h
Let i = 360 + -330. Suppose -112 = i*k + 98. Which is bigger: k or -9?
k
Let l(f) = 2*f**2 + 8*f - 6. Let r be l(-6). Let p(u) = -5*u + 27. Let d be p(r). Let a = d + 65. Which is smaller: a or -0.02?
-0.02
Let d(i) = -45*i - 1363. Let b be d(45). Is -3386 >= b?
True
Let v = -17.3 + -45.8. Let s = 64 + v. Let y = 25.95 - 26. Does y = s?
False
Let q(v) = -3409*v - 455. Let n be q(-1). Are n and 2956 nonequal?
True
Let a = 2915 + -2891. Is a smaller than 47?
True
Let d be (-422)/(-5)*385/2772. Is 13 at least d?
True
Let k be ((-8)/15780*-3)/((-1)/(-15)). Let v = 2376 + -2377. Which is bigger: k or v?
k
Let w be 2 - (121/(-22))/((-3)/54). Let k = 98 + w. Is 22/21 < k?
False
Suppose -16*d + 12*d = -24. Suppose 2*t = 4*l - 12, 3*t + l = 4*t + d. Are -27/4 and t equal?
False
Suppose 150 = -5*u + 5*f, 0 = -4*u - 5*f + 2 - 86. Is u bigger than -22?
False
Let r be (-2958)/1305 + (-26)/(-10). Which is greater: 303/8 or r?
303/8
Let u = 26.8096 + -27.8. Let c = u - 0.0096. Which is smaller: -4/15 or c?
c
Suppose 5*x - 5*k = -10*k - 20, 0 = -2*x - 4*k - 16. Which is smaller: x or -13/9?
-13/9
Let m = 469 - 467.9. Are -245 and m non-equal?
True
Let f = -105 + 109. Let a be (3 - 2) + (-2)/f*2. Suppose a*h - 4*h = 32. Which is greater: h or 2?
2
Let v be 2951/(-7365) - 6/(-15). Let w = -28481/4419 - v. Is w smaller than -7?
False
Let p = 0.2077 - -0.0353. Let h = p - 1.813. Let a = h - -0.57. Is a bigger than 0?
False
Let x = -18.07 + 28.67. Is x bigger than 24?
False
Let a = -5704 - 927. Is 0.1 at most a?
False
Let b(p) = p**3 - 8*p**2 + 17*p. Let k be b(5). Suppose -4*f - z - 18 = 2*z, 0 = 2*f + z + k. Which is bigger: 0 or f?
0
Let x = -23564 - -17057. Is x at least as big as 0?
False
Let x(w) be the second derivative of -w**5/20 - 2*w**4/3 - 2*w**3 + 17*w**2/2 + 2*w + 11. Let y be x(-6). Which is smaller: 10 or y?
10
Suppose -19*d - 17633 = 26*d - 42788. Which is bigger: d or 5032/9?
5032/9
Let f = 8039 + -2684. Is 0.1 bigger than f?
False
Let p = -7.505 - -8.505. Which is greater: p or -198/91?
p
Let n(u) = 1 + u**3 + 4*u**2 + 10*u**2 - 16*u**2. Let y be n(3). Let c be y/35*14/(-8). Is c at most as big as -0.23?
True
Let a be 58/8*(37 - 41). Let x = 50 - -14. Let s = x + -91. Do a and s have the same value?
False
Let a(z) = -28*z**2 - 23*z + 1. Let l be a(0). Which is bigger: l or 2/9019?
l
Let m(h) = 43*h - 17 - 17*h**2 + 18*h**2 - 37*h. Let n be m(-15). Is 117 less than or equal to n?
True
Let r = 342 - 334. Let k be r/(-1708) - -2 - (-9 - -11). Is k less than or equal to 1?
True
Let z = -313/190 - -55/38. Is 504 != z?
True
Let c = 367 - 306. Let v = c - 60.94. Is -1/21 <= v?
True
Suppo