Let k(l) = l**2 + 12*l - 13. Let w be k(1). Let a be 5*(-2)/(1*34). Is a >= w?
False
Suppose g = 0, -3*g + 9 = -2*q + 5*q. Suppose -3*r + 6 = -q. Is 12/5 greater than or equal to r?
False
Let i be (-92)/(-3) + 10 + (1 - 9). Which is smaller: i or 33?
i
Let w = 10687 + -801547/75. Which is greater: w or 1?
1
Let g be (-4)/(-18) + 446/18. Suppose -132*w = -135*w + 78. Is g greater than w?
False
Suppose 0 = 13*w + 14*w - 216. Are 5 and w nonequal?
True
Let k(q) = -25*q + 15. Let m be k(2). Let t be (4/(-25))/(1 - 12/20). Which is greater: t or m?
t
Suppose -4*g + 5 = -3*q, -g = q + 2*q - 20. Suppose -3*a - 7 = 3*r - 5*a, -g*r + 10 = a. Is 8/7 bigger than r?
True
Let y(r) = r**2 - 15*r + 8. Let a be y(14). Let n = -4 - a. Suppose 1 = 5*s - 3*u, n*s - u - 1 = -0*s. Which is bigger: -6 or s?
s
Let u = 0.07 - 6.07. Let h(g) = -g**2 + g - 2. Let s be h(-2). Let d be 15/s - (-9)/(-72). Which is greater: u or d?
d
Let l = -236 + 247. Let y be (1 + 1)*1 - -11. Which is bigger: l or y?
y
Let g = 5865 - 88013/15. Which is greater: g or -3?
g
Let z = -143843/1210 + 19/242. Is -119 less than z?
True
Let p = -337 + 578. Which is greater: p or 1/3?
p
Let k = 507.03 - 513. Let r = 0.03 - k. Do r and 3 have different values?
True
Let r be 3/6 + 2/4. Let f = -2/323 + -4189/1615. Is r > f?
True
Suppose -16*l - 137 = 3031. Which is smaller: l or -196?
l
Suppose 58 = -11*r - 63. Is r greater than or equal to -8?
False
Let i(g) = -18*g + 57. Let k be i(7). Is k smaller than -203/3?
True
Suppose 0 = -j - 0 + 9. Let y = j + -12. Are y and 1 unequal?
True
Suppose -5*l - 20 = -3*a, -4 = a + 3*l + 8. Let g be ((-1)/(-48))/(2/(-3 - -1)). Let m = 53/240 + g. Which is smaller: m or a?
a
Suppose 0 = -3*g - 118 + 67. Is -16 > g?
True
Let y = -1 + 7/8. Suppose 3*m = 4*d - 47 + 7, 3*m + 42 = 3*d. Let g(x) = -x**2 - 16*x + 1. Let w be g(m). Which is smaller: w or y?
y
Let o be 189/28*2/48. Let n = -1/32 + o. Which is bigger: 1 or n?
1
Suppose -2*m - 2*m = 0. Let l = -4490532/731 + 6143. Let z = l + 5/43. Is z != m?
True
Suppose p + 4*f - 72 = -0*f, -4*p - 4*f = -228. Let k be p/8 - 3/2. Suppose -k*j = 2 + 3. Which is smaller: 2/11 or j?
j
Suppose -2*k + 2*a = -138, -2*k + 111 + 32 = -3*a. Let i be (240/k)/(-2 + (-2)/(-8)). Which is greater: i or 2/3?
2/3
Let g be 2/5 - 187/255. Is 11/6 at most g?
False
Suppose i = -14*i + 615. Suppose -2*y + 2*f + 36 = 0, 5*y - 2*f - 46 = i. Which is smaller: y or 14?
14
Suppose -108*n + 30 = -103*n. Which is smaller: 14 or n?
n
Let h = -499 - -504. Suppose -3*v - 9 = -0*v. Which is smaller: v or h?
v
Let v = -5219/3 - -1737. Let b be (-2)/(-10) + 42/(-10). Which is smaller: b or v?
b
Suppose -27*x - 540 - 1080 = 0. Which is bigger: x or -59?
-59
Let t(u) = u - 2*u**2 + u - 13*u**3 - 1 + u - 4*u**3. Let p be t(1). Which is bigger: -16 or p?
-16
Let z = 567 + -610. Are z and 3 non-equal?
True
Suppose -5*t + 0*p + 16 = -p, t = -p + 2. Suppose -2*d + t*x = x, -d - 10 = -3*x. Suppose 1 = -3*n + y + d, -n - 5*y + 28 = 0. Is 1/3 at least as big as n?
False
Let c = 5 - -7. Suppose g - 3*o = c, 3*g + 4 = -5*o - 30. Let b = 3 + -6. Is g > b?
False
Let l = -625.3 - -653. Let y = -28 + l. Which is smaller: -1/2 or y?
-1/2
Let o = -654.95 - -26.95. Which is smaller: o or -1?
o
Suppose 4*i = 2*j + 172, -4*j - i - 347 = -6*i. Let s = -79 - j. Do s and 12 have different values?
True
Let a = -64 + 70. Let h = -56.1 + 56. Which is greater: h or a?
a
Let y = -39 + 38. Which is bigger: -1/35 or y?
-1/35
Let g = -22 + 11. Suppose 18*c - 17*c = -3*w + 3, 51 = -3*c + 3*w. Which is smaller: g or c?
c
Suppose -2*j - 12 = 3*m + 2, 0 = -4*j + 5*m + 16. Is 9/85 equal to j?
False
Suppose -6*u - 76 = 5*v - 2*u, 36 = -2*v - 3*u. Let c be (v/(-10))/(3/(-45)). Which is smaller: c or -19?
-19
Let z(t) = -t**3 - 4*t**2 + 3*t - 11. Let h be z(-5). Let p = -3 + 3. Suppose 3 = 3*f - p. Which is bigger: f or h?
f
Let q be (-3)/(-2)*4/(-6) - -3. Let v be (q - (-14)/(-4))*22/33. Is v at most 1/17?
True
Suppose j = -3*h - 1, 7 = 5*j + h + 2*h. Suppose -13 = j*k - 5*u - 4, -2*k + 4*u = 4. Suppose -65 = 3*a - k*a. Is a < 13?
False
Let n = 0.1 - 2.1. Let j = n + 0.5. Let m = 1.6 + j. Is m != 3/5?
True
Suppose -1820 = 22*i - 8*i. Is -130 >= i?
True
Let s = 3/178 + 666/89. Let t = -18 - -17.74. Let k = t - -0.36. Is s at least as big as k?
True
Let y = 3/4622 - 7305/573128. Which is smaller: y or 0?
y
Let s(h) = 14*h**2 + 35*h - 20. Let t(z) = 5*z**2 + 12*z - 7. Let p(a) = -6*s(a) + 17*t(a). Let d be p(5). Suppose 5 + 7 = -4*j. Which is smaller: j or d?
d
Suppose -4*f = 5*x - 7, -8*f - x + 14 = -3*f. Suppose -11 = -2*v + f*v. Which is bigger: v or -10?
-10
Let i be ((-141)/(-120) - 1)/(13/52). Which is bigger: 0 or i?
i
Suppose -7*m - 62 = -188. Suppose -h + 8 = 3*b, -5*b + 56 + 14 = 5*h. Is m bigger than h?
True
Let h = -353/6 + 59. Suppose 4*j + 3*o + 0 = 5, -4*j + 2*o + 10 = 0. Suppose -b - j = -3*b. Which is smaller: b or h?
h
Suppose 4*h - 20 = -t, -t + 4*t - 16 = -h. Suppose 5*f - 2*z = 20, 24 = 5*f - 3*f - h*z. Let q be 2 + 12/(-8) + f. Is q smaller than -1?
False
Let v = 233 + -233.3. Let d(g) = -g**2 - 3*g. Suppose -3 = 3*u + 4*k - k, k - 17 = 5*u. Let j be d(u). Is j bigger than v?
True
Let c(s) = -s**2 - s + 13. Let j be c(0). Let v = -8 + j. Suppose 6*h - 2 = v*h. Is -1/7 >= h?
False
Suppose -361*y = -359*y - 868. Is y less than 433?
False
Let y = 19.5 + -8.5. Is y equal to 2?
False
Let c = -0.022 - -0.092. Suppose -2*x - 2*g = -10, -5*x - 11 = -3*g + 4. Suppose 0*i + i = x. Is c < i?
False
Suppose 32 - 8 = -4*y. Let i be 1 + (y - (2 - 4)). Is i greater than or equal to -13/5?
False
Let a be (2 - 2 - -1)/(-2). Which is greater: 0 or a?
0
Let k = -2/7607 - 45496/555311. Which is smaller: 1 or k?
k
Suppose 25*k - 26*k = 5, -3*k = 4*l + 11. Is -7/180 less than l?
True
Let r be (32 - 32)/(-5*(-3 - -4)). Which is greater: 3/32 or r?
3/32
Suppose w - 2*k = -146, -2*w - 5*k + 572 = -6*w. Which is smaller: -139 or w?
-139
Let z = 3/95 + 89/190. Does -61 = z?
False
Let x(m) be the second derivative of m**5/20 + 5*m**4/6 - 2*m**3 - 7*m**2 - 3*m. Let g be x(-11). Let b(n) = -n - 5. Let l be b(0). Which is smaller: g or l?
l
Suppose -u = -2*o - 64 - 166, 5*u - 352 = 3*o. Is -120 equal to o?
False
Suppose w = 4*w - 3. Which is greater: w or 4/235?
w
Suppose -14 = -4*a - 2. Suppose 6*j - 3 = a*j. Let g(q) = q**3 + 2*q**2 + q. Let v be g(-1). Which is smaller: v or j?
v
Suppose -4*m + 0*m + 8 = 0. Suppose -m*r - 2*r - 2*z + 6 = 0, r - 4*z = 24. Suppose -2*f + 4*k = -20, 0 = -f + 2*k - 4*k - 6. Is r equal to f?
False
Suppose 5*j = -2*t + 778, 4*t + 185 - 971 = -5*j. Is j <= 150?
False
Let t = 60455935/5528416 + -1/178336. Let r = 11131/930 - t. Let j = -17/6 + r. Are -3 and j nonequal?
True
Let t = -110.9498 + -0.0502. Which is bigger: t or -1?
-1
Suppose k - 12 + 7 = 0. Suppose k*s + 2 + 3 = -3*j, -2 = 2*s - 4*j. Is s > -7?
True
Let o = 1266 - 1267. Which is greater: 2/659 or o?
2/659
Let s = -26 - -4. Let a = s + 14. Which is smaller: -9 or a?
-9
Let g = 107.6 + -113. Let c = 0.1 + 0. Are c and g nonequal?
True
Let a(i) = -i**2 + 14*i + 123. Let n be a(36). Which is smaller: n or -670?
-670
Let p(r) = 9*r - 12. Let b be p(6). Let y = b - 46. Is y > -0.1?
False
Let x = 32 + -21. Suppose 0 = -2*h - x + 5. Let w be (1 + h)*(-2)/16. Which is greater: w or 4/9?
4/9
Suppose -2*m = 3*g + 11 + 4, -3*m + 2*g = 29. Let t be 6/(-9) + (-87)/m. Suppose 20 = 2*c - p, c + 3*p + 12 = -2*p. Is c greater than t?
False
Suppose 2*p - 4 = 2*a, 2*p = -4*a - 2*p. Let y be 0 - 5/(1370/(-4)). Let k = y + 264/685. Which is greater: a or k?
k
Suppose 12 = -6*c - 0. Let l = -703/260 - 3/65. Is l at most c?
True
Let v = 34 - 35. Let d(p) = p**3 + 9*p**2 + 8*p + 9. Let s be d(-8). Suppose -x - s = 2*x. Which is greater: x or v?
v
Let d = -205 - -195. Let s be ((-9)/(-4))/(4/(-16)). Is s < d?
False
Let f be -80*(18/15)/(-3). Suppose 5*t = 2*b + 2*t + 31, 2*b + f = 4*t. Let p be ((-3)/36)/(b/32). Is 0 > p?
False
Let c = 479 - 15803/33. Is c at most as big as -3?
False
Suppose c + 2*y - 3266 = -4*c, 4*y - 1968 = -3*c. Let d be (-4)/(-16) + c/16. Let k = d + -29. Is k less than or equal to 12?
True
Let u = -55080043/69006 + 643/2226. Let c = 798 + u. Which is smaller: -1 or c?
-1
Let h = -0.7 - 1.6. Which is smaller: -1/2