t y = 230 - 211. Let x = 23.28 - 4.38. Let s = y - x. Is s < 7?
True
Suppose 2*x + 5*p = -19, -4*x + 8*p - 4*p = -4. Is x != -18/7?
True
Let j(z) = 6*z + 6 - 10 + 0 + 5. Let i be j(-4). Which is bigger: i or -24?
i
Let y be 5*3*2/(-15). Let u be y/12 - (-7)/21. Is -4 != u?
True
Let r be 18*27/(-45)*(-20)/(-21). Is r less than or equal to -10?
True
Let p = 0 - -1. Let o(d) = d**2 - 7*d - 73. Let k be o(-6). Is p greater than or equal to k?
False
Let g be 13383/(-18) + (-25)/(-10). Which is bigger: -742 or g?
g
Let h = -11911579/9 - -6667004/5. Let b = 9905 - h. Let y = 66/5 - b. Which is bigger: 11 or y?
11
Let s be (-1030)/(-6154) + 186/(-1581). Which is greater: 0 or s?
s
Let f = 0 - -42. Let r = 33 - f. Is r smaller than -10?
False
Let g = 3 + -1. Suppose -7*x = -g*x. Suppose 3*r + 6 + 0 = x. Is r <= 0?
True
Suppose s + 0 - 1 = 2*x, 4 = -x + 4*s. Let p be ((-66)/(-62) - 2) + 1. Which is greater: p or x?
p
Suppose -1 = 3*v + 2*v + 4*x, -5*x = v + 17. Let y = v + -11. Suppose 0*r = -8*r - 64. Do r and y have the same value?
True
Let i(h) = -3*h**2 + 2*h - 22. Let b(r) = r**2 + r. Let y(t) = 4*b(t) + i(t). Let d be y(-10). Is 16 >= d?
False
Suppose -5*k + 4*g - 3*g + 193 = 0, -4*k + 167 = -5*g. Is 39 equal to k?
False
Let r = 184.9036 + 0.0964. Is r less than or equal to -1?
False
Suppose -23 = -4*m + 61. Suppose -22*t = -m*t - 7. Suppose 0 = t*s - 3*s. Do s and 1/26 have different values?
True
Let j = 0.7 - 0.7. Suppose 3*q + 7*k - 3*k = 132, 5*k = 0. Which is bigger: j or q?
q
Suppose 4*t = -3*d - 13, 15 + 0 = -5*t - 4*d. Is 1 > t?
True
Let z = 11 - 8. Let t be (z*(-6)/468)/((-1)/(-32)). Are 0 and t unequal?
True
Let c = -0.154 + 0.054. Which is smaller: c or 0.5?
c
Let h = -207/4 + 52. Which is smaller: h or -42?
-42
Let o be 9/(-6)*2 + 5. Let t = 211/5 - 799/20. Is o at most as big as t?
True
Let h = -5 - 18. Let d = 125 - 146. Which is smaller: h or d?
h
Suppose 6 = a + a, 4*i - 4*a - 20 = 0. Suppose -4*t = -4*g + 40, 0 = -2*t + 1 - 11. Let p = 4 + g. Are i and p unequal?
True
Let d = 4/21 + 5/84. Let y be (-5 + 117/21)/(8/84). Which is smaller: y or d?
d
Suppose 4*p - 5 = 3. Suppose -3 - 1 = -p*d. Suppose -4*b - 8 = -j + 3, -6 = d*b. Is 2/37 at most j?
False
Let j = -96.17 - 0.83. Is j < 2?
True
Let w(i) = -5*i. Let c be w(-1). Let g be 1*(-1 + 68/12). Which is greater: g or c?
c
Let v = 5.573 + -0.073. Let o = v + -8.5. Which is bigger: o or -5?
o
Suppose -4*i + 10*s - 5*s = 42, -3*i + 4*s - 31 = 0. Is i at least as big as -25/2?
False
Let s = -2 - -2. Let m be (8598/(-108))/(2/4). Let p = m - -159. Which is smaller: s or p?
p
Suppose -4*r - 13 - 3 = 0. Let k be (r - (-2 - -1)*2) + 2. Which is greater: k or 1/7?
1/7
Let l(b) = -2*b**3 - 5*b**2 + 5*b + b**3 + 1 + 5*b**2. Let r be l(-2). Which is greater: r or -6/7?
-6/7
Let d be 360/54 - (2 - -5). Let i(y) be the second derivative of y**4/12 + 5*y**3/6 - 3*y**2 + 2*y. Let m be i(-6). Which is smaller: d or m?
d
Let b be (-249)/2*(-34)/(-7). Let q = 606 + b. Which is smaller: 0 or q?
0
Suppose 90 = 13*t - 4*t. Let s be (1 - (-2)/(-5)) + (-6)/t. Is s less than or equal to -2/13?
False
Let p(j) = -10*j**3 + 2*j**2 - 2*j + 1. Let t be p(1). Let w be 4 + t + (-3)/(-1). Let q = 23 - 26. Is w at least as big as q?
True
Let x = -15/83 + 893/4482. Do x and -3 have the same value?
False
Suppose -4*g - 96 - 130 = -2*a, -3*g - 5*a - 150 = 0. Which is bigger: g or 0.3?
0.3
Let k be (0 - 2/6)*(40 - 49). Is k bigger than 0?
True
Let p be 38320/105 - 1/6. Let q = p + -365. Does q = 0?
False
Let o = 823091/16 + -596730903/11600. Let q = 23/25 - o. Is q at most -1?
False
Let a be 2 - (-152)/3*3/2. Suppose -14*u + a + 412 = 0. Is u at most as big as 34?
False
Suppose 8073 = 12*r - 8*r - 5*b, -4*r = -b - 8085. Are 2022 and r nonequal?
False
Let v be (-22)/(-8) - (-14)/56. Let n be (-5)/((-5)/(-3)) + v. Suppose 6*t - 2*t - d - 8 = n, 0 = -3*t + 4*d + 19. Is 2/49 greater than t?
False
Let n be 3/6 - (-1 + (-19)/(-10)). Let x(y) be the third derivative of y**6/120 + y**5/6 - 4*y**2. Let g be x(-10). Which is bigger: g or n?
g
Let v = 0.05 - -0.05. Which is smaller: -43 or v?
-43
Let s(k) = -k - 8. Let o be s(-8). Suppose 2 = -o*v - 2*v. Let t = -110 + 105. Which is greater: t or v?
v
Let r = 237.5 - 238. Is -1 at most r?
True
Let r(m) = -m**3 + 9*m**2 - 17*m + 22. Let p be r(7). Let u be (2/(-24))/((-6)/(-4)). Let f = -5/18 + u. Is f at least as big as p?
False
Let x = 348 + -341. Let k = 3 + -3.3. Are x and k equal?
False
Let p = -27 - -28.12. Let l = 0.12 - p. Is 2/9 >= l?
True
Suppose -15*a + 29*a = -112. Suppose -2*l + 8 = -2*h + 4*h, -h = -3*l + 4. Suppose 2*b + 3*o + 21 = 0, -2 = 4*b + h*o + 28. Is a equal to b?
False
Let o = 336 - 335. Does o = 1/19?
False
Suppose 0 = -o - 4, -o + 52 = -q - 3*o. Let s = 51 + q. Is 7 not equal to s?
False
Suppose 22 - 1 = 21*m. Is m not equal to 1/89?
True
Let x = -199.9607 - 0.0393. Is -1 at least x?
True
Let u be (-23 + 22)/(2/(-78)). Let h = u + -36. Let v(b) = -b**3 - b**2 + b + 1. Let l be v(-2). Is h > l?
False
Let k = -828 - -521. Is -2/9 < k?
False
Let b = 0.112 + -0.049. Let g = -62.063 + b. Is 1 at least g?
True
Let b(i) = 342*i**3 + i**2 - 1. Let u be b(1). Let t = u + -2047/6. Let p = t - 1/2. Is 1 greater than p?
True
Suppose -z + 25 = -2*v + 23, 3*z + 2 = 2*v. Which is smaller: z or -46?
-46
Let x = -225 + 225. Is 7/40 less than or equal to x?
False
Let h be ((-2)/3)/((-1)/3). Suppose -h*f + 7*f = 0. Let m be f/((-6)/(-4 + 6)). Which is bigger: 2/15 or m?
2/15
Suppose 4*k - 668 = 2*a, 14*k - 3*a = 11*k + 507. Which is smaller: 657/4 or k?
657/4
Let c be (3/(-2))/1*-6. Let l = -2853/4 - -20203/28. Is l at least c?
False
Let k(c) = 6*c - 50. Let f = 25 - 19. Let j be k(f). Suppose m + 12 = -0. Which is smaller: j or m?
j
Let b be (-21)/28 - 198/(-8). Let l = -38 + b. Which is greater: l or -15?
l
Let w = -0.063 - -0.333. Let u = w + 1.73. Is -4/5 smaller than u?
True
Let d = -8.76 + 1.76. Which is smaller: d or -3/10?
d
Let g be 3/(-15)*4*-5. Let o be (-4)/6*(-7 + g). Let d be o/7 - 18/14. Is d greater than -1?
False
Let m be (18 - 35/(-7))/((-2)/44). Are -506 and m unequal?
False
Suppose -8*a + 7*a = 2, j + 5*a + 17 = 0. Is j >= -9?
True
Let l(w) = -21*w**3 + w - 1. Let o be l(1). Let b(r) = -89*r + 425. Let s be b(5). Which is smaller: s or o?
o
Let b(h) = h**2 - 2*h - 19. Suppose 4*p + 31 = 5*q, 2*q - 8*p - 12 = -6*p. Let w be b(q). Is w greater than or equal to 3?
True
Let s be (0 - -1) + 4 + 1. Suppose 5 = 5*w + 3*h - 28, 2*h + 22 = 4*w. Let o = w - s. Is o < -1/4?
False
Let h = -393 - -398. Suppose -4 - 4 = 4*r. Which is smaller: h or r?
r
Suppose 1 - 7 = -3*t. Suppose 0 = 4*u + 2*u + 414. Let g be (-6)/33 - 1/(77/u). Which is smaller: g or t?
g
Suppose -6 = -3*r - 3*d, r - 12*d + 17*d = -6. Which is bigger: 13 or r?
13
Let q = -54 + 44. Let d be -1 + (-46)/q - (-52)/130. Which is bigger: d or 1?
d
Suppose 2*n - 20 = 4*n - 5*a, n + 2*a - 8 = 0. Let m be ((-2)/(-5) - (-18)/(-20))*n. Is m at least 1/15?
False
Let p = -25 + 27.1. Let k = -0.9 + p. Let i = 0.2 - k. Which is greater: -0.5 or i?
-0.5
Let r be (-429)/(-1233) - 2/6. Let k = r + 669/1096. Is 0.1 >= k?
False
Let t(c) = -c**2 - 8*c + 4. Let r be t(-6). Suppose -r + 36 = 5*v. Is v at least as big as 7?
False
Let h(o) = 2*o + 1. Let m(d) = -5*d - 1. Let t(r) = -7*h(r) - 3*m(r). Let a(s) = -s + 5. Let k(q) = -4*a(q) - 5*t(q). Let w be k(1). Which is smaller: w or 2/5?
w
Let h be ((-20)/(-12))/((-35)/(-126)). Is h greater than or equal to 2/151?
True
Suppose 0 = 8*c - 32 + 672. Which is greater: -79 or c?
-79
Let k = 111 + -27. Let w = -85 + k. Is w less than -12?
False
Suppose -2*j + 110 = 2*g, -4*j + 93 - 323 = -5*g. Let c = g - 65. Do c and -15 have the same value?
True
Let x = -155846/39 - -12050/3. Which is smaller: x or 22?
x
Let q = -6310/3 + 2111. Which is greater: q or 8?
8
Suppose 2*p - c = -1 + 11, -3*c = 5*p - 25. Suppose -5*t - p*z + 80 = 0, -40 = -4*t - 2*z + 34. Let n = t - 13. Does 8 = n?
True
Let s be ((-18)/(-12))/(6114/32). Let n = -23696/96805 - s. Let c = -1/19 - n. Are c and -1/3 unequal?
True
Let r be (-301)/97 + 12 + (12 - 21). Which is greater: r or 1?
1
Suppose -90*f + 86*f = 4*n + 12, -2*n - 21 = -3*f. Suppose -6*s = -2*s - 3*g + 61, 34 = -2*s - 2*g. Let z = -22 - s. Is 