 >= d?
True
Let v = 23 - 15. Let f = -13 + v. Let c = -68213 - -68209. Which is smaller: f or c?
f
Let d = -45597/4 + 11399. Is -22/167 at most d?
False
Let i(b) = -72*b + 147. Let g(o) = 36*o - 77. Let d(h) = 5*g(h) + 2*i(h). Let v be d(6). Which is smaller: 126 or v?
v
Let s = 205 + -142. Let z(y) = y + 0*y + s - 45. Let o be z(-19). Which is smaller: o or -2/53?
o
Let y = 8 - 7.82. Let r = 33.18 - y. Let p(f) = 7*f + 15. Let t be p(-2). Is t greater than r?
False
Let p be ((-2010380)/10)/(1 - (-19942)/74). Let w = 5/1251 - p. Let s = w - 737. Are 5 and s non-equal?
True
Let x(u) be the second derivative of u**5/20 + 7*u**4/6 + 19*u**3/6 + 6*u**2 - 7*u. Let r be x(-12). Does 74 = r?
False
Let v(z) = -2*z**2 + 46*z + 8. Let j be v(23). Suppose -17 = -2*k - 5*c, -14 = -3*k - c - j. Is -3/28 > k?
False
Let y be ((-150)/9)/(6/9) + 4. Let f be (-4)/14 + (-111)/y - 9. Is -10 less than f?
True
Let w = 1.83 - 1.774. Let a = 2.156 - w. Which is greater: 1 or a?
a
Suppose 3*n + 3*a - 17 = -2*n, -2*n + 5*a - 18 = 0. Which is greater: -8/509 or n?
n
Let d be (2/255)/(24/(-545)). Let q = d - 3/68. Which is greater: 0 or q?
0
Let m = -15.622 + 13.45. Let z = 2.2 + m. Let v = 0.972 + z. Which is smaller: v or -13?
-13
Suppose 35*t + 70*t = 36120. Are 2402/7 and t nonequal?
True
Let v = 460522/7 - 35123552404/533883. Is 0 less than v?
True
Let u be 3 + 2 + (-8 - -7) + 5548. Is 5552 less than u?
False
Suppose -1 = 42*y - 43*y. Let c(q) = 8*q**3 - q**2 - 2*q + 3. Let a be c(y). Suppose -27*v + 31*v = a. Is 7 smaller than v?
False
Let w = -225.7 - -195.7. Do w and 19 have different values?
True
Let q = -0.0652 + 615.4652. Let r = -616 + q. Which is greater: r or 1/2?
1/2
Let l(w) = -2*w**3 - 52*w**2 + 52*w - 54. Let c be l(-27). Which is smaller: c or -6/287?
-6/287
Let s be (-11 - (-5 - 1)) + (-835)/85. Which is bigger: -14 or s?
-14
Let p be (-19)/(((-295)/20)/59). Suppose -5*t + 488 = 98. Is p <= t?
True
Let n(w) = -2*w**2 + w**3 - w - 136 + 126 + 7*w**2. Let d be n(-5). Let c be 1 + d + 210/49. Is c at most 0.03?
False
Suppose 148 = -9*j + 12*j + 2*l, -3*j + 147 = 3*l. Let p be 4/j + 5936/175. Are p and 98/3 non-equal?
True
Suppose 2*p - 3008 - 9346 = -p. Is 4119 at least p?
True
Suppose -25*d = 64*d + 13*d + 60180. Which is greater: d or -2944/5?
-2944/5
Let b be (-287)/(-8) - (-2 - -3). Let u(m) = -5189*m - 93366. Let c be u(-18). Which is smaller: c or b?
b
Let l = 20828 - 34476. Is -13648 at most l?
True
Suppose 3*r + 998 = 5*x, -2*x + 7*r = 12*r - 424. Which is smaller: 211 or x?
x
Suppose 0 = 3*k + 2*r + 140, 0 = -0*k + 5*k - r + 229. Let h = -3130 - -3086. Do h and k have the same value?
False
Let q = 1.928 + -2.128. Let p be 4/6*321/(-6). Let g = p + 37. Which is smaller: q or g?
q
Let h = 690 - 987. Let m = 299 + h. Do m and 29 have the same value?
False
Suppose 65*t = 73*t - 43*t. Is -2/7 bigger than t?
False
Let q = 189.701 + 0.299. Let j = -172 + q. Which is bigger: j or -1?
j
Let n = 0.088 - 0.16. Suppose 0 = 4*o - 3*k + 65, 0 = -4*o - 122*k + 124*k - 62. Let y be 72/80 + o/10. Which is smaller: n or y?
y
Let q(m) = 9*m + 119. Let k(n) = -n**2 + 40*n + 26. Let g be k(41). Let o be q(g). Is o greater than or equal to -17?
True
Let i = 5.73 + -3.65. Let o = -67.08 + i. Is 0.2 at most as big as o?
False
Let v = 8.33 + -10.23. Is v at most 65?
True
Let s be (-4 + 6/5)*(-2655)/(-60). Does -123 = s?
False
Let q = 16041 - 85931640/5357. Is -1 >= q?
False
Let b(q) = 2*q**3 - 282*q**2 - 287*q + 424. Let s be b(142). Is s <= -94/113?
True
Suppose 96 = -0*b + 4*b. Suppose -6*p + 8*p = 176. Let q = p + -65. Is q smaller than b?
True
Let w = 15 - -20. Suppose -f + a - w = 0, 2*f + 4*a - 7*a = -69. Let b = f + 35. Is -8/25 greater than or equal to b?
True
Let k be 4 - (-10)/(-6) - 4/(-6). Suppose 4*f + 9 = -k*j, -8 = j + 2*f + f. Are -2/33 and j unequal?
True
Let m = 161 + -108. Suppose -141 = 2*f + q, 2*q = f + 10 + m. Is f greater than or equal to -69?
True
Let p(b) = 88*b + 763. Let s be p(0). Is s > 767?
False
Suppose x + a - 40 = 0, x - 4*a - 23 = 12. Let c = x + -34. Let v be 2/c*6 - 2. Is 0.05 > v?
False
Let d(p) = -4*p - 3. Let q be d(-6). Let x be 3 + (-222)/q + -1. Let z be (-11)/((-22)/(-14)) - 3. Is x < z?
False
Let y = -2 + 1. Let q = -257.43 + 32.13. Let f = q + 226. Is y less than f?
True
Let k(q) = q**3 - 2*q**2 + 19. Let j be k(0). Let i = -15 + j. Let b = 3 + -3. Are b and i nonequal?
True
Let j(b) = -b**3 - 5*b**2 + 6*b - 3. Let y be j(-6). Let s(w) = 3*w**2 - 94*w + 281. Let d be s(28). Let u be (-22)/(1 - (0 - d)*y). Is 11 at least as big as u?
True
Let u(m) = m**2 + 5*m - 5. Let v be u(-8). Suppose -11 + v = -2*a + 2*r, -3*a + 13 = 2*r. Is 116 <= a?
False
Let x = -338 + 180. Let b = -148 - x. Which is bigger: b or 1/3?
b
Let j be (-3)/4 + (-792)/96. Let f = 8 + j. Let i = 1/523 - 3669/4184. Which is bigger: i or f?
i
Let h = 98 - 80. Suppose -t - 1 = -h. Let u(d) = -d**2 + 18*d - 18. Let w be u(t). Is w smaller than -2?
False
Let h(g) = -g**3 - 9*g**2 - 7*g + 11. Let y be h(-8). Suppose 4*d - 3*k = -0 + 82, -28 = -2*d - 5*k. Suppose y*v - 11 = d. Which is smaller: 8 or v?
8
Let a = -125 - -135. Let t = a - 11.99. Let q = 1.01 + t. Which is bigger: 1/3 or q?
1/3
Suppose -l - z = 3*l - 103, -5*z + 2 = l. Let r = l + -25. Suppose r*s + 4*u + 2 = 0, -s - 4 = -5*s - 4*u. Which is bigger: 0 or s?
s
Let p be (-1 + -1 + 4)/(3 - 4). Let f be -2*16/p*(-308)/42. Let h = -112 - f. Is 6 less than h?
False
Let f = -553 - -20460/37. Let o(c) = c**3 - c**2 - 2*c - 9. Let p be o(4). Suppose -16*n - 47 = -p. Which is greater: n or f?
f
Let v = -72.211 + -6.329. Let x = v - -1.54. Let s = x + 75. Are s and 10 non-equal?
True
Let t = -1826 + 5477/3. Is 91.7 greater than t?
True
Let i be (-5 - (-5 - -3)) + 22510/(-50). Let o = i + 453. Which is greater: o or -1/24?
-1/24
Let r be (-2 - -2)/(-1 + -1). Suppose 5*o + 7 - 22 = r. Suppose -4*v = -4*w - 336, 127 = -o*w - 3*v - 131. Is w less than -85?
False
Let z(v) be the second derivative of v**3/6 + 11*v**2/2 - 2*v. Let r be z(-8). Suppose 3*p + r*h - 7*h - 2 = 0, -p + 5*h - 14 = 0. Are p and 20/3 equal?
False
Let k be (-1 - (2 - 1)) + (-17 + -696)*-1. Is k less than 705?
False
Suppose 4*b - 12 = 20. Suppose -b*j - 272 = 16. Which is smaller: j or -33?
j
Let o = 27377/3 + -30087317/3297. Let l be 1*(0 - 0)/(-2). Which is greater: l or o?
o
Suppose -4*x - 4 = 0, 2*f - 9 = f + x. Let y be 2*(0 - 39/(-26)). Let h be 7/(14/f) + (y - 7). Which is smaller: 16/17 or h?
h
Suppose -5*r - 4*n = -5, -12 = 4*n + 8. Let c(j) = 24*j - 120. Let a be c(r). Is a <= 14/85?
True
Suppose -3*o = c + 2*c - 711, 3*c + 969 = 4*o. Suppose o = -8*a - 4*a. Let z be a/42 + ((-12)/(-28))/3. Which is bigger: z or -40?
z
Let r = -2097 + 2087. Suppose -10*q + 6*q = 44. Which is smaller: r or q?
q
Let i = -9708597/9002 + -30/4501. Let z = i + 1008. Which is greater: z or -71?
z
Let r(c) = c**2 + 13*c - 7. Let j be r(-11). Let v be (4/(-3))/(j/87). Which is bigger: 66/19 or v?
v
Let g = -7849 - -7855. Which is smaller: g or 4/93?
4/93
Let f = -1193.6 + 217.6. Which is smaller: 1/3 or f?
f
Let c = 281.8 + -303.13. Let y = -21 - c. Let s = -0.23 + y. Is 13 bigger than s?
True
Let w be (19/38)/(3/6). Let g be ((-11)/(-4))/(w/9). Is 25 equal to g?
False
Let f be (13/((-169)/3874))/(3/(-66)). Is 6556 equal to f?
True
Let r be ((1210869/(-216))/11)/(1/(-4)). Which is greater: r or 2039?
2039
Let n be (-58)/(-6) + (-4)/6. Let p(b) be the second derivative of b**5/20 - 5*b**4/6 + 3*b**3/2 + 2*b**2 - 2*b + 143. Let k be p(n). Are k and 5 non-equal?
True
Let d = -3/8540 + 273589/879620. Is d != 1?
True
Suppose 9 = 5*s - 6, -3*c = 2*s - 6. Let u be 24/171*(115/20 - 5). Let z = u - 61/399. Are z and c non-equal?
True
Let k = 9544 + -9467. Which is bigger: -3 or k?
k
Let o = -4.53 - -4.63. Which is smaller: 0.988 or o?
o
Suppose 2*v - 20 = -5*n, -5*v + 4*n + 102 = 19. Suppose -6*z + 6*z = v*z. Which is smaller: z or -1/97?
-1/97
Let f be 0 + 15/(6795/(-2)). Let p = 0 - -1. Is f greater than or equal to p?
False
Suppose -d - 15 = -95. Let a be (12/16)/((-5)/(d/66)). Do a and -1 have the same value?
False
Let g(y) = -10*y + 101. Let r be (6/4 + 1)/((-14)/(-56)). Let m be g(r). Let l = -1.3 + 0.3. Which is smaller: l or m?
l
Let t(w) = -2*w**2 + 4*w - 1