or v?
24
Suppose -9*t + 12*t + 21 = 0. Let g be t/(-42) - (-2425)/30. Is g bigger than 80?
True
Let i = 91.42 - -22.58. Which is smaller: 19 or i?
19
Let u(h) be the first derivative of h**4/2 - 7*h**3/3 + 3*h**2 - 7*h - 18. Let f be u(3). Let g be 3 - (1 - -1) - f. Which is smaller: -0.38 or g?
g
Let p(u) = u**2 - 6*u. Let k be p(6). Suppose -102*i + 104*i + 12 = 0. Let m be i + (-5 - -23 - 7). Are k and m unequal?
True
Let g(i) = -24 - i**2 + i + 24 + 3. Let a be g(3). Which is smaller: 10 or a?
a
Let l(t) = t**3 - 35*t**2 - 48*t + 18. Let s be l(37). Suppose a - s = -1048. Do -68 and a have different values?
False
Let t = -113 - -113. Suppose t = 2*n + 2*n + 16, -5*q - 5*n - 60 = 0. Which is greater: q or -64/7?
q
Let c = 12118/11 + -124822/77. Is -518 equal to c?
False
Let b = 22704 - 22704. Which is greater: b or 1/19171?
1/19171
Let w(g) = -g**3 - 3*g**2 - 66. Let j be w(0). Is -59 < j?
False
Let a = 3637 - 3637. Is -149/8 < a?
True
Let l = -36.933 + -0.067. Let w = 37.022 + l. Let f = -0.278 - w. Which is bigger: 7 or f?
7
Let q = -359 + 413. Let d be 525/q - 1/(-2). Is d smaller than 10?
False
Suppose 5*q = 3*f - 82, 5*q + 37 + 21 = 2*f. Suppose -29*g + f*g - 125 = 0. Let n = -25 - g. Is -3/20 at least n?
False
Suppose 2*c + 3*b = 18, -3*c + 19 = b - 8. Which is smaller: 418/43 or c?
c
Let b = 1247/1544 - -13/193. Are b and -33 nonequal?
True
Suppose 295 = 5*f - c, -3*f + 223 = -5*c + 46. Suppose -5*p - 2*b = -39, -f = -4*p + 4*b - 11. Which is greater: p or 4?
p
Suppose -9*c + 210 = -15*c. Let g be (2934/84)/((60/c)/(-6)). Which is smaller: g or 123?
g
Let g(i) = i**3 + 28*i**2 + 16*i + 28. Let l be g(-5). Is l at most 523?
True
Let r = 2765.7 - 2786.7. Is -122 != r?
True
Let a = -190 + 309. Let o = -3 + a. Which is greater: o or -0.2?
o
Let y be (2 - -6)/4*(-7)/2. Let l be (-520)/(-25) + 2 + y. Which is smaller: l or 16?
l
Let q = -73.05 + 75.52. Which is smaller: 2/11 or q?
2/11
Let f = -4 - 87. Let a = f + 106. Suppose -a = -0*c - c + 3*l, 4*l = -8. Which is smaller: c or 8?
8
Let n(z) be the second derivative of z**4/2 + z**3 + z**2/2 - 11*z. Let r be n(-4). Let j = -64 + r. Which is smaller: 1 or j?
1
Suppose 3*q + 5*j - 5 = -2*q, -4*j = -5*q + 41. Suppose 14 = 3*t + 4*z + q, 4*t + z + 1 = 0. Let u be (-68)/663*(-7)/56. Which is bigger: u or t?
u
Let j = 9848.79 + -9849. Which is bigger: -24 or j?
j
Let l = 5052965 - 7806829889/1545. Let z = l + -2/515. Is 0.0179 equal to z?
False
Suppose 0*y = 2*y + 90. Let l be 1/(-2)*(-6 + 2 - -4). Suppose l = -5*h - 205 - 15. Is y at most h?
True
Let w = -444.415 - 0.585. Let r = 446 + w. Are -87 and r non-equal?
True
Let n = -14 - -9. Let k = -133874 - -133864. Which is smaller: k or n?
k
Let b = 0.6039 - 0.4939. Let q(m) = -m**3 - 3*m**2 + 2*m + 3. Let j be q(-3). Is b at most j?
False
Suppose -28*m - 52 = 620. Let u be 5896/m + 0 + 4. Which is smaller: -242 or u?
-242
Let l = 2938097/219 - 13416. Which is greater: 1 or l?
1
Let c = 5/721 + -2929/6489. Let p = -3.4 - -16.4. Which is greater: p or c?
p
Let l(y) = -y**3 + y**2 - 2*y + 1. Let v be l(0). Suppose -5*x - 9 = 1. Let z be -6*x/42 + 107/(-350). Are z and v nonequal?
True
Suppose 3*w + 5*q = -2*w, 5*w - 8 = -3*q. Suppose b + 33 = -f, -f - 53 = w*b + 91. Let p = -12 - b. Which is smaller: 23 or p?
23
Let o = 824 + -824.0028. Which is smaller: -3/4 or o?
-3/4
Suppose b - 2*s - 3*s = 285, 3*s = -12. Let f be (1/2)/(193/102290). Is f at least b?
True
Let k = -0.76 - 11.74. Let p = -12.3 - k. Is 11/5 > p?
True
Let x be -104 + 127 + 13827/(-27). Which is smaller: -489 or x?
x
Let i be (-2165)/(-225080)*222 + 0 + -2. Let x = 9/68 - i. Is 1 < x?
False
Let x be -3*65/75 + 39928/4030. Suppose 0 = 2*v - 12. Which is smaller: x or v?
v
Let c = 291 - 297. Let k be (-23860)/(-100) + c/10. Is 239 greater than or equal to k?
True
Suppose -d + 183 = -2*k, -d - 4*k + 5*k + 184 = 0. Is 187 equal to d?
False
Let s(y) = 25*y + 16. Let g be s(-1). Let l be (-2472)/(-240) + g/30. Is 11 < l?
False
Let w = 2924 - 774. Suppose -5*l + 3*m + w = 0, 0 = -4*l - 7*m + 12*m + 1707. Which is greater: l or 434?
434
Let f = -44/7 + 410/63. Let g = -1.342 - -85.442. Let j = g + -84. Which is smaller: f or j?
j
Let g(z) = 151*z + 25. Let l be g(0). Let s be 28/1 + (-3)/9*3. Is s != l?
True
Suppose -15*l = -32*l + 51. Suppose 0 = 5*k - 3*v + 32 + 84, -l*v + 94 = -4*k. Is k at most -22?
True
Let i be ((-3)/(-2))/((-2)/(-44)). Let q = 92604 + -92600. Is i greater than or equal to q?
True
Let q = -0.11 - -0.51. Suppose -4*m + 5*p - 4 = 0, 26*p = 5*m + 22*p - 4. Suppose -2*v - 7 = m*l + 3, -4*l = 5*v - 5. Which is smaller: q or v?
q
Let c be (3 - 10/3)/((-6615)/(-162)). Suppose -3*u + u + 6 = 5*k, 0 = -5*k. Suppose m + 2*m = -u. Is m >= c?
False
Let k(m) be the first derivative of -m**4/2 + 5*m**3/3 - 2*m**2 - 23. Let o be k(1). Let g be ((-2)/92)/(2/8). Which is smaller: o or g?
o
Suppose 0 = -75*d + 74*d. Let x(v) = -v**2 + 4*v + 35. Let r be x(d). Which is smaller: 36 or r?
r
Let u = 17766 - 17765.952. Do -0.06 and u have different values?
True
Let k = 7780 + -54560/7. Let o = 54574 + -54588. Are k and o equal?
False
Let n = -4/5323 + 1474483/15969. Let r be (-14)/3*78/(-4). Is r < n?
True
Let i be ((-16)/(-10))/((-4)/10). Let z be (4/8 - i)*(-4)/(-6). Suppose -z*l + 0*l - 12 = 0. Do l and -7 have the same value?
False
Let a = 23.3 - 22. Let h = -3247 + 3247.1. Is h != a?
True
Let w(p) = 19*p - 6. Let u be w(-4). Let s = -82 - u. Is -4/19 greater than s?
False
Let m = -44 + 87. Suppose 3*a = 6, -a - m = -2*q - 3*q. Let j be 6 - ((-2 - 0) + 0). Is q bigger than j?
True
Suppose 115*z + 58*z = 1995 + 1119. Let k be (-79)/(-9) - 2/(-9). Which is smaller: z or k?
k
Let z = 12.9 - 2.9. Let c be (-58 - -8)*1/(-4). Let j = 13 - c. Does j = z?
False
Let s be (1 + -1)/(-19 - (-357)/17). Which is bigger: s or 2/83949?
2/83949
Let o = -7.931 + 8.031. Which is smaller: 224 or o?
o
Suppose 6*m = -5*t + 5*m + 2225, -5*m = -t + 419. Let d = 3336136753/7517853 + 2/1073979. Let y = t - d. Which is bigger: 0 or y?
y
Let r(w) be the second derivative of w**5/20 + w**4/2 + w**3/3 - 7*w**2/2 - 29*w. Let o be r(-5). Let m be 12*(-9)/(108/o). Is m < -42/5?
False
Suppose 0 = -23*d + 156*d - 399. Is -9 at least as big as d?
False
Let x be ((-410)/(-70) - 5)*(-14)/(-16). Let l be 0 + (-4)/(-2 - 0). Let c be l/9 + (-11)/9. Which is bigger: x or c?
x
Let a be (51381/66)/((-3)/8). Is a greater than -2076?
False
Let k = -9200 + 9405. Which is bigger: 0.18 or k?
k
Let w(l) = -l**3 + 13*l**2 - l + 15. Let x be w(13). Let k = 3/79 - -55/632. Which is smaller: k or x?
k
Let f = 1.64 + -1.15. Let g = -9.19 + f. Let n = g - -7.7. Is 37 greater than n?
True
Let w = -0.029 + -0.179. Let i = w + -0.792. Let g = 1.1 + 1.9. Is g != i?
True
Let f = 563156 - 29691836943/52724. Is -1 equal to f?
False
Let f = 500116/20075 - 6/1825. Is f at least 25?
False
Let p = -0.77 - 0.91. Let b = p - -1.6. Is 1/15 > b?
True
Suppose -5*x = 25, 390 = 5*c - 9*x + 5*x. Let h = c - 80. Is -4 at least h?
True
Suppose 28*u + 434 + 42 = 0. Which is smaller: 0 or u?
u
Let c = -3689025997394066/17249 - -213868976746. Let o = 33528/367 - c. Let m = -1106 + o. Which is greater: 1 or m?
1
Let y be 2/(-4 + 436/110). Let l = -65 - y. Suppose 4*w - 7*w - 9 = 0. Which is smaller: l or w?
l
Let s = -15442 + 11954. Which is smaller: s or -1/4?
s
Let f = 21.9 - 20.78. Let q = 3.12 - f. Is 7 at least as big as q?
True
Let j be -2 + 0 + 121185/(-185) + -1. Let d = 658 + j. Is 2 at least as big as d?
True
Let i be (-48)/(3 + 9) + 9. Does 218/59 = i?
False
Let f be (-384)/(-43968)*(-2 + (-34)/(-6)). Is f less than or equal to 1?
True
Let f be ((-9)/((-14346)/(-4)))/(-4 - 60/(-18)). Is f not equal to 1?
True
Let j be (-1345)/2 + -1 + -1. Let c = -688 - j. Which is greater: c or -13?
-13
Let o = -301177/36 - -8368. Are o and 0 unequal?
True
Let p = 110 + -4. Let t = 32329 + -32223. Do p and t have the same value?
True
Let d = 46549/766703 + 8/15647. Let k = 2 + -3. Which is greater: k or d?
d
Let b(k) = 21*k - 2. Let c be b(2). Let z(q) = 5*q**2 - 86*q - 31. Let d be z(18). Let v = c - d. Is v equal to -2/39?
False
Let s be ((-334)/(-334))/((-4690)/(-8)). Which is bigger: s or 1?
1
Suppose 4*h + 1 - 9 = 0. Suppose -5*n + 3*j = -80, -345 = -n - j - 