?
-1
Let s = -26 - -25.25. Let a = -1/44 + 91/132. Which is bigger: a or s?
a
Suppose 0 = -5*f - 5*k + 40, 3*f + 11 = -k + 3*k. Is f equal to -1/27569?
False
Let p(g) = -8*g**2 - g - 1. Let a be p(-2). Let l = -25 - a. Suppose -2*n = -l*n - 196. Which is smaller: -50 or n?
-50
Let f be 28 - 22 - 2/(1 + 1). Suppose -14 = -f*x - 34. Let t be 2/1 + -5 + (x - -37). Are t and 29 equal?
False
Let o = 414.07 - 414. Let f = 0.001 - o. Which is smaller: -2 or f?
-2
Suppose -6*a - 5*l = -a, 0 = 5*l. Let w be (6/(-147) + 0)*(-10)/210. Is w bigger than a?
True
Suppose -2*z - 679 - 15497 = 7*l, -2*z = 5*l + 11556. Is l not equal to -11548/5?
True
Let m = 4/121 + -4134/605. Let a be -12 - (2 - 3) - -5. Is m not equal to a?
True
Let r = -1 + -1. Let k(l) = l - 9. Let h be k(7). Let v be (h/(-8))/(5/60). Which is smaller: v or r?
r
Let g = -34 - -30.9. Let r = -3 - g. Let h be ((-10)/(-105)*-6)/((-36)/(-6)). Do r and h have the same value?
False
Let m = 2347/3 + -795. Suppose 56*c - 61068 = -61796. Is m greater than c?
True
Let w(n) = n**3 + 20*n**2 - 77*n - 185. Let i be w(-23). Which is greater: i or -2/21875?
-2/21875
Suppose 0 = 53*q + 137*q - 16530. Is 950/11 != q?
True
Let i be 11/2*(-3036)/(-363). Is 36 smaller than i?
True
Let m be 4 + -1 + 16/8. Suppose 76 = -5*d - m*z + 1, 3*d + 4*z + 41 = 0. Which is bigger: d or -21?
d
Let a(w) = w**3 - w**2 - w + 1. Let c = -138 - -75. Let v = 63 + c. Let n be a(v). Is 6/55 <= n?
True
Let t = -2.65 + -2.2. Let p = t - 7.15. Is p at least as big as -11?
False
Let s = 649/5 + -321254/2475. Which is greater: 1 or s?
1
Let y = -43 + 53. Let v be 5/y - (-3702)/(-2484) - -1. Is v != -1?
True
Let l be 2/(-4)*(-2 - 8). Let k(w) = -w**3 + 8*w**2 - 3*w - 42. Let f be k(l). Which is bigger: 27 or f?
27
Let p be 3/18 + (-18)/(-36) - (-11)/(-3). Which is smaller: p or -145?
-145
Suppose 40 = 16*p - 24. Suppose -p*j + 42 - 30 = 0. Is 34/13 smaller than j?
True
Let h = -2744 + 2694. Let f = -72 - -119. Let g = h + f. Is g bigger than -2/21?
False
Let a = -0.39 - -0.52. Let s = -53 + 53. Is a <= s?
False
Let m = 9 - -15. Let n be 5/4*6*16/m. Let a be (-101)/n + ((-5)/1)/(-25). Which is smaller: a or -19?
a
Let y be 121631377783212535/(-2001675) + 0/1. Let w = 60764798373 + y. Let c = 2/6159 - w. Which is smaller: c or -1?
-1
Suppose -p = -3*p - 3*z + 9, 0 = -3*p + 2*z + 33. Suppose -17*h - 4810 = p*h. Which is greater: -2/5 or h?
-2/5
Suppose -33*q - 30618 = -60*q. Are 1132 and q equal?
False
Let c = 75 - 71. Let t be 8 - c - (-2)/(-1). Suppose 0 = -2*v + t*h - 2, -5*h + 35 = 2*v + 9. Which is greater: v or 5?
5
Suppose 9*q - 27*q - 115*q = 266. Is q <= -160/87?
True
Let z = 240 - 243. Let f = -19.972 + -0.028. Let v = -17 - f. Which is greater: z or v?
v
Suppose 13694*b - 13699*b - 140 = 5*v, -79 = 3*v + 2*b. Let p be 2/(-4) - 493/22. Which is smaller: p or v?
v
Suppose -123*t = -17*t - 1334 - 1316. Is t not equal to 118?
True
Let r be (-3)/((-15)/(-10)) - (1 - 7). Suppose -j - 2*j + 5*s + 13 = 0, 2*j - 12 = r*s. Let n be ((-2)/4)/(j/(-184)). Do n and -24 have different values?
True
Let s(w) be the second derivative of -w**5/20 + 5*w**4/12 - 4*w**3/3 + 3*w**2/2 - 16*w. Let y be s(2). Which is bigger: y or -1/73?
-1/73
Let g = -199 + 115. Let s be 5/2*g/(-70). Let a be (-219)/135 + (s - (-75)/(-27)). Which is greater: -1 or a?
-1
Let v be (124*(-3)/72 - -6) + (-53063)/63690. Is 1 bigger than v?
True
Let q be (1 + -1)/(-329 + 326). Is -686 greater than q?
False
Let q = -275.3 - -257. Let i = q - -18.353. Which is smaller: i or 3?
i
Let h be 15 - 16 - (-1)/3. Let o = 0.034 + -0.065. Do h and o have different values?
True
Let k = 2 + -5. Let r = 383143/95 - 20177/5. Which is greater: r or k?
r
Let s be (-267945)/60 + (-12)/(-2). Let o = 4487 + s. Are o and 28 unequal?
True
Let l = 1637 + -942. Let n = 693 - l. Does n = 16?
False
Let c = -6 - -5.8. Let t = 8.7 - 8.744. Let g = t + 0.014. Which is bigger: g or c?
g
Suppose -k + 3*j - 18 = 0, 0 = 4*k - 2*k - 5*j + 32. Let h be k/14 + (-36)/(-84). Suppose 5*p + 100 = 4*s, -4*s + h*s - 4*p + 136 = 0. Is s smaller than 30?
False
Let a = 61254 + -61240. Let u be (3/(-2))/((-9)/24). Which is smaller: a or u?
u
Let x(i) = -i**2 + 2*i + 37. Let p be x(7). Let l be 130*p/(-16) - (-1)/4. Let c be 6/8*8/(-24). Which is smaller: c or l?
l
Let f = -73534/6165 - -130/1233. Which is smaller: -13 or f?
-13
Let f = 1418.4 + -1331.4. Is f < -6/5?
False
Let f = -536 + 845. Let b = f - 309.09. Is b <= 0.2?
True
Let i = -12 + 47. Suppose -39*g - 8 = -i*g. Let s be (-6)/(-3 + 0) - 41/14. Which is greater: g or s?
s
Suppose 6*a + 6*a - 60 = 0. Let b be ((-1415)/(-220) - a/4) + -5. Which is bigger: -14 or b?
b
Let f = 3815 + -3815. Is f at least as big as 5/358?
False
Let r be ((-222)/8)/(6/(-2) + 50/16). Which is smaller: -2 or r?
r
Suppose 3*m = -2*w - 18, 24 = -4*m - 7*w + 5*w. Let y be 9/(m - 21)*1*99. Which is smaller: y or -34?
-34
Let s be ((-57)/57)/((-1 - -2)/22). Suppose -l - 37 = g + 3*l, 4*l = 2*g + 26. Which is bigger: s or g?
g
Let c(a) = -a**3 - 3*a**2 + 3*a + 4. Let s be c(-3). Let j be (204/(-30)*-1)/(2/s). Is -2 smaller than j?
False
Let m = 10 + -10.013. Let j = 604.08 - 604. Which is bigger: m or j?
j
Let m = 34 - 45. Let j be (60/33 - 2) + 42/m. Let d be 7 + 12/j + -4. Which is smaller: d or -5/8?
-5/8
Let l = 6.7 - 7. Let s = l - -0.4. Let h(f) = -f**3 - 24*f**2 - 117*f + 14. Let a be h(-7). Which is smaller: s or a?
a
Suppose -t + 2*k - 342 = 0, -2*t + 4*k = -t + 336. Let p be 5/(-20)*1266*(0 + 1). Let h = p - t. Is h at least as big as 32?
False
Let z = 152 - 399. Is z smaller than -250?
False
Let t = 2.636 - 2.536. Which is greater: t or -1.32?
t
Let c be (-1)/1 + 69/3. Let n = 183 + -144. Let q = n + -38. Which is smaller: q or c?
q
Suppose -3*b - 323 = -5*l, -l - b = -71 - 0. Suppose 57*z = l*z - 50. Which is bigger: -23/2 or z?
z
Suppose 3*j + k - 2 = 17, -5*k = 4*j - 40. Suppose 4*s - 13 + 49 = 2*c, -j*c = -20. Let z(r) = -r**3 - r**2 + 3*r - 3. Let m be z(2). Which is smaller: s or m?
m
Let x = 8635.3 + -8636. Which is smaller: 33 or x?
x
Let t = 0.02038 - -0.97962. Is t != 1696?
True
Let n be -9 + 168/(-48)*6/(-7). Let r(g) = -g - 5 + 6*g + 3*g. Let y be r(n). Is -52 at least as big as y?
True
Suppose -5*k = s - 78, 5*s = -4*k + 9*s + 48. Suppose g = -c - c - 20, -3*c = 6. Let i be -3 - (g - (0 + 2)). Do k and i have the same value?
True
Suppose 2*o + 124 = -5*u, 12 = -3*u - 0. Let s = 377 + -215. Let n = 109 - s. Which is greater: o or n?
o
Suppose 0 = -2*f + 8*f - 6. Let y = 1092.279 - 1093. Which is greater: f or y?
f
Let s = -0.748 + 0.138. Let w = -7017 + 7017. Which is smaller: s or w?
s
Let o = 33.2 - -32. Let m = 51 - -14. Let p = o - m. Which is smaller: -0.02 or p?
-0.02
Let v(i) = 43*i - 109. Let s be v(7). Suppose -s = 3*x + 3*q, 110 = -3*x + 4*q - 54. Which is bigger: 1 or x?
1
Let m = 401/3 + -142. Let d = 11 + m. Which is smaller: d or 4?
d
Let t = 55376/7 + -7910. Is t at least as big as -7?
True
Let s(a) = -3*a - 7. Let j(c) = -8*c - 39. Let f be j(-5). Suppose 5*q + 10 = -2*m + f, 3*q = -3*m. Let x be s(q). Are -5 and x non-equal?
True
Let w = 3935 - 3946. Suppose 2*d + 101 = -3*d - 3*a, 0 = -5*d - 2*a - 104. Let g = w - d. Which is greater: g or 13?
13
Let q = -70065 - -70066. Let t = -308.74 - 2.26. Which is greater: t or q?
q
Let k be 184580/(-230850) + -5 + (-87)/(-15). Which is smaller: k or 1?
k
Suppose 0*h - 6 = 3*h. Let r = -31188 - -31181. Which is smaller: h or r?
r
Let b(g) = -g**3 - 17*g**2 - 9*g - 205. Let t be b(-17). Which is bigger: -8 or t?
-8
Suppose -3*d + 1777 = -5*s - 147, 1926 = -5*s + 2*d. Are -364 and s non-equal?
True
Let u(h) be the second derivative of -h**3/2 - 11*h**2 - 2*h - 4. Let f be u(-8). Which is smaller: 22/7 or f?
f
Let n be 20/2 + (-84)/28. Suppose n = -275*f + 274*f. Is -8 != f?
True
Let u = -150.167 + 0.167. Let s = u - -151.31. Let a = -1.45 + s. Is a smaller than 2?
True
Let z(h) = 3*h**2 + 495*h + 6342. Let s be z(-14). Let x be 43/18*1 + -2. Which is smaller: x or s?
s
Let z(d) = -d**2 + 41*d + 182. Let h be z(45). Let a be h - (216/(-32))/(-3). Which is smaller: a or 291?
a
Let d(s) = -2*s**3 + 10*s**2 + 14*s - 9. Let y be d(6). Suppose -3 = y*a - c, -a - 3*c = 2*c - 15. Let f = 3451/23 + -150. Which is small