 smaller: 2/155 or y?
y
Let x be (1/(-1))/((7/17)/7). Is -2/5 at most x?
False
Suppose 0 = -5*p + 2*j + 1926, -4*p + 1227 + 324 = -5*j. Is p not equal to 383?
True
Suppose 2*f = 5*m - 0*m + 34, -2*m = 4. Let j = -9 + f. Does 11/5 = j?
False
Let o(l) = l**3 + 32*l**2 - 57*l + 103. Let c be o(-34). Which is greater: c or -267?
-267
Let g(c) = -110*c. Let w be g(1). Suppose 4*s = 4*o - 420, 62*o - 64*o - 234 = 2*s. Which is smaller: s or w?
s
Let u be 6/((-10)/(-4 - 1)). Let d be u/2*188/6. Which is smaller: d or 46?
46
Suppose -4*p = 5*w - 0*p - 9, w + 4*p = -11. Suppose h = -5*u + 4*h - 14, w*h + 26 = -4*u. Let g be (-1)/(-2)*-2 + -2. Is u != g?
True
Let m(r) = -2*r**2 + 38*r. Let v be m(19). Is v >= 11/10?
False
Let m = 289 + -289. Let v = -3/31 - 81/124. Are m and v nonequal?
True
Let j be 30/(-4)*(-6)/39. Let p = j - 92/91. Suppose -w - 5 = 4*w. Which is greater: p or w?
p
Suppose 0 = 5*w + 5*z - 355, 0*w - z - 361 = -5*w. Suppose 2*v + 150 = 2*k, 5*v + 68 = 3*k - 165. Which is greater: k or w?
w
Let y be 1/((-9)/(-2)) - 886/18. Let f = y + 72. Are f and 45/2 equal?
False
Suppose -6*c - 2*c + 144 = 0. Let p be 4/c + (-8)/(-216)*21. Let j be 2/8 - 114/(-56). Is j != p?
True
Let c be 3/12 + 4*(-5)/80. Which is smaller: c or -3/61?
-3/61
Suppose -540*k = -549*k + 63. Which is smaller: k or 12?
k
Suppose 0*p - 20 = -5*p, -3*s - p = 83. Do s and -30 have different values?
True
Let d = 117 - 117.35. Which is greater: -2 or d?
d
Let h = -19618 - -8219946/419. Is 1 at most h?
False
Let f = 190.3 - 190. Which is smaller: -14 or f?
-14
Let v = -118.3 - 8.7. Let w = -127.1 - v. Which is smaller: -1/16 or w?
w
Let v be 8/(-52) - (-11704)/77935. Which is smaller: -1 or v?
-1
Let d = -19/198 + 5/33. Let h(u) = -62. Let c(q) = -q + 186. Let l(a) = -3*c(a) - 8*h(a). Let x be l(21). Is x equal to d?
False
Let y = -6.9 + 0.9. Let w = y + 5. Is w less than or equal to -4?
False
Let x(z) = z**3 - 10*z**2 - 14*z - 10. Suppose -5*s + 57 = h, -2*h + 32 = 2*s + 6. Let i be x(s). Is -42 < i?
False
Let i = 16/15 + -2/3. Let f be (-2)/7 + (-184)/(-56). Suppose 13 = -z + 4*k, -5*z + f*k = -k + 17. Does i = z?
False
Let b(y) = 3*y**2 + 39*y + 143. Let h be b(-9). Which is greater: h or 37?
37
Let u(q) be the second derivative of q**5/20 + 19*q**4/12 - q**3/6 - 14*q**2 + 10*q. Let f be u(-19). Let n be (-21)/f - (2 - -2). Which is greater: -2 or n?
n
Let k(x) = -x**3 - 7*x**2 - 6*x. Let r be k(-1). Let n = -41.993 + -0.007. Is r <= n?
False
Let i be 80/(-70) + (-404)/(-329). Which is smaller: 0 or i?
0
Suppose -4*n = -2*h + 14, 0 = -h - 2*h - 4*n - 9. Suppose -2*l + 3*p - 7*p = 70, l = -3*p - 39. Let r be (-15)/l*4/(-5). Which is smaller: h or r?
r
Let k = 0.1292 - -0.0508. Which is greater: k or -0.4?
k
Let v(i) = i**2 - 4*i + 3. Let g be v(2). Let t be 0/g*(-1)/(-2). Suppose -6*x + 8*x - 2 = 0. Does t = x?
False
Let v = 160396/77 - 2083. Which is greater: -0.1 or v?
v
Let m = 3 + -1. Let u = -125463/5 - -25211. Let d = u - 118. Which is greater: m or d?
m
Suppose -3*o - o = -16. Let t be 1/o - (-329)/28. Let z be (2/8)/((-6)/t). Which is bigger: -2 or z?
z
Let t = 0.36 - 0.46. Which is bigger: t or 20?
20
Let u be ((-10)/35)/(1/(28/(-2))). Let n be (-1)/u + (-5)/(-60)*3. Which is smaller: -0.35 or n?
-0.35
Let k(b) = -2*b**3 + 8*b**2 + 2*b + 9. Let v be k(5). Are -22 and v nonequal?
True
Let m = 49 - 43. Suppose q - 2*q = -m*q. Which is bigger: 1/21 or q?
1/21
Let l = -2379 - -955. Which is bigger: l or -1?
-1
Let a = -143 - -100. Which is smaller: -42 or a?
a
Let a(u) = -8*u**3 - 2*u**2 + 3. Suppose 9 + 3 = -4*l, 5*j + 3*l = -34. Let m be a(j). Let r = -54323/57 + m. Is 1 < r?
False
Suppose o + 0 + 0 = 0. Suppose o*c - 3*n = 4*c - 12, 2*c + 4*n - 16 = 0. Let x be ((-1)/(-7))/(1/6). Is c != x?
True
Suppose 18*m - 5*m = 13. Do m and -1/29 have the same value?
False
Let z = 29.24 - 28. Let k = z + -0.04. Let j = -0.8 - k. Are j and 0 unequal?
True
Let i be ((-90)/28)/((-912)/1064)*16/(-6). Let w be (6/15)/(2/(-47)). Do w and i have the same value?
False
Let a = 615 + -617. Which is bigger: 59/10 or a?
59/10
Suppose 10*s + 4 = 12*s. Suppose -5*a + a + 2*q + 46 = 0, 36 = 3*a - s*q. Suppose 0 = 6*l - a*l. Is l < -6/7?
False
Let a = -162.84 - -27.94. Let v = a - -135. Is 1.17 equal to v?
False
Let k(s) = 6*s + 5. Let a(t) = 1. Let h(r) = 6*a(r) - k(r). Let l = 31 + -30. Let w be h(l). Which is smaller: -1 or w?
w
Let o be (-1446)/10 + -7 + (-55)/(-5). Let b = o - -141. Let l be ((-9)/15)/(1/(-2)). Is b at most as big as l?
True
Let n = -5/9 + 11/9. Let a = 162 - 647/4. Let r = 11/12 - a. Is r at least as big as n?
True
Suppose -4*b + 5*b - 3 = 0, 2*u + 1 = -3*b. Let y = -24/5 - u. Let k = -16.07 + 16. Is k at most as big as y?
True
Let l(b) = -b**3 - 6*b**2 + 11*b - 3. Let p be l(-8). Let j = 27 - p. Is j at most as big as -10?
True
Let p(s) = -s**2 + 6*s - 5. Let g = 43 - 37. Let h be p(g). Is h <= 3?
True
Let c = 298/23 - 32298/2507. Is c less than or equal to -1?
False
Suppose -263 - 2278 = 11*t. Let l be (-2*2/(-28))/(198/t). Which is bigger: l or 1/8?
1/8
Let m(t) = -2*t**3 + 2*t**2 + 4*t - 5. Let l(a) = 5*a + 77. Let o be l(-15). Let y be m(o). Which is greater: -10 or y?
y
Let i = -0.4894 + 0.0894. Is i not equal to -12?
True
Let k be (10/(-3695))/(-1 - -2). Which is smaller: 1 or k?
k
Let k be 4/78 + (-690)/(-234). Which is greater: 73 or k?
73
Let q = 3438/5 + -688. Is q at least 67/5?
False
Suppose -19*c - 45 = -26. Is -318 at most as big as c?
True
Let b = -755.9 + 770. Which is greater: -2/3 or b?
b
Let n = -49 + 48. Suppose -2*r + 11 = -i - 52, 33 = r + i. Let k be (-34)/r*2 + 2. Do n and k have the same value?
False
Let f = 23 + 0. Let b = f - 20. Let m be 1 + 2 + (1 - 1). Is m != b?
False
Suppose 2*x - 425 = 5*k, -21*x = -2*k - 25*x - 146. Is -75 bigger than k?
True
Suppose -a + 4*x + 17 = -2*a, -3*x = -a - 3. Let s = -6 - a. Suppose 3*v + 0*v - s = 0. Which is greater: 1/2 or v?
v
Let j = -1406/3 - -469. Which is greater: -60 or j?
j
Let t = 0.473 - 0.173. Is -1/12 bigger than t?
False
Let y = -8 - -4. Let r = y - -7. Which is bigger: r or 9/5?
r
Let x(k) = -4*k + k + 5*k - 3*k - 5. Let m be x(-4). Let s = 1049/336 - 22/7. Which is smaller: s or m?
m
Let q be (4/(-4) - (-12 - -6)) + 308. Which is bigger: q or 311?
q
Suppose -8*h + 3*h = 3*a - 26, -a = -2. Which is greater: 1/9 or h?
h
Let v = 487 + -417. Is v greater than or equal to 70?
True
Suppose -2*m - 13 = -5, -2*o - 6 = -4*m. Let v = o + 1. Let i be 18/165 + 2/v. Is -1 < i?
True
Let k = -50 + 53. Let b = -0.32 - -3.12. Let t = k - b. Which is smaller: t or 9?
t
Let y = 1/13963 + -2080491/55852. Which is greater: -37 or y?
-37
Let w be (70/(-4) - 6) + 7. Does -16 = w?
False
Let m be (1 - 7)/((-12)/1416). Is m < 707?
False
Suppose 1992 = -j - 8*d + 12*d, -5*j = 3*d + 9937. Which is smaller: -1987 or j?
j
Let h(q) = q**3 - 17*q**2 - 21*q + 55. Let a be h(19). Do a and 379 have different values?
True
Let n = 148 + -116.78. Let o = n - 31. Is o at most -1/3?
False
Let m = 704 + -704. Which is bigger: m or -8/75?
m
Let z(l) = -l**2 - 9*l - 16. Let v be z(-3). Suppose 22 = -0*y - 2*y - t, -3*y - v*t - 35 = 0. Is -63/8 < y?
False
Let f = 924/5 - 184. Suppose 780*r - 777*r - 3 = 0. Which is bigger: r or f?
r
Let q = 0.03281 - -0.06719. Let l = 1.328 - 1.4. Which is smaller: l or q?
l
Let q = -24.035 - -0.035. Let h = q + -3. Let m = h + 18. Which is smaller: 0.1 or m?
m
Let q = 42 + -40. Let d be 4*3/12*-2. Let r(x) = -3*x - 3. Let f be r(d). Which is bigger: q or f?
f
Let a be -1 - (4/2 - 3). Suppose -2*j + 4*y + 20 = a, -j - 3*j + 5*y = -34. Suppose 4*f = -5*n - 9 + 44, 0 = -f. Does n = j?
False
Let n be (-2)/3 + (-380)/(-12) + -1. Suppose 8*q + 2*q = n. Which is smaller: q or 4?
q
Let o = 44/95 - 5/19. Is o at least 2/15?
True
Let x = 28 + -23. Suppose 4*l = 2*g + 2, 2*l - 3*l + x = g. Which is smaller: l or -1?
-1
Let a(o) = -o - 2. Let h be a(6). Let c = 510 - 520. Is c not equal to h?
True
Let w = -817 - -822. Which is smaller: 1 or w?
1
Let i(m) = -m**2 - 18*m - 6. Let d be i(-19). Is d less than or equal to -24?
True
Let p = 11 + -15. Let z = 61 + -57. Let q = z + p. Which is smaller: q or 8/5?
q
Let g(f) = 2*f + 15. Let s be g(-5). Suppose s*x = -x. Do x and -6/7 have the same value?
False
Let d =