 -o = r - 3*h - 2*h. Which is bigger: -1 or r?
-1
Suppose -5*s = 2*d + 118, 3*s - 834 = 4*d - 884. Which is smaller: -21 or s?
s
Suppose 13*d - 346 - 317 = 0. Let f be 4 + 0 - 3*d/(-9). Is 19 > f?
False
Let y = -432.928 + -0.072. Let q = y - -432.9. Is 0.19 greater than q?
True
Let m = 29392 - 29339. Which is greater: -1 or m?
m
Let d = -325 + 333. Suppose -12 = -2*h - 3*p, -3*h + 0*p = -2*p + d. Are h and 1/245 equal?
False
Let g = -6 - 8. Let w = g + 7. Let u = 3 - w. Is u <= -1?
False
Let h be 7 - 2 - -33*(-55)/(-3). Suppose -7*r - 71 = -h. Suppose 0 = -3*s - 3, c + 0*c - s - 77 = 0. Which is smaller: c or r?
c
Let k be (-4)/(-14) + (-2859)/(-36)*96/(-23744). Is k greater than 0?
False
Suppose -152*n + 1049612 = -119*n + 179*n. Which is greater: n or 4949?
n
Suppose 48 = 416*v - 410*v. Let t be 1/(-5) + (-144)/(-20). Which is greater: v or t?
v
Let f = -89.889 - 0.111. Let h = 89.81 + f. Let n = h + -3.81. Is n <= 1?
True
Let j be -350 + (-11 - 64/(-8)). Is j less than 1?
True
Suppose 11*s + 0*s + 11 = 0. Let z be ((-10)/35)/(s/49). Suppose 15 = 5*w, -z = -4*t + 3*w + 1. Which is greater: t or 5?
t
Let l = 30 + 15. Suppose j - 3*a = -30 - 20, 2*j = 3*a - 100. Let u = l + j. Are -2 and u equal?
False
Let q be (-3)/2*(-2 - (2 - 6)). Suppose -s - 1 - 3 = 0. Let x be 15/s*q/(-9). Is 1 greater than x?
True
Let k(n) = n**2 + 4*n + 10. Let y be k(0). Suppose -4 = 9*f - y*f. Let z be 16/f*(-5)/2 - 0. Is z at least -9?
False
Let f be (2/(-4)*3)/(13/52). Let q = -106 - -152. Suppose -q*g = -44*g. Is f greater than or equal to g?
False
Let x(p) = 6*p + 61. Let g be x(-22). Let q(b) = 69*b**3 + 2*b**2 - 2. Let m be q(-1). Which is greater: m or g?
m
Let s(m) = 8*m**3 - 65*m**2 + 4*m + 32. Let q be s(8). Is 86.5 less than or equal to q?
False
Let o = -690.216 + 0.216. Let m = o - -683.2. Is m smaller than -1?
True
Let u(g) = -3*g + 1. Let c be u(-1). Suppose 2*n + 2*n - 5*a = -529, c*n + 522 = -2*a. Let b = 130 + n. Which is greater: b or 8/21?
8/21
Let l = -853 + 638. Let u = l + 294. Which is greater: -1/3 or u?
u
Suppose -25*r + 27*r - 361 = -2445. Is r less than or equal to -1049?
False
Let k be (263*12/(-9))/2. Let x = 175 + k. Which is bigger: -10 or x?
x
Suppose -15 = 5*j - 3*d - 2*d, 0 = -2*j - d - 15. Suppose 22*p = 59 + 29. Let o(m) = m**2 - 12*m + 26. Let y be o(p). Is y greater than j?
False
Suppose v = 2*q + 16 + 9, 0 = 2*q - 4*v + 10. Let s be q/12*8/(-2). Let g be 3 - -42*s/(-40). Which is smaller: -3 or g?
-3
Let s = -1041/2 + 520. Which is bigger: 78.5 or s?
78.5
Let b(c) be the first derivative of -c**2/2 - 16*c - 123. Let p be b(-16). Is p bigger than -1/527?
True
Suppose 5*c - 1220 + 4660 = 0. Is -689 not equal to c?
True
Suppose -30*i - 5344 = 596. Is -194 equal to i?
False
Let p = 10182 + -10302. Suppose -3 - 7 = 5*y. Is p not equal to y?
True
Let f(g) = g + 4. Let p be f(-6). Let h = -0.0436 + 0.2626. Let b = 5.781 + h. Do b and p have different values?
True
Let p(w) = 3*w + 88. Let j(t) = 2*t + 44. Let g(u) = u**3 - 14*u**2 - u + 19. Let l be g(14). Let d(z) = l*j(z) - 3*p(z). Let i be d(23). Is -21 bigger than i?
False
Let j = 1169 - 2625. Let x be -3 + j/(-190) + -4. Let z = x - 5/19. Which is bigger: -4 or z?
z
Let u = -1932947/81 + 23863. Is -1 less than or equal to u?
True
Let y(x) = -x - 6. Let s be y(-6). Suppose s = 2*r + r. Let n = -497/450 + -1/150. Which is smaller: r or n?
n
Let x = 79 - 78.805. Let v be ((-1)/7)/((-138)/(-161))*16 - -3. Which is smaller: v or x?
x
Let y = -12 - -12.36. Let j = -2/16097 + -32176/144873. Which is greater: j or y?
y
Suppose 2*u + 5*u = 5523. Let v = -676 + u. Which is bigger: v or 114?
114
Let n = -1206 - -1197. Let l(h) = -h**3 + 3*h**2 + 7*h - 5. Let w be l(5). Let m = 8 + w. Which is smaller: m or n?
m
Let g(l) = 20*l + 81. Let f be g(-4). Suppose 4*n + 0*n = -3*c + 1, c + 2*n - f = 0. Which is smaller: c or -1/251?
c
Suppose -2*o - 5*n + n + 26 = 0, 0 = -3*o + n + 18. Let z(t) = -t - 3*t + o*t - t. Let l be z(-3). Which is smaller: l or -7?
-7
Let t be 2*(-5)/5*21/(-6). Suppose g + 270 = t*g. Is 46 greater than or equal to g?
True
Let v = 502 + -245. Let f = v - 159. Is f smaller than -1/4?
False
Let b(d) = 32*d**2 - 12*d + 4398. Let g be b(0). Is 4400 > g?
True
Let i = 0 + 11. Let w = i + -11.1. Let s = -4 - -13. Which is greater: w or s?
s
Let a be 228/(-32) + 7 + (-1649)/(-8). Let n be (-32)/(-24)*(-3)/a. Which is smaller: -1 or n?
-1
Let v = -8368 + 8363. Are -0.0794 and v equal?
False
Let i = -65 - -69. Suppose z - 19 = -2*k, -k = 4*z - 8*z + i. Is 13 >= k?
True
Let m(l) be the second derivative of l**3/6 - 8*l**2 + 13*l. Let v be m(13). Let o be ((0 - 3)/v)/((-4)/(-36)). Which is smaller: 8 or o?
8
Let f be 1412/6*(-3)/2. Let w = 2467/7 + f. Let y be 3/2*4/(-3). Which is smaller: y or w?
y
Suppose -10*j + 3*h = -13*j - 420, -4*h + 552 = -4*j. Suppose 0 = -2*l - 2*l - 4, l = -3*f + 380. Let d = f + j. Is -8 at most as big as d?
False
Suppose 4*w - 4 = -4*c - 36, c + 2 = w. Let x be w/(-7) - 22218/49098. Which is smaller: 1 or x?
x
Let b = 188 + -184. Suppose 0 = -3*d + 3 - 6, -b*d = -4*o + 308. Is 77 at most as big as o?
False
Let u(j) = -j**2 - 24*j - 135. Suppose 81 = -5*c + 3*t, -2*c + 10*t - 24 = 13*t. Let r be u(c). Which is greater: r or 176?
176
Let g(s) = 3*s + 28. Let u be g(-4). Let b be 445/(-2)*u*(-10)/100. Which is smaller: b or 357?
b
Let z = -0.8548 - -0.5548. Are z and -562 unequal?
True
Let k = 4857 - 4670. Which is smaller: 189 or k?
k
Let q be (2/3)/((-104)/468). Let v be (4 + 114)/((-2)/q*3). Which is smaller: 58 or v?
58
Let v = -3814.4 - -3813. Is v at most as big as -94?
False
Let x = -45.1 + 41.79. Let h = x + 2.31. Is h <= 3?
True
Suppose 137*i + 33*i = 531250. Is i at most as big as 3124?
False
Let b(g) = -21*g**2 + 4. Let q be b(3). Let c = q + 186. Are -9 and c non-equal?
True
Let h = -6427 + 6434. Which is bigger: 1 or h?
h
Let r(f) = -9*f**2 - 4*f + 4. Let l be r(4). Let q(c) = c**2 + 100*c - 4378. Let t be q(32). Is l less than or equal to t?
True
Let y = 127.68 + -105.68. Suppose -j + 70 = 5*p, 2*j = -3*p + j + 42. Let w be ((-2)/p)/((-5)/10). Are w and y equal?
False
Let m(o) = -27*o + 1. Let i be m(-2). Let u = 605 - 605. Suppose 5*p + u = 270. Which is greater: i or p?
i
Let q = -23.379 + 45.379. Let a = -10 - -8. Is a < q?
True
Let m = -7 - 3. Let w = 11 + m. Let y be (-1 - (-52)/28)/((-62)/14). Do w and y have different values?
True
Let i be 45/1215*-30*((-132)/(-135) - 1). Let d(t) = t - 8. Let c be d(6). Let h(f) = -f**2 - 3*f - 1. Let w be h(c). Is i greater than w?
False
Let d be 9487/14 - (3 - ((-105)/6)/(-7)). Do 678 and d have the same value?
False
Let s = -0.38 + 0.33. Let p = s - 0.38. Let j = p + 0.33. Is -7 at most j?
True
Let i = 4409.1 + -4409. Is 6/107 less than or equal to i?
True
Let z(d) = -d + 5. Let t be ((-9)/(-12))/((-6)/(-24)). Let a be z(t). Let f be a - (3 + (-38)/40). Which is greater: f or -1?
f
Let u be 4/7 - (12964/49 - 5). Let o = 154 + u. Let y = o - -106. Is y at most as big as 1/157?
False
Suppose -3*k + 7*k - 16 = 0. Suppose 3 = -n - k. Let d = -9613/1420 + 7/355. Is d bigger than n?
True
Suppose -5*t - 4*v + 3 = -6*t, t = -2*v + 3. Let w be (50/(-54) + t)/(32/48). Which is smaller: 0 or w?
0
Let q be (-1 - (-21)/15)*((-29369)/(-2447) - 12). Which is smaller: 5 or q?
q
Let i = -14 + 14.1. Let g = -0.78 + 2.62. Let l = g - 1.85. Which is smaller: i or l?
l
Let a = 189228/71 - 2665. Are a and -1 nonequal?
True
Let q be ((-6131)/(-681) - 3) + 42 + -48. Is q greater than or equal to -1?
True
Let j be 522/(-1160)*(2451/(-819) - -3). Which is smaller: 0 or j?
j
Let n(q) = q**2 - 7*q - 4. Let p be 27/15*(-25)/(-15). Suppose -5*d - 11 = u, -p*d - 2 = -2*u - 7*d. Let t be n(u). Is 14 greater than t?
False
Let r = 1626 + -926. Is r at most as big as 702?
True
Suppose -4*v - 4*v - 1720 = 0. Let f be 49/4 - v/(-172). Is f < 5?
False
Let b(s) be the first derivative of -s**4/4 + 20*s**3/3 + s**2/2 + 18*s + 3. Let u be b(20). Suppose 68 = -42*t + u*t. Are -16 and t equal?
False
Let k be ((-240)/64)/(1/(-76)). Suppose 4*f + d = 541, 4*d = 5*f + k - 956. Do f and 136 have the same value?
False
Let h = 301 + 432. Let k = 714 - h. Which is bigger: -20 or k?
k
Let c be (-8999)/2 - ((-814)/(-44))/37. Does c = -8999/2?
False