 - -7380. Let s = g - -6/11. Which is smaller: s or 20/9?
s
Let u(s) = s**3 + 5*s**2 - 5*s - 1. Let c be u(-6). Let j(t) = t + 13. Let i be j(c). Suppose -f - i = -5. Which is smaller: f or -1/16?
f
Let k = -7378 + 7364.62. Which is greater: k or 0.2?
0.2
Let i = -0.02963 - 0.06037. Which is smaller: -224 or i?
-224
Suppose 10*f = 2*f + 40. Let c = 112 + -96. Suppose 2*m - c = -2*m, 0 = -o - m + 10. Is f at least o?
False
Let d = 86222/795 - 1624/15. Suppose -1411*m + 1547*m + 136 = 0. Is d smaller than m?
False
Let s be 4/(-102)*(-18 - 429/(-26)). Do s and -3 have different values?
True
Let j(f) = f**2 + 3*f - 6. Let b be j(-5). Suppose 3*c + 62 = 2*w, b*c - 3*w = -w - 82. Suppose -2*y + v = -6, v = 3*y - 117 + 111. Which is smaller: c or y?
c
Let s = 1773739 + -4578020278/2581. Let w = s - 12/89. Let i = -35 - -34. Are i and w unequal?
True
Let i be (9 - 0)*(-42 - (-41 + 0)). Suppose -4*x - 60 = -4*g, 4*x = g + x - 9. Suppose -z = 4*s - 3*z - 12, z - g = -4*s. Do i and s have different values?
True
Let y(x) be the third derivative of -x**5/12 - 17*x**4/8 - 4*x**3 - 7*x**2 + 14. Let z be y(-10). Suppose 0 = 2*b - 7*b - 80. Is z less than or equal to b?
False
Suppose -2*r - 52*r + 10*r + 41272 = 0. Is 938 equal to r?
True
Let w be (38/(-57))/((-70)/66 + 1). Let k be (w - 6 - (2 - -1)) + 91. Suppose 0 = 5*r - 2*u + k, 2*u + 5 = -3*u. Which is greater: 1 or r?
1
Suppose -2*w + x = 55, -2*w + 4*x - 35 = -x. Let j be -3 + 5*(-27)/w. Which is bigger: 3 or j?
3
Let v = 0.21 + -0.34. Let f = -0.87 + v. Let p = -227.7 - -224.7. Which is greater: p or f?
f
Let b(l) = 5*l**2 + 3*l - 17. Let c be b(-5). Let y = -92 + c. Let a be 1 + 1 - (-48)/(-18). Which is bigger: y or a?
y
Let y = -6314.99 - -6309. Which is bigger: y or 3?
3
Suppose -3*k + 30 = 3*q, 5*q = q + 2*k + 34. Suppose -7*r - 3*r = -2*r. Let o be r - -3 - q/1. Is o not equal to -6?
False
Suppose -31*h - 16962 = -9*h. Is h >= -772?
True
Let s = 338/77 + 4238/77. Let y = s + -2437/35. Is -10 < y?
False
Let j = -1821 + 1822. Which is greater: -2/167 or j?
j
Suppose -4*g + s + s = -6, 5*s + 7 = 2*g. Let n be (-2*(-7 + 476/70))/(1*190). Which is smaller: n or g?
n
Let s(u) = -5*u + 6. Let j be s(-4). Let k be (12/(-6) + j)*(-9)/6. Let z be k/126 + (0 - 32/(-14)). Is 20/11 greater than z?
False
Let u = 0.5185 + -0.534. Let q = u - -0.1155. Is 94 less than q?
False
Suppose 13*f + 29 = 146. Suppose -2*s + 4*u + 3 = -5, 0 = s + 3*u - 4. Let r be 6 + s + (-3 - -1). Is f smaller than r?
False
Let v(p) = -p**2 + 17*p - 63. Let r be v(6). Suppose -r*a = -2*s + 123, -2*a + 4*a + 5*s + 82 = 0. Are 0.2 and a equal?
False
Let x = 1.55 - 1.79. Let j = x - 3.66. Which is smaller: j or 0.1?
j
Let z = 100 + -101. Let y be ((-196)/(-172627))/((-6)/(-39)). Is y != z?
True
Let b = 21 + -9. Let h = -3896 - -3917. Let i be (b/42)/((-27)/h). Is i smaller than 3/4?
True
Let u(y) = y**2 + 3*y - 5. Let f be u(-4). Let h = -9203/5787 - -9/6430. Let x = h - -4/45. Which is bigger: f or x?
f
Let j = 3363/4 + -623. Is j >= 217?
True
Let q be (-367507)/(-6)*((-240)/1407)/(-4). Let z = q - 2612. Which is smaller: -1 or z?
-1
Suppose -8*t + 954 = -678. Which is smaller: t or 198?
198
Suppose 24 = -3*q + 33. Let r be (-33)/21*3 - 8/28. Let g be 6/2 + r + 3. Is q smaller than g?
False
Let x(o) = 11*o - 84. Let z be x(7). Let m be (-33 - z/(-7))/2. Suppose -6*i - 68 = -2*i. Are i and m nonequal?
False
Let j be 1/(-1)*13/1. Let g(m) be the second derivative of -m**5/20 + 5*m**4/12 + 5*m**3/3 + 8*m**2 + 4*m + 3. Let l be g(7). Which is smaller: l or j?
j
Let v be 0 + 3886/13 + 47/611. Let n = v - 298. Do 1/365 and n have the same value?
False
Let u = -37.24188 - 0.06812. Is u less than or equal to 1?
True
Let m(d) = 156*d + 781. Let c be m(-5). Is 2/387 smaller than c?
True
Let c(k) = 66*k - 395. Let v be c(6). Which is smaller: v or 2784?
v
Suppose -3*d + 13 = -20. Let p = -9 + d. Let v be (20/(-15))/(2/(-6)). Is p bigger than v?
False
Let s be (3/(-1))/((-6)/(-20)). Let v be 20/s*2/(-8). Is v <= 3.2?
True
Let v be (36/(-15) - -2)*-20. Let a be (-1)/(-28) - (-2)/v. Let o = 9224 + -9223.8. Which is smaller: o or a?
o
Let u(d) = -2*d**2 + 36*d + 38. Let s be u(19). Suppose s = -4*w + 2*v - 78, -w + 4*v = w + 42. Which is greater: -21 or w?
w
Suppose -6*z - 3907 + 965 = 2*x, -1463 = 3*z - x. Are -477 and z nonequal?
True
Let x = -13 - 21. Let m = -18 - x. Suppose -c - 18 = -m. Is c <= -8/3?
False
Let c be (-924)/10 - ((-33)/(-11) + -9 + 5). Which is smaller: -91 or c?
c
Let t = 2849309 + -1886242005/662. Let v = 2/993 - t. Which is bigger: -1 or v?
v
Let h be 0/(((-2)/4)/(45/(-18) + 3)). Which is smaller: 7/1123 or h?
h
Let t(h) = 11*h - 45. Let b be t(5). Let k = 319 - 227. Suppose b*n - 98 = k. Which is greater: 17 or n?
n
Suppose -31775 = 18*p + 23*p. Let h = p + 776. Which is bigger: h or 5/72?
h
Let g = 0.019 - -9.281. Let a = g + -9. Let t = -0.0429 - 5.9571. Which is greater: a or t?
a
Let v(g) = -2*g**3 - 15*g**2 - 6*g + 1. Let k be v(-6). Suppose -6 = 16*w - 19*w. Is k smaller than w?
True
Suppose 0 = 18*d - 13*d - 5. Let k be ((-5 - -5)*d)/1 + 2. Is k at least as big as -86?
True
Suppose 8*r - 64 = 6*r. Let h = -1066 + 1094. Which is greater: h or r?
r
Let f be (636/10)/(-3 - (-531)/180). Let l = f - -779. Which is smaller: l or -494?
-494
Let d = 11 + -8. Suppose -4*p = -2*s + 12, -p + d*p = -3*s - 22. Is -5 smaller than p?
False
Let h(v) = -2*v**2 + 4*v + 1. Let d be h(-2). Let k(z) = z**2 + 15*z. Let w be k(d). Suppose 4*g + 4*r + 5 - 37 = 0, w = 5*g - 5*r - 50. Are g and 10 equal?
False
Let s = -388/2085 + 22/417. Do 0.9 and s have different values?
True
Let z(i) = i**3 + 32*i**2 - 525*i - 11. Let f be z(12). Which is bigger: 10 or f?
f
Let p be 153 - (1 + -14 - -7). Let d = -159 + p. Let c = 1932 - 326510/169. Which is smaller: c or d?
c
Suppose 614*y - 182 = 1219*y - 619*y. Suppose -78 = -3*x + 3*s, -s = 2*x - 0*s - 46. Which is smaller: x or y?
y
Let z = 2.299 - -7.701. Which is smaller: z or 0.99?
0.99
Let j be (-1)/(-2) - 9/17. Let k = -38/53 + 222/901. Let n = j + k. Which is smaller: -2 or n?
-2
Let f be (-144)/4 + 16 - -19. Is f > 1400?
False
Let p = 3595 - 3019. Which is smaller: 577 or p?
p
Let b(j) = -152*j - 3616. Let k be b(-24). Is k equal to 53?
False
Let z be 5 - ((-456)/(-64) + -2). Let i = 208235/24 + -8675. Let r = i + z. Which is greater: r or -3?
r
Let s(u) = -9*u**2 - u - 5. Let c be s(3). Suppose 0*t = -3*t - 4*g - 289, 2*t = -3*g - 192. Let w = c - t. Which is smaller: w or 5?
5
Let s be (81312/2088 - 39)*(-3)/61. Which is bigger: -2/5 or s?
s
Let x = -247.9382 - 0.0618. Let o = x + 141. Let w = 106.6 + o. Is w < 5?
True
Let y = 5221/858 - 159/26. Is y < -16?
False
Suppose -22119 = 13*m - 8*m + 14*a, a = 5*m + 22104. Which is smaller: m or -4420?
m
Let f be (-8)/28*1029/59934. Which is greater: 1 or f?
1
Let h = -6 + 1. Let m = -339 - -478. Let o = 134 - m. Are o and h nonequal?
False
Let j(f) = f**3 + 10*f**2 + 13*f + 37. Let a be j(-9). Let k be (-43 + 39)*a/(-8). Are k and -3/16 nonequal?
True
Suppose 3*k - 4*z + 6*z - 10 = 0, -2*k + 3*z + 11 = 0. Suppose -2*u = -j - 2, 2*u - k = 4*j - 2*u. Is 3.5 >= j?
True
Let h = 3 - 4. Suppose -2*q = -4*k + 12, 2*q + 5 = 3*k - 2. Let s(i) = -3*i + 9. Let w be s(q). Is h greater than w?
True
Let g be (-8 + 16)/(6/3). Suppose -g*n + 251 + 25 = 0. Let a = n - 63. Which is bigger: 1 or a?
a
Let c be (460/(-2912) + 1/8)/1. Let i = -40/1547 + c. Which is smaller: -1 or i?
-1
Suppose -35*p = -82 - 268. Suppose 11*c + 67 = 3*z + p*c, -2*z + 52 = 3*c. Is z < 35?
True
Let i = -0.045 + -142.955. Let f = i - -147. Do -0.01 and f have different values?
True
Let x be (-2760)/12501 + (-4)/(-18). Suppose 74*b + 67 - 16 = 23*b. Which is smaller: b or x?
b
Suppose -18 = 2*f + 4*a, -f + 0*a - 21 = 5*a. Let p(n) = 3*n. Let i be p(-1). Let h be -1*(i/f + -11). Is h != 6?
True
Suppose 5*u - t - 3*t - 95 = 0, u - 10 = -t. Let w(o) = o**2 - 19*o + 59. Let h be w(u). Let n = -494 + 19267/39. Which is smaller: n or h?
h
Suppose 3*g = 8 + 31. Let s be (2 + 0)*(-12 - (-4335)/238). Are g and s equal?
False
Let x = -57 + 52. Let o(m) = -32*m - 25. Let i be o(x). Let v be (-18)/i - ((-178)/(-15) - -2). Which is smaller: -13 or v?
v
Suppose 0 = 13*r + 30150 - 3682. Which is smaller: -1