greater: u or q?
u
Let j(x) = -x**2 - 2*x + 26. Let w = -41 - -36. Let c be j(w). Let f be 2*1/2*(32 + -18). Is f less than c?
False
Let k be (-1 - -1) + (-406)/7 + 4. Let a = -48 - k. Suppose 0 = 3*m + 4*u - 2, 0 = 4*m - 3*u + 5*u - a. Is m less than 20/9?
True
Suppose -2255*l + 2278*l = 2898. Is 204 at least l?
True
Let u = -30 + 30. Suppose 5 = x, u = 3*c - 2*x - 644 + 4692. Let g = 71336/53 + c. Is 0 at most as big as g?
False
Let u = 23419/497 + -110/71. Is u at most as big as 46?
True
Let t = -0.86 - -60.86. Let s = -31 + t. Let v = s - 29.12. Which is smaller: v or 0.1?
v
Let s(m) = m**3 + 3*m**2 - 4*m. Let p be s(-3). Suppose -29*v + p = -28*v. Is -0.8 > v?
False
Let q(w) = -w**2 + 1. Let j be q(-1). Suppose j = y + 10 - 11. Let a = 221/7 - 11071/350. Is a < y?
True
Let h = 27409/44254 + -71/109. Do -1 and h have the same value?
False
Let o be -2*-2*(-7)/28. Let y be ((-4)/10)/(o/(-200)). Is y greater than -82?
True
Let h(z) = 15*z - 65. Let k be h(3). Is 2 smaller than k?
False
Let h be (21/28)/(2/8). Suppose 42 = 10*w - h*w. Let b = -15 - w. Is -20 < b?
False
Let o = -8/135 - -71378/1205415. Which is bigger: o or 0?
0
Let q(w) be the first derivative of -w**4/4 + 17*w**3/3 - 27*w**2/2 - 34*w + 14. Let a be q(15). Which is bigger: a or 9?
a
Let a = -118 + 305. Let i = a - 102. Which is greater: 0 or i?
i
Let k = -628144 - -22252001202/35425. Which is greater: k or 0?
k
Suppose -10*g + 7*g - 4*a = 29, g - 3*a = 12. Which is greater: 659 or g?
659
Suppose 81*z = 84*z. Let k be 3 + 2*(-1 - z). Let y = -206 + 8651/42. Which is greater: y or k?
k
Suppose 2*b + 2*j + 2440 = 0, 0 = -3*j - 0*j. Let k = b - -89064/73. Is 1 bigger than k?
True
Let q(o) = -19*o**2 - 4*o. Let z be q(4). Let a = 19934/3 + -6961. Let j = a - z. Which is greater: j or 3?
j
Let k = 30.65 + -30.55. Which is smaller: -537 or k?
-537
Let c(s) = -s**3 - 8*s**2 - 2*s - 2. Let j be c(-8). Let r be 4/j - 9/(-63). Let f = 1 + -1. Which is greater: r or f?
r
Let b = 164 + -34. Let k = b + -78. Let f be k/182 + 11/(-14). Are f and 0.15 unequal?
True
Let c = 77837/15 + -5191. Let z = -333 + 332. Is z not equal to c?
True
Let c(a) = -31*a - 2. Let l be c(1). Let q be 6/10 - (-163)/(-5). Are l and q equal?
False
Let z be (-2)/3*15/(-10). Let u be z/4 + (-15)/(-20). Let t = 365/5502 - -2/393. Is t >= u?
False
Suppose -131*i + 149 = a - 135*i, 5*i - 104 = -a. Let t(u) = 6*u**3 - 3*u**2 - 2*u + 1. Let p be t(3). Is a < p?
True
Let x = -131/385 - -3/55. Let p = -10300 + 10269. Which is greater: p or x?
x
Let o = 257 + -215. Let m = 39 - 55. Let g = o + m. Which is bigger: 27 or g?
27
Let l(f) = -f**3 - 15*f**2 - 12*f + 13. Let w be l(-14). Let b be 51/15 + 6/w. Suppose b*t - 1 = -1. Which is smaller: -2/89 or t?
-2/89
Suppose 0*g = -g - j + 35, -2*g = -2*j - 74. Let i be (35/(-2) + 1)*-2. Suppose i*k - 3 = g*k. Is -3 less than or equal to k?
True
Let c(q) = -3*q**2 - 11*q + 44. Let u be c(-6). Let w(n) = -n**3 + 6*n**2 - n - 4. Let y be w(u). Which is smaller: y or -3?
-3
Let a be 43 + 3*1*(-26)/(-39). Suppose -f - 5*l = -2*f - a, 30 = -2*f - 5*l. Which is smaller: f or -21?
f
Let r = 2.022 + -2.162. Are r and 74/9 equal?
False
Suppose -6*i = 3*j - 381, -4*i + 21 + 368 = 3*j. Are j and -0.16 equal?
False
Let r be 10/18*396/330. Is 3678/5 >= r?
True
Let n = 64 - 102. Let w be (n + 1)/(26 + -27). Is 36 greater than w?
False
Let t = 854 + -924. Let o be (-2)/(1 + 86/(-90)). Let u = t - o. Is u != 2/5?
True
Let s(z) = -2*z - 1. Let y be s(2). Let i be (-12)/y + (-2)/1. Suppose -19*v = -60*v + 182 - 2560. Which is smaller: i or v?
v
Suppose 0 = -4*c - 4*b - 60, -b = -0*b - 5. Let r be (124/c)/((-5)/(-25)). Which is greater: r or -32?
r
Let m = -567445/27 + 21013. Which is smaller: -3 or m?
m
Let t = -0.851 + 374.051. Let n = t + -373. Which is bigger: -74 or n?
n
Suppose 0*a - 10 = a. Suppose 0 = -559*l + 3149 + 764. Is a less than l?
True
Suppose -223*j = -221*j - 116. Let b = 9 - 5. Suppose -b*k - 5*n = -116, k - 3*n + j = 3*k. Is 29 less than k?
False
Let c = -6 - -5.4. Let u = 165 + -161.4. Let j = u + c. Which is smaller: j or -5/2?
-5/2
Let f be (72/48)/(((-6)/36)/1). Is f bigger than -23?
True
Let d be ((-20)/(-12810))/((-22)/(-957)). Which is smaller: d or -1?
-1
Let j be (1173/92)/((-3)/(-4)). Let k be j/3 - (-28)/(-42). Let s be k - -8*(-3)/6. Which is greater: s or 0?
s
Let u be 31/(-36) + 135/20 + -6. Suppose 2*k - 5*w - 8 = 4*k, -k = -w - 3. Suppose -2*m = p - k - 1, -2*m = -4*p - 2. Is u at least m?
False
Suppose 2*k + 3 = 5*f, -2*f - 4*k - 46 = -28. Is f at least as big as -36/139?
False
Suppose a = -2*a. Let f = -2872456/227 + 12654. Which is greater: a or f?
f
Let n be ((-16)/5)/(59/(-11505)). Is 3117/5 > n?
False
Suppose 0 = 20*c + 575 + 2625. Let b be 200/c - (-3322)/2664. Which is bigger: 1 or b?
1
Let a = 142 - 149. Suppose v = 2*v - 13. Let i be a*v/((-364)/96). Is i bigger than -2?
True
Suppose -7431*w = -7423*w + 8. Is -6/841 greater than w?
True
Let j be (-120)/(-50)*5 + -1308. Is -1298 not equal to j?
True
Suppose -2*w - 4*j + 48 = 0, 0 = -w + 5*j + 4 + 13. Suppose -26*x = -w*x + 8. Let z be (x + 20/8)/((-2)/(-4)). Which is smaller: z or 2/57?
2/57
Let p be (-2392320)/27136*8/10. Which is smaller: -70 or p?
p
Let h = 324.4 + -40.4. Let p = 237 - h. Which is greater: p or 4/3?
4/3
Let p = -6/7 - -8/7. Let j = -413.51 + 434.7. Let o = -1.19 + j. Is o > p?
True
Let l be 63/(-15)*(266/(-38) + (2 - 0)). Which is greater: -60 or l?
l
Let m be (-4)/(-5) - 21910/(-175). Let k(x) = -x**2 + 16*x + 87. Let l be k(13). Is l >= m?
True
Let s = -5851 - -5939. Suppose -3*i = 0, -4*q = 3*i - 189 - 159. Is q >= s?
False
Suppose -6718*v = -3369*v - 3372*v - 258244. Which is smaller: -11227 or v?
v
Suppose 4*v = -f - 2689 - 1740, -5*f = -4*v - 4423. Which is smaller: v or -1100?
v
Suppose 8*r - 15*r = -2730. Let u = r + -389. Are -5/13 and u non-equal?
True
Let z = -234 - -236. Suppose 4*c - 3*c + z = 2*u, -5*c = -u + 1. Which is greater: 1/23 or u?
u
Suppose -54*c - 78 = -57*c. Suppose c*t = 25*t - 5. Let o(x) = -2*x**2 - 12*x + 2. Let u be o(t). Do 2 and u have the same value?
False
Let o(q) = 1401*q - 39. Let p(v) = 7*v + 3. Let c be p(-1). Let m be o(c). Let l = -1416391/251 - m. Which is smaller: -1 or l?
-1
Let f be (-9 + (-40)/(-16))/(2/24). Let d = 80 + f. Is 9 bigger than d?
True
Let i be (9/9)/(1/(-2)). Let c be (4 - i)*(-2)/(-3). Let s(y) = y**3 - 2*y**2 - 8*y + 6. Let m be s(4). Which is bigger: m or c?
m
Let f(j) = -j**2 - 25*j + 81. Let t be f(-27). Suppose t*b + 480 = 12*b. Does b = -34?
False
Suppose -5*t - 1375 = -4255. Suppose -496 = -4*r - t. Which is smaller: r or -27?
-27
Let p = 1626529/33046 + 27/2542. Do p and 48 have the same value?
False
Suppose -306*b + 302*b + 2608 = 0. Is b smaller than 649?
False
Suppose 0 = -44*j + 38 + 50. Suppose j = -2*n - 3*n - 2*s, 4*n - s = 1. Is 5/117 greater than n?
True
Let z be (-4 + -326)/6 - -1. Let w = -53 - z. Which is smaller: -1/70 or w?
-1/70
Suppose 0 = -x - 52 + 197. Let w = x - 2757/19. Suppose -3232*f + 3235*f = -5*y + 30, -f = -2*y + 12. Is w at most as big as f?
True
Let h = -129 + 149. Suppose 2*d - 4*t = 16, -2*t = 3*d - 31 - 17. Which is greater: d or h?
h
Let v be (-10)/30 - (-4 - 99/(-27)). Is v greater than 14/157?
False
Suppose -8*r = 3*i - 6*r - 2, -16 = -4*r. Let s = -8 + 7. Let j be s*((-145)/(-55) + -2). Which is smaller: j or i?
i
Let h = -7717 + 7642. Are -8 and h equal?
False
Let y be (-3)/(-8) - 5200111/28968. Let a = y - -179. Which is smaller: -1 or a?
-1
Let g be (-57)/((30/4)/5). Suppose -315*p = -201*p + 4218. Is g at most p?
True
Let j = 11975 + -1185614/99. Is -1 greater than or equal to j?
False
Let o be 3/9 - (4/12 + 1). Let l be (o/(-2))/(2/24). Let g be (l/(-12))/(((-6)/(-4))/3). Is 1/5 >= g?
True
Suppose u = -s + 402, -s + 414 = -5*u + 2*u. Is 405 < s?
False
Let s(p) = p**3 - 85*p**2 + 673*p + 832. Let m be s(76). Let w(i) = -2*i**2 + 3*i - 3. Let h be w(3). Is m equal to h?
False
Let v = 5 + -4. Let k = -1564 - 677. Let r be 2/12*2 - (-801)/k. Is v bigger than r?
True
Let y = 472 - 455. Suppose -8*z - y = -9*z. Are -1/3 and z unequal?
True
Let a = -291 + 224. Let d = a - -65. Is d less than -121?
False
Suppose 15*y + 4*m = 14*y + 50, 0 = -4*y + 5*m + 221. Suppose -2*d = 4*k - 18,