19 or z?
z
Let q be ((-21)/12 + 130/120)/(23/3). Suppose 5*f = -0*f - 20. Let k = f + 5. Is k less than q?
False
Let d = -89009 + 8099971/91. Let c = 18/13 - d. Is c at least -3/310?
False
Let c = -8 - -8. Let z = -2 - -7. Suppose m - 36 = -z*m. Is m not equal to c?
True
Let k(d) = -11*d**2 + 4*d - 4. Let c be k(2). Suppose 5*v - 72 = -169*p + 172*p, 0 = 4*p + v + 142. Is p at least as big as c?
True
Suppose 3315 = 3*u - 3*p, -4*u + 5569 - 1170 = 3*p. Let o = 5536/5 - u. Let v be (-34)/(-8) + (-1)/4. Is v at least o?
False
Let v = -13350 - -26077. Let d = 139899/11 - v. Is d less than -9?
False
Let q be (-12 - 462/(-39)) + (-2197020)/(-637). Which is smaller: q or 3450?
q
Let k = 1987 - 33737/17. Do k and -2.5 have different values?
True
Suppose 5 = b + 2*j, 0 = b + 4*j - 11. Suppose -p - 7 = 4*w, 9*w = 4*w - 5. Let u be (-6)/(-137)*p/(-9). Which is greater: b or u?
u
Suppose -20*c - 35*c - 28 = 192. Do -194/49 and c have the same value?
False
Suppose 0 = 4*k - 2 - 2. Let p be ((-3)/(-1191))/((162/4)/27). Is p <= k?
True
Suppose -28 = -4*i + 4. Let v = i - 6. Let w = -481 - -1445/3. Is w greater than v?
False
Let q = 7467 - 7481. Is 3/7 greater than q?
True
Let y(r) = -r**3 - 38*r**2 + 90*r + 1991. Let j be y(-39). Let i = 354 + -190. Is i at least as big as j?
True
Let r = 62 + -242. Let k be r/(-28) - 6/14. Let f be 302/14 + (k - 156/28). Is 21 smaller than f?
True
Suppose 314*u = 390*u + 407816. Are -5366 and u equal?
True
Let t(j) = 9*j + 19 + 2*j + 2*j. Let s be t(-8). Which is bigger: -83 or s?
-83
Let m = 8190 - 6998. Which is smaller: 0 or m?
0
Let s = -1384 - -286. Let t = s + 739. Which is bigger: -360 or t?
t
Let f be -3114 - 1/((78/24)/(-13)). Is f smaller than -0.1?
True
Let p = 33/113 - 118/791. Which is greater: 0.051 or p?
p
Let p(x) = -153*x**2 - x - 16. Let i be p(4). Which is smaller: i or -2467?
i
Let q(u) = 10*u**2 - 105*u + 64. Let x be q(10). Which is greater: x or -2/123?
x
Let n be (1*4/(7 - 9))/4. Let l = -18 - -18.28. Is l less than or equal to n?
False
Let f = -23.9905 + -0.0095. Let k = -23.92 - f. Is -0.37 smaller than k?
True
Let z = -0.186 - 200.814. Let k = -201 - z. Is -2/3 at most as big as k?
True
Let q be ((-282)/6)/(2/(-7244078)). Let f = 88011865075/517 - q. Let h = f - -1290/11. Which is smaller: 1 or h?
h
Suppose -h = 5, -y + 3*h - 2 = -10. Let f(l) = -5*l - 3. Suppose -5 = -n + 2*p, 3*p + 6 = p. Let w be f(n). Is w bigger than y?
True
Let x be 36/15*(-80)/24. Is -69 at least x?
False
Let w = -2919 - -2920.057. Do -0.1 and w have different values?
True
Let l = 3524467256/20675 - 170470. Which is smaller: 0 or l?
0
Let s = -112 + 107.1. Let c be 12/(-2) - 2230/(-375). Let m = 26/75 - c. Which is smaller: m or s?
s
Suppose 257 = -4*j - 475. Which is greater: j or -176?
-176
Let h(m) = -m**3 + 2*m**2 + 6*m + 8. Let g be h(4). Suppose g = 7*v - 23*v + 2544. Are v and 160 nonequal?
True
Let h = 201/20 - 97/10. Let z = -1105 - -1104. Is h bigger than z?
True
Let w = -11029.1 - -11029. Let s be (23/(-2))/((-22)/(-308)). Which is smaller: w or s?
s
Suppose -7*v + 21 + 70 = 0. Suppose -v = 7*s + 6*s. Are -3/5 and s equal?
False
Let d be 456325/3225*300/8. Let w = d + -5306. Is w at most -1?
False
Let t = 300 + -296.38. Let a = t + -15.62. Is a greater than or equal to 0.1?
False
Let o = 17 + -10.1. Let a = o - 6.784. Let i = a + -0.016. Which is smaller: i or -16?
-16
Suppose -3*m + 5*h + 711 = 7*h, -3*h = 0. Suppose m = -38*f + 85. Let g be (-4)/6*5 - 1. Is g <= f?
True
Suppose 6*l - 54 = 78. Suppose -3*a + 410 = 2*a. Suppose -a + l = -10*m. Is 6 <= m?
True
Let h = 16258 + -520251/32. Are h and 61 non-equal?
True
Suppose -4*c - l = -2*l - 789, -3*c + 603 = -3*l. Suppose -c + 64 = 3*w. Which is smaller: -45 or w?
-45
Let y be 49/(980/(-142680)) - 6. Is -7139 <= y?
False
Let b = -1/1561 + 117094/29659. Suppose -4*t + 39*u - 40*u + 20 = 0, 4*t - 2*u = -4. Which is greater: b or t?
b
Suppose 3*i - 27 = 5*y, -3*y - 5*i - 23 = -0*i. Let c be ((-5)/(1 + y))/((-2)/(-20)). Suppose -l + c = -6*l. Is l bigger than -2?
False
Let j = -6161/2 - -3080. Is j < 91?
True
Let l = -54624 + 54624. Let y be 1*-2 + 64/(-2). Is y at most l?
True
Let t(u) = -4*u + 31. Let j be t(17). Suppose 915 - 989 = 2*q. Is j bigger than q?
False
Let o = -11 + 29. Let c = -35 - -34.976. Let x = -0.124 - c. Is x not equal to o?
True
Suppose -44*o + 40*o + 33*o = 0. Does o = 6/917?
False
Let g be (1620/12285)/(9/(-21)). Suppose 2*i = -5 - 1. Which is smaller: i or g?
i
Let c(i) = -12*i + 43. Let h(p) = -4*p + 14. Let g(d) = 4*c(d) - 11*h(d). Let o be g(-2). Suppose -o*f = -27*f - 48. Is f at least 1/4?
False
Suppose -2*v + 3*v - 93 = 0. Let m = -194 + v. Let p = 211988 - 212090. Is m at least p?
True
Let c = 93 - 63. Let f = 27 - c. Let p = f - 0.7. Which is smaller: -1 or p?
p
Let w = -2 + 36. Let k = -25 + w. Suppose 7 + 2 = k*m. Is m at least 3/29?
True
Let v be (-17)/(-119) + (-6)/((-16928100)/(-403134)). Is -1 equal to v?
False
Let z = 0.0706 - -70.0294. Let j = z - 70. Which is smaller: 0.083 or j?
0.083
Let j be (-41)/(7/(93 - 2)). Let x = j + 530. Which is smaller: 46 or x?
x
Let k = 5617 + -16853/3. Is 1789 bigger than k?
True
Suppose -2*u = -7*u - 65. Let t = -28.8 - 0.7. Let c = t - -26.5. Which is smaller: u or c?
u
Let u be 1*-1 + -7 - (40 - 38). Let c be 9/(-189)*(-12)/u. Suppose -4*h + 16 = 4*f + f, -3*f + 20 = 5*h. Which is bigger: c or f?
f
Let o be (-164)/(-7995) + (-2)/39. Is o greater than or equal to 0?
False
Let z(y) = -1452*y**2 - 95*y - 93. Let p be z(-1). Which is smaller: -1454 or p?
-1454
Let h = -8.111 + 8. Let j = 437 - 436.87. Let u = j + h. Are u and -1 non-equal?
True
Suppose 0 = -30*n + 38*n - 208. Suppose 2*u - n = q, -4*u - 2*q = -7*q - 64. Let c(t) = 11*t**2 - 2*t + 1. Let p be c(1). Which is smaller: p or u?
p
Let z be 1964/28 - (-6)/7 - -1. Let o be (-36)/z + 1558/1044 + -1. Which is smaller: 1 or o?
o
Let s = 0.055 - -6.005. Let y = 4.76 - s. Which is bigger: 0.03 or y?
0.03
Let w = -5.7529 - -4.7529. Do w and 1/10416 have the same value?
False
Let p(c) = -5*c**3 + 3*c**2 + 2*c + 3. Let m be p(-2). Suppose -49*w + 185 = 38. Suppose w = -3*v, 4*n - 4*v = -v + m. Which is greater: n or 15?
15
Let g be (1/302*1)/(123/(-82)). Which is smaller: 1 or g?
g
Let j be (-326)/(-14) - 4/14. Suppose -891 = -5*v + 3*o + 927, -3*o - 1455 = -4*v. Let l = v - 341. Which is smaller: j or l?
l
Let c be -15*(451/132)/(-41). Which is smaller: -2 or c?
-2
Let x = 1 + -2. Let k = 101704 - 101634. Which is bigger: k or x?
k
Let o(d) = d**2 - 7*d - 35. Let y be o(0). Are -23 and y unequal?
True
Let c = -231 - -275. Suppose -38*u = -c*u - 96. Is u <= -23?
False
Suppose -3*f = -4*h + 189, 261 = -178*h + 182*h + 5*f. Let c = -68 + 124. Which is smaller: h or c?
h
Let t = 863475 - 756404383/876. Let h = -3/292 + t. Which is greater: h or -204?
h
Let f(o) = 3*o**3 - 49*o**2 + 27*o + 34. Let q be f(16). Which is bigger: 204 or q?
q
Let z = 14103 + -12307. Which is bigger: 1 or z?
z
Let p be 1 - 0 - 0 - -26. Let k(q) = 3*q + 67. Let x be k(31). Let v = x - 132. Is p at least as big as v?
False
Let g(l) be the second derivative of l**3/3 + 13*l**2 + 6*l + 3. Suppose 0*p + p + 13 = 0. Let w be g(p). Which is bigger: -1 or w?
w
Let r = 191/2 + -9365/98. Let o be 7/42 + (-1)/6. Which is smaller: r or o?
r
Let o be (-2)/2 + (-22)/4. Suppose -5*z + 37 - 17 = 0, 0 = -3*a + z - 1375. Let i = a - -450. Which is smaller: i or o?
i
Let r = 58 + -48. Suppose -3*x = -r*x + 7. Which is smaller: x or -2/23?
-2/23
Let d = -54365 - -489851/9. Is -0.04 less than d?
True
Let s = -6217 + 7688. Which is bigger: 1 or s?
s
Suppose -31*k + 5*d + 108 = -32*k, -5*k = -5*d + 690. Is -15 at most as big as k?
False
Let o = 13616 + -667186/49. Which is smaller: -149 or o?
-149
Let j = 10150 - 10127. Which is smaller: j or -1.05?
-1.05
Let u(h) be the first derivative of h**4/4 + 20*h**3/3 + h**2/2 + 19*h - 43. Let d be u(-20). Is 5 at most as big as d?
False
Let k(l) = 9*l + 11. Let j be k(4). Let r = j + -60. Let m be (r/(-793))/(-1 - 4/(-2)). Is 0 bigger than m?
False
Let w(c) = 3*c**2 + 44*c + 2. Let p(d) = -80*d**2 - 1190*d - 55. Let h(k) = -2*p(k) - 55*w(k). Let t be h(-8). Let y = -211/5 + 42. Is t greater than y?
True
Let i(d) = -d**2 + 3*d - 3. Let j(q) = q. L