?
True
Let d = 11/3 + -71/21. Let r = 0.481 - 0.52. Let q = 0.099 + r. Which is bigger: d or q?
d
Suppose -21 + 6 = -3*j. Suppose 3*t = -2*u - u + 102, 101 = 4*u - 3*t. Suppose -4*z + a = -u, -9 = 3*a + 6. Which is bigger: z or j?
z
Let x = -147.3617 - -0.0617. Let u = -147 - x. Is u at least 20?
False
Let o be (1/40)/(4/5). Let n(y) = 12*y - 336. Let c be n(28). Is c equal to o?
False
Let q(u) = -u**3 + 16*u**2 + 3*u**3 + 16*u + 20 - 2*u**3 + u**3. Let x be q(-15). Suppose -l = 3*a + 2*a - 4, a - x*l + 20 = 0. Which is smaller: -1/14 or a?
-1/14
Let b(x) = x**2 - 3*x. Suppose 21*y = 26*y. Suppose y*r = 2*r - 4. Let k be b(r). Is k smaller than -3?
False
Let p(d) = 25*d + 2. Let m be p(-1). Let c = 16 - 16. Let f be (-1 + c)/(m/2). Which is bigger: f or -1?
f
Suppose 65 = 87*z - 82*z. Let m be (42/(-4))/((-3)/4). Let v = m - z. Are -6/25 and v equal?
False
Let n = 684 - 685. Let b = -14 + 30. Suppose b + 4 = 4*s. Do n and s have the same value?
False
Let g = 109 - 59. Suppose -10 = 2*o + g. Let y = o - -27. Is 0 greater than y?
True
Let i = 2.582 - 2.382. Which is smaller: 552 or i?
i
Let j(s) = -s**2 + s + 36. Let q be j(0). Is 39 != q?
True
Let b = 589/3 + -4129/21. Is -2/3155 at least as big as b?
True
Let h = -68 + 37. Are -29 and h non-equal?
True
Let q = -1811 + 1825.82. Let t = 15 - q. Let j = 99.9 + -100. Which is smaller: t or j?
j
Let j = 133 + -147. Is 6 less than j?
False
Let h be (-9)/(9/(-2))*-6. Let q be (-3)/h + (-1)/4. Which is smaller: -10 or q?
-10
Let r = 184 - 933/5. Let c(w) = -w**3 + 17*w**2 - 2*w + 30. Let j be c(17). Which is greater: r or j?
r
Let a = 319 - 320. Which is bigger: -2/1891 or a?
-2/1891
Suppose 0 = 24*s - 84*s + 1020. Is s greater than 4?
True
Let t = -18.5 + 14.4. Which is smaller: t or -2?
t
Let t = -660504662 + 1020479738846/1545. Let q = t + -2/515. Let f = 23 - q. Is f smaller than 1?
True
Let c be (-2)/(-6)*(-105)/(-7). Let u be (0 + 0)/(-2)*-1. Suppose c*p + u*p = 2*t - 16, 5*t = -4*p + 7. Is t equal to 5?
False
Let j = 0.2 - 0.1. Let p be 6/40*(-104)/(-39). Is p smaller than j?
False
Let o be (-18)/(-45)*(1 + 264). Let r be 4*(213/o + -2). Does r = -1?
False
Suppose 0 = -0*o + 3*o + 4*j + 254, 3*o - 2*j + 224 = 0. Suppose m = -3*m - 316. Is m greater than or equal to o?
False
Suppose 0 = -2*v - 2*h + h + 6, -4 = -v - h. Let y be (0 + -1)/(2/v). Suppose 3*n - 2 = -11. Which is smaller: y or n?
n
Suppose 4*p - 3*j + 20 = j, -3*p + 20 = 4*j. Which is bigger: p or 0.02?
0.02
Suppose l + 2 = -3*v - 1, -3*v - 12 = 4*l. Which is greater: v or 1/33?
1/33
Let f = -2.277 - 0.723. Which is smaller: 2/21 or f?
f
Let l = 117 + -107. Let t be (-5)/l*10 + 4. Which is smaller: t or 4/27?
t
Let p be -35*((-48)/20 - -2). Let r be (p/(-28))/((-11)/2). Which is smaller: -0.2 or r?
-0.2
Let z(q) = -18*q - 193. Let p be z(3). Which is greater: p or -1?
-1
Let c(y) = -y**2 - 4*y - 3. Let j be c(-2). Let r = 1/506 + -1029/8602. Are j and r unequal?
True
Suppose -q - 6 = -9. Suppose -q = k - 5. Suppose -6 = 3*l - 2*l. Is l < k?
True
Let j(h) = 4*h - 4. Let l be j(2). Suppose -l*u + 6*u = 5*r - 28, -2*u - 10 = -2*r. Suppose 3*z - 12 = 3*q, 4*q = q + 9. Is z != r?
True
Suppose -28 = -b - 12. Which is smaller: 33/2 or b?
b
Let a(s) = 2*s**3 - 2*s**2 - 3. Let b be a(2). Suppose -b*d = 4*d - 8*d. Which is smaller: -5/12 or d?
-5/12
Let w = -79 - -78. Which is smaller: -8/7 or w?
-8/7
Let g be 17 + -16 - 2*-17. Let s = -38 + g. Let v be -4 - -2*2/6. Is v at least as big as s?
False
Let w(v) = 2*v - 2. Let z(r) = -5*r + 4. Let n(b) = 14*w(b) + 6*z(b). Let d be n(-6). Suppose d*y - 9*y = -1. Which is smaller: -2/33 or y?
-2/33
Let a(q) = -q**3 + 11*q**2 + 11*q + 12. Let d be a(12). Let u = -36 + 47.9. Let h = u - 12. Which is greater: d or h?
d
Let l be ((-90)/12 + 7)/(1/290). Is l at least -145?
True
Let h = 12.436 - 123.776. Let i = h - -101.4. Let q = -10 - i. Which is bigger: q or 1?
1
Let a(y) = -y**2 - 4*y. Suppose 0*v + 4*v = -3*h + 20, -18 = -3*v - 3*h. Suppose -d - 3 = v. Let w be a(d). Is w greater than or equal to -5?
True
Suppose 3*p + 7 + 26 = a, 3*p - 111 = -3*a. Suppose -5*l + 2*l = -a. Suppose -2*y = -3*m + 10, -3*y + l = -8*y + m. Which is greater: 0 or y?
0
Let r = 0.17 + -0.1. Let i = r + 9.93. Is i at most as big as -2?
False
Let l be -1*(-10 + 5 + 2). Are l and -15 unequal?
True
Suppose -2*h - q = -37, h + 5*q - 61 = -20. Let l = 185 + -183. Suppose 3*c - 3*r + 6 = 0, h = -5*c + l*r - 0*r. Which is smaller: -3 or c?
c
Suppose z + 4 = 3*z. Let i = -26 - -26. Which is smaller: z or i?
i
Suppose 0*m - m + 10 = 2*q, q + m = 6. Let t be (-2)/(1 - -1) + q. Suppose -2*x = 3*s + 8, -5*x - 7 - 13 = t*s. Which is smaller: s or 3?
s
Let u = -255.5 - -257. Is -3/5 > u?
False
Let g(m) be the second derivative of -m**4/12 - 2*m**3 + 267*m. Suppose -3*j + 8*j + 60 = 0. Let d be g(j). Is d >= 0?
True
Suppose 40*t + 1125 + 6155 = 0. Which is greater: t or -184?
t
Let i be 102/(-8) + (-3)/12. Let x = -16 - i. Let m(w) = -3*w + 23. Let t be m(7). Which is greater: t or x?
t
Suppose 0 = 8*g + 52 - 68. Which is smaller: g or 6?
g
Let a = -161 - -160.9. Are a and 25 nonequal?
True
Suppose -4*m + 3*v + 17 = 0, 5*v + 11 + 6 = m. Let d be m*(-3)/(-30)*-1. Which is smaller: 23 or d?
d
Let a = 79 - 78. Let u be ((-2)/4*a)/(30/60). Which is smaller: u or -4/37?
u
Suppose 3*v + 4*j + 118 = 0, 5*j - 8 + 28 = 0. Which is bigger: -35 or v?
v
Let j = 15.93 - -0.07. Let z = 1 - j. Let d = -9 - z. Which is smaller: 0.1 or d?
0.1
Let s be 10/(9*6/27). Let m = 11 - 17. Let q be ((-18)/(-3))/((-9)/m). Which is smaller: s or q?
q
Let d(w) be the first derivative of -w**4/4 + 8*w**3/3 + 4*w**2 + 6*w + 7. Let i be d(9). Is i less than or equal to -2?
True
Let n be -9 - -13 - (32 + 2). Let i be ((-6)/2544*6)/(n/16). Do i and -1 have different values?
True
Let i(n) = -34*n + 409. Let a be i(17). Which is bigger: -852/5 or a?
a
Let u be (-6)/(-9)*12/(-20). Let t = 108 + -107.6. Do t and u have the same value?
False
Suppose -5*v = -2*t + 36, 160 = 5*t - 0*t + 5*v. Suppose -31*g - 60 = -t*g. Is g less than or equal to -19?
True
Let x = 0.158 - 14.158. Is 46 bigger than x?
True
Let t = -821.2 + 919. Let n = -108 + t. Let m = 10 + n. Is -0.2 > m?
False
Let i = 121/3 - 40. Let m be (-9)/18 + 11/(-2). Let y be m/9*3/11. Which is greater: y or i?
i
Let c = -4 - -13. Let o be ((-14)/(-21))/((-2)/c). Which is greater: -4 or o?
o
Let y(f) = 16*f - 81. Let w be y(5). Let z be (-4)/14 - (-38)/(-14). Which is smaller: w or z?
z
Let v(p) = 8*p - 1. Let b be v(-5). Let q = b - -124/3. Let y be 1/3*(2 - -22). Are q and y equal?
False
Let o = 335 + -336. Is o at least as big as -2?
True
Let a = -61955 + 34508945/557. Which is greater: 0 or a?
a
Let l be (-5)/(-40) - 78/(-16). Suppose -16*x + l*x = 11. Are x and -2/109 equal?
False
Let w = -350 - -611. Let x = w - 259. Let f be (1/(-3))/(5/(-39)). Which is greater: f or x?
f
Let z = -517/3 + 192838/1119. Which is smaller: 0 or z?
z
Suppose -4*o + 0*o = 100. Let w = -6 - o. Suppose -r - r = -40. Which is bigger: r or w?
r
Let m = -2.7 + -0.3. Let i = m + 2.95. Let w = i - 0.35. Is w bigger than -1/5?
False
Let s be ((-1)/(-91))/(2/(-221854)). Let i = 1219 + s. Do 2/5 and i have the same value?
False
Let l = 63 - 16. Let w = l - 20. Is 0.1 at most w?
True
Let y = -71 + 138. Suppose 5*x = -2*p - y, 3*x + 57 = -0*p + 3*p. Let w(a) = a**3 + 7*a**2 + 9*a + 2. Let v be w(-6). Is v less than or equal to x?
True
Suppose 8 - 4 = 4*y. Suppose 6 = f - y. Suppose -a - 50 = -11*a. Is f equal to a?
False
Suppose -231 + 13 = -2*w + 2*f, w - 3*f - 99 = 0. Which is bigger: w or 112?
w
Let c(k) = -k**3 + k**2 - k + 5. Let t = 24 - 22. Let r be c(t). Which is smaller: r or 2/31?
r
Let a(z) = -9*z**2 + 5 - 8*z - z + z**3 - 3*z. Let w be a(10). Do w and -63/4 have the same value?
False
Suppose 5*d - 47 + 7 = 4*t, 2*t = 4*d - 38. Let p be (-2)/(-3)*(-234)/(-12). Which is greater: d or p?
p
Let a(z) = -4*z - 30. Let j be a(-8). Suppose -5 = -3*u - j. Which is smaller: 3/7 or u?
3/7
Let r = -2109/2 + 1024. Let x = 213/7 + r. Let p = -91/3 + 30. Is x bigger than p?
True
Let j be 2 + (-4)/20*0. Let l be (0 - j)*(-3927)/34. Let s be -2*7/(l/(-18)). Which is bigger: s or 0?
s
Let i be 0 - 1 - (7383/2385 + -4). Let w = -2/53 + i. Is 0 not equa