 and f unequal?
False
Suppose -20 = d - 5*d. Suppose d*j = 3*j - 3*i - 9, -3*j - 3*i - 21 = 0. Let p be (-11)/(330/j) - (-78)/(-220). Which is smaller: 0 or p?
0
Suppose 4*d = -4*f + 1324, 5*f + 320 + 713 = 3*d. Let y = -25201/75 + d. Let b(n) = -299*n + 1. Let z be b(0). Is y at most z?
True
Let n = 324.92 + -322. Let b = -3.92 + n. Which is greater: b or -0.017?
-0.017
Let z = -4/165 - -224/165. Let l = 0.22 + -1.32. Let m = -1.2 - l. Which is smaller: z or m?
m
Let d be 3 + 8712/1680 - 1/(-10). Are -15 and d equal?
False
Suppose -6*j = 5*o + 2205, 1478*j + o = 1474*j - 1463. Let l = -128 + -235. Is j at least as big as l?
False
Let g(w) = 208*w + 10015. Let d be g(-48). Let t = 0 + -2. Which is greater: t or d?
d
Suppose -4*p = 3*m - 306 - 671, 2*m - 623 = 3*p. Let b = m + -317. Is 17/8 >= b?
True
Let h = -10 - -9.97. Let y = -1/387 + -163/36765. Let w = 11/57 - y. Is w at least h?
True
Let a be 38/(-14) + (-4)/14. Let f be 369/126 - a/(-1). Suppose -5*m + 5*z - 11 - 19 = 0, 2*m - 3*z = -17. Which is smaller: m or f?
m
Let h(i) = i**3 + 7*i**2 + 5*i - 7. Let p(q) = q - 11. Let b be p(6). Let c be h(b). Which is bigger: 16 or c?
c
Let s = -530 - -511. Let h be (-6)/s*13/(26/20). Which is bigger: 4 or h?
4
Suppose 2*r - 10 = -0*r. Suppose 23 = -r*o + 8. Let t be (-5)/(-20)*o - 1. Which is smaller: t or -3?
-3
Suppose -108*m = -63520 - 11540. Which is smaller: 692 or m?
692
Let w = -35.5 - -43.6. Is w at most as big as -17?
False
Let y(l) = -l**3 - 21*l**2 - 80*l - 27. Let q be y(-16). Is 1/24 < q?
False
Let a be ((-354)/8850)/(6*831/(-30)). Which is smaller: -1 or a?
-1
Let g(q) = -2*q**3 + 7*q**2 - 107*q + 478. Let u be g(6). Suppose 2*p + 685 = -5. Which is bigger: u or p?
u
Let a = -8397759429/1567280 + 126374/8905. Let x = -5344 - a. Is 1 less than or equal to x?
False
Let q be 328/3*11*30/165. Which is smaller: q or 220?
q
Let f(k) = 4*k - 77. Let x be f(15). Let j(w) = w**2 + 5*w - 6. Let i be j(-6). Suppose i = -0*g + 3*g + 51. Are g and x equal?
True
Suppose 1708 = -64*a + 145*a - 67*a. Which is smaller: a or -1?
-1
Let g be (20/40)/((-2)/(-36)). Suppose 2*k - 17 = -3*v - 3*k, 5*v - 75 = k. Suppose 0 = -0*m + 3*m + 4*l - 14, -2*m + v = -2*l. Is m > g?
False
Let j = -200 - -200.66. Let l = j + 0.34. Is 9 equal to l?
False
Let g = 0.108 + -0.055. Let j = -86.053 + g. Let m = -85.8 - j. Do m and 21 have different values?
True
Let a be (-2)/(-1) - (-73 - -77). Which is greater: a or -92?
a
Suppose 3*w + 2*y = -8027, 4691 + 3329 = -3*w - y. Is w less than -8014/3?
False
Let s = 78 - 24. Let i = s + -51. Suppose -4*d = -15 + i. Is d greater than or equal to 32/9?
False
Let v(d) = -5*d**2 - 30*d - 67. Let m be v(-3). Suppose -2*t + q - 7 = 0, -2 + 1 = -q. Let x be -3 + (1*54)/t. Which is smaller: x or m?
m
Let s be (1 - 0)/(0 + 1). Let d = 68149 + -476043/7. Let k = -143 + d. Is k bigger than s?
False
Let g = -0.37 + 198.37. Let o = 178 - g. Is o < 0?
True
Let w = -1011 + 982. Is -251/9 at least w?
True
Let u be (0 - 16/475)/((-357)/(-7140)). Is u > -1?
True
Suppose -371*l = -3*f - 366*l - 345, -315 = 3*f + 5*l. Are f and -28 equal?
False
Let t = 67.49 - 85.525. Let y = -17.783 + -0.217. Let n = y - t. Which is greater: n or 1?
1
Let z(y) = -y**3 - 21*y**2 + 166*y + 109. Let q be z(-27). Is q at most as big as 130/57?
True
Let m be (-4)/(-30) + 51136/510. Which is greater: 100 or m?
m
Let m(z) = 2*z**3 - 145*z**2 + 99*z - 1932. Let s be m(72). Suppose -2*g - g - 9 = 2*v, -2*g + 5*v = -13. Let f be (13/(-2))/(g/2). Which is smaller: s or f?
s
Suppose 24 = -6*s - 540. Suppose -167 = 2*i + 7. Let f = s - i. Which is smaller: -8 or f?
-8
Let v be 0/(-1) - 2 - (330 + 23). Let x = v - -2494/7. Which is smaller: x or -1/2?
-1/2
Let i be 12*2/33 - (-2)/(528/72). Let g be ((-5)/(-5))/((-1)/(-48)). Let o be ((g/27)/(-4))/22. Which is smaller: o or i?
o
Suppose 0 = -2*o + 3*a + 3, 2*o - 3*a - 9 = 2*a. Let i be (o/(-3) - -6)/1. Which is greater: -3 or i?
i
Let a be ((-2)/3)/((60/(-171))/10). Let k = 63 - 35. Let b = -8 + k. Is b not equal to a?
True
Let h be (27/(-6)*-2)/1. Let x = h + -3. Let b(n) = 2*n + 40. Let t be b(-19). Does t = x?
False
Let m be (-3880)/(-15)*((-7)/(-2) + -2). Does m = 389?
False
Let j = 517 - 517. Suppose -4*k - 44 = 5*d, -4*k - 32 = d + d. Let v be k/(-56)*7/18. Which is smaller: j or v?
j
Let l be (659/(-4) - (0 - 3))*(-56)/(-63). Which is smaller: -145 or l?
-145
Let f = 4 - -14. Suppose -f*t + 155 = -13*t. Let h = 0.1 - 0.1. Does h = t?
False
Let p be 0 - 0/(3 - -1) - -1178. Let i = -27090/23 + p. Which is greater: 0 or i?
i
Let s(y) = 3*y**2 - 2*y - 5. Let b be s(2). Suppose -b*z - 4*l + 34 = -7, 0 = 2*z - 4*l + 6. Suppose x - z*x = 2*x. Which is smaller: x or 1?
x
Suppose -9*t + 1248 = -5*t. Suppose -49*d + 45*d + t = 0. Which is smaller: d or 76?
76
Let j = 121427 - 121335. Suppose 2*z = -2*z + 12. Suppose -m - 281 = -3*p, -z*m + 8*m = -25. Do p and j have the same value?
True
Suppose 24 = 2*v - v + 4*n, 4*v - 3*n = 20. Let p be ((-446)/(-2))/(v + -1). Let w = 32 - p. Is 0 at most as big as w?
True
Suppose 6*s + 120 = -0*s. Let d be s/110 - (-207)/(-11). Are -19 and d nonequal?
False
Let g be (-35496)/(-20) + (-153)/85. Is g > 1773?
False
Suppose 2*o + 0*p + 4*p = -290, 0 = o - 4*p + 115. Suppose -12 = -10*a - 52. Let i be o/(-117) + a/26. Which is smaller: -2/219 or i?
-2/219
Let a = 179 + 574. Let z be (-33)/44 - a/(-12). Which is greater: z or 60?
z
Suppose -c = -6*d + 8*d + 2, -d - 1 = 7*c. Is c greater than or equal to 2/8297?
False
Let p(a) = -9*a + a**2 - 3 - 2*a**2 - 15. Let s = 264 + -270. Let o be p(s). Are 5 and o equal?
False
Suppose 5082 = -96*u - 966. Is -55 <= u?
False
Suppose 10*f + 8*f + 137840 = -23350. Do -8956 and f have the same value?
False
Suppose -4*a - 302 = 70. Let j be (-72)/126 - (1 - ((-22)/(-14) + -1)). Which is smaller: a or j?
a
Suppose 4*l = -3*x + 7*x + 156, 0 = -5*x - 30. Let c = 3.8 - -0.2. Is c greater than or equal to l?
False
Let d(t) = -8 - 9 + 3 - 1 + 3*t. Let a be d(0). Is a at least as big as -21?
True
Let l = -27372 - -26871. Which is smaller: l or -1?
l
Let n = -1.157 - 1.843. Do -0.573 and n have the same value?
False
Let m(z) = -3*z**2 + 19*z - 25. Let o be m(-12). Which is smaller: -0.1 or o?
o
Let n(h) = -5*h - 7. Let j be n(-15). Suppose -2*x = 2*x - 264. Which is bigger: j or x?
j
Let y(b) = 10*b + 66. Let h(f) = -6*f**2 - 20*f + 6. Let m be h(-4). Let i be y(m). Which is smaller: i or -33?
i
Let q = -822 + 795.4. Let u = -26.46 + -0.54. Let y = u - q. Are -12 and y non-equal?
True
Let z = -2112 + 1461. Let h = -651 - z. Do h and -55/8 have the same value?
False
Let c be 45/(-75)*(-10)/(-9). Let t = 251.2 - 251. Are t and c nonequal?
True
Suppose -5*r - a + 5 = -2*r, -5*r + 5*a + 35 = 0. Suppose r*d = -18*d - 294. Are d and 7/8 nonequal?
True
Suppose -10 + 16 = -3*i. Let u be i*(0 + 2 + -4). Let m be -4 - u*(2 + -3). Which is smaller: 4/19 or m?
m
Suppose -2*h + 3*h = 5*t + 1538, -2*t + 7555 = 5*h. Let v = 105927/70 - h. Let s = 3/70 + v. Which is greater: 11 or s?
11
Let l = 0.09 + -0.23. Let g = -834 + 833. Which is smaller: g or l?
g
Suppose -8*p = -0*p - 32. Suppose 0 = -p*d - 0*d + 16. Let g be 1 - (23 - d - 3). Are -15 and g nonequal?
False
Let s be 576/1792*14/24. Let b = 5 + -4. Which is bigger: b or s?
b
Let k = 6448 - -51056. Let y be (-13992)/k + 15/12 + -1. Is -1 at most as big as y?
True
Let m = -348 + -76. Let k = m - -425. Which is bigger: k or -244?
k
Let z = -17426/43 + 2436662/5977. Which is smaller: z or 2?
2
Let n = -3 + 2. Let c be (-69715)/(-10100) + -1 - 6 - (-20)/200. Is c smaller than n?
False
Let a(z) = -890*z - 3209. Let r be a(0). Do r and -3207 have the same value?
False
Let g = 262.2 - 262.2. Is 5/32 greater than g?
True
Let w be 1/(-4)*8886 + 3/(-6). Do w and -2220 have the same value?
False
Let r be (-4)/14 + (11013666/(-1027950) - (-30 + 19)). Which is smaller: r or -1?
-1
Let l be (89/2)/1 - 4. Let g = l - 41. Let s = -4.1 - -35.1. Which is smaller: g or s?
g
Suppose 2*o + a = 547, 0 = -2*o - 4*a + 389 + 143. Let p = o + -182. Is 0 <= p?
True
Let b be 72/60*(-2)/(-12)*10. Let g be ((-2)/4 - b/(-4))*-1. Does g = 11/48?
False
Let l(t) = 6*t + 107. Let o be l(-12). Let h = 41 - o. Is h at most -2?
False
Let k be ((4 - (11 + 2)) + 13)/(