5/((-130)/(-76)). Which is bigger: 1 or l?
l
Let m = 92.178 + -92. Let a = m - 0.278. Is a at least as big as -1/2?
True
Suppose 8*q + 26 - 50 = 0. Suppose q*f = -4*c + 150 + 146, 4*c = 8. Are 96 and f equal?
True
Let o = 313786 - 1404819916/4477. Are o and 0 equal?
False
Let z be 1/(45/10) - 1616804/198. Let d = z - -2874720/319. Let c = d - 846. Which is greater: c or 1?
1
Let j = 0.9473 + 0.0527. Does -1963 = j?
False
Let h be 2*((-2406)/(-12) - -1)*(-1)/2. Do h and -201 have different values?
True
Let b be -3 + (-6 - (3 - 7)). Let c = 48.6 + -46. Let z = c - 1.6. Is b at most as big as z?
True
Suppose 5*r + 2*p = 372, 80 = -4*r + 5*r - p. Does -12 = r?
False
Let o be -6*(2/5)/((-8)/10). Suppose o*n = 5*r - 431, 2*r + 2*r - 290 = 2*n. Is -136 less than or equal to n?
False
Let i be (-1 + (-6)/((-9)/3))*6. Let q be (i/4)/((-3)/(-6)). Suppose v + q*v = -4*l - 4, -5*v - 2*l = -7. Which is greater: 21/5 or v?
21/5
Suppose -2850 = -17*n + 12*n. Suppose n = 16*c - 6*c. Suppose 0 = 5*m - 211 - 74. Are m and c nonequal?
False
Let p = -3445 - -3471. Which is bigger: 49 or p?
49
Let k = 2214.5 + -2218.5. Do -0.0715 and k have the same value?
False
Let w = -6560 - -8220. Is 1662 smaller than w?
False
Let v = -8964 + 8961. Which is bigger: v or -64/23?
-64/23
Let g = 62.9 + -72. Let h = 5.1 + g. Let i = -6 + 10. Which is smaller: i or h?
h
Let t = 4 + -4. Suppose -11*u - 96 = u. Let m be (-53)/26 + (u - -10). Which is bigger: t or m?
t
Let u(p) = -9*p + 199. Let t be u(21). Let g be t/(-105)*-7*-3. Is -6/11 > g?
True
Suppose b + 4*b + 4*s = 300, -b = 5*s - 39. Suppose 12*q - b = 4*q. Suppose q*h - 3*h = -5. Is h greater than or equal to -3?
True
Let b be 6801/(-6795) + 5 + (8/(-2) - 0). Which is greater: b or 1?
1
Let r(p) = 67*p + 1. Let u be r(0). Which is bigger: u or 10?
10
Suppose -2*k + 5627 = -5*q, -13*q = k - 11*q - 2809. Suppose -25*w = k - 9086. Are w and 251 equal?
True
Let n = 17.793 - 17. Let l = 0.393 - n. Which is bigger: -11/4 or l?
l
Suppose -4765 = -5*q - 5*m, 66*q - 67*q - 4*m + 935 = 0. Do 952 and q have different values?
True
Let k = 841 - 871. Let t = -9661/3 + 3187. Let n = k - t. Is n less than 3?
False
Suppose w - 2*v + 0*v = 5, -5*w - 2 = -v. Let i = 630485/24 - 26270. Which is bigger: i or w?
i
Let h = -54808/87 - -630. Let i be (9 - 2)*1 + -3. Suppose 3*z = -z + i. Which is bigger: z or h?
z
Suppose -24513 - 18789 = -14*q. Let r = -5207 + q. Let b = r + 16933/8. Which is greater: 3 or b?
3
Let m(g) = 3*g**2 - 7*g + 22. Let d be m(6). Suppose 3*f - d = -w, -3*f - 2*w + 118 = 26. Let k be 2/8 - (-7)/f. Is k less than -2/3?
False
Suppose -40*l = -44*l + 3*x + 15, 3*l + 3*x = -15. Let g = 32 + 48. Let s be -1 + (g/22 - 2). Which is smaller: l or s?
l
Let v = 271.3 - 244. Let g = -27.1 + v. Is g bigger than -2/139?
True
Let t = 23.5 - 24. Let p = -22.07 - -0.07. Which is greater: t or p?
t
Let d = -3609535 + 1580975669/438. Let o = 2/219 + d. Which is bigger: o or 2/25?
2/25
Let z = 88 + 44. Let q = z - 132. Is 133 less than or equal to q?
False
Let w be (-470)/188*(-6704)/(-50). Which is greater: w or -336?
w
Let u be (-38)/(-35) + 4/(-14). Let v(a) = a**2 + 8*a - 27. Let c be v(-10). Let w be ((28/(-16))/c + 0)*0. Are u and w non-equal?
True
Suppose -25*y - 3768 = -28*y. Let d = y - 6304/5. Let j = d - -3298/685. Which is smaller: j or 1?
j
Let k = -182654 + 1465177/8. Let v = -713981/1448 + k. Do 0 and v have the same value?
False
Let g = 31.75 + -33. Let l = g + 70.25. Let p = l + -67. Which is smaller: 3/16 or p?
3/16
Suppose -19*h - 196 = -12*h. Let x(w) = -w**3 - 30*w**2 - 57*w - 8. Let g be x(h). Which is greater: 19 or g?
g
Let p = 13477 + -10520. Is p at least as big as 2959?
False
Let t(g) = 2*g**2 + 7*g - 5. Let u be t(-7). Suppose 5*l - u = 2*o, -4*o = 6*l - l - 62. Let w be (0 + -7 - -6)/((-18)/l). Which is smaller: 2 or w?
w
Let s = -254 - -256. Suppose -5*u + 3*f - 155 = 0, -4*u + s*f - 65 - 61 = 0. Do u and -33 have the same value?
False
Suppose 2*n - 6888 = -10*n. Suppose 9*v = -n + 1807. Is v smaller than 138?
True
Suppose -2 - 6 = 8*c. Let f be (-7 + (-9)/c)/((-4)/(-10)). Suppose -5*x - 4*t = -15, 0*t - 2*t = f*x - 5. Is x <= 1/22?
True
Let w = -247 - -126. Let b be ((-3)/9)/((-58)/(-174))*2/3. Is w != b?
True
Suppose 2*d - 24 = -0*d. Suppose o = -d + 54. Suppose 65 = 8*x - 7*x + 5*z, -2*x - 4*z + 100 = 0. Which is greater: o or x?
o
Let f be ((-12)/(-150))/((-43)/5). Let d be ((-2)/390)/((-258)/7272). Let c = d - f. Is 0.2 less than c?
False
Let a = 62585586545/295290435264 + 20/22076139. Let r = a + -1/704. Let f = 27 + -27.2. Which is greater: f or r?
r
Let c = 914/3 + -17330/57. Let u be (-10)/(-4) - 27/54. Suppose 4*k + o - u = 0, 0 = -k + o - 2*o - 1. Is c != k?
True
Let s(f) = 2*f**3 - 19*f**2 + 9*f + 38. Let h be s(9). Are h and 0 non-equal?
True
Let f = 10.3 + -0.3. Let z = f - 12. Let b = 324.7 + -325. Which is smaller: z or b?
z
Let s = -39 - -63. Suppose -28*l = -s*l - 8. Suppose 3*j = l*j - 3. Is j at least -1?
False
Let c = -2647 - -2642. Which is bigger: c or -145/24?
c
Suppose 3*v = -7*o + 3*o + 2604, 3*v - 4*o - 2580 = 0. Suppose -17*h - 37*h + v = 0. Suppose -53 = -2*n - 15. Are h and n equal?
False
Let x = -9168/5 + 1833. Let i = 111 + -111.5. Is x > i?
False
Let b = -748.632 + 749. Let g = b - 173.368. Is g at most as big as -2?
True
Let o = -1 + -1. Suppose -17 = 5*n - 2*j, -n + 0*j = -j + 1. Let u be n - 58/(-16) - -1. Which is smaller: o or u?
o
Let s = -38 - -41. Suppose s*h = i - 330, 0 = -0*h + 3*h + 2*i + 339. Do -111 and h have the same value?
True
Let j(w) = -w**3 + 7*w**2 - w + 1. Let t be j(5). Let r = 52 - t. Suppose 6 = 8*y - r*y. Is 13/4 smaller than y?
False
Suppose -2*z = 3*w - 217, -148 = 2*z - 2*w - 390. Suppose -74 = -5*y + z. Suppose -y - 1 = 13*u. Is 1 != u?
True
Let x = 272.28 + -268. Let d = 17.28 - x. Which is greater: 10 or d?
d
Let n = 876 + -720. Which is smaller: 154 or n?
154
Suppose -9 - 46 = 26*t - 81*t. Let v = -965589/451 + 2141. Which is bigger: v or t?
t
Let k = 234 + -209. Suppose 7*p - 12*p - k = 0. Which is greater: -6 or p?
p
Let z = 56.47 + -10.55. Let i = -767 - -721. Let t = i + z. Is 0.3 at most t?
False
Let d = -129813/10 + 12971. Let z = -9/5 - d. Let f = 32132 + -32123. Is f >= z?
True
Let x = 3629 + -3526. Which is greater: x or 4?
x
Let v = 3.0205 - -0.0795. Let w be (1/(-14))/(4/(-16)). Is w greater than v?
False
Suppose 185*c - 194*c = -18. Suppose q = 4*a - 2*a + 2, -3*q + 28 = 5*a. Suppose 3*d - 4*t + c = q, -2*t - 4 = -d. Which is smaller: d or -34/11?
d
Let u be 1005/350 - 36/(-21)*1/4. Suppose 0 = -5*y - 3*s + 6, 3*y - y = -4*s - 6. Is u bigger than y?
True
Let a = -85 - -411. Let c = -214 + a. Let t = c - 73. Which is smaller: 40 or t?
t
Suppose 4*s - 484 = 4*j, -2*s - 3*j = -2*j - 257. Let y = -124 + s. Which is bigger: y or -7?
y
Let h = 33656 + -28723. Is 4930 less than or equal to h?
True
Let z = 8203 - 8202. Is -11598 < z?
True
Suppose 8*j - 12*j = -4092. Suppose 3*u + 0*u - j = 0. Suppose -11*l + u = -0*l. Is 34 smaller than l?
False
Let a = 1291332460411849 + -5861358156412757326/4539. Let c = -26129847 - a. Let k = c - -1/267. Is k bigger than 1?
False
Let d(i) be the first derivative of 12*i**2 - 8*i - 10. Let j be d(3). Let f = j + -54. Which is bigger: f or 11?
11
Let a = 81 - 568/7. Let i = -4972/61525 - -2/2461. Which is smaller: a or i?
a
Suppose 0 = m - 2*z + 104, 2*m - 413 = 3*z - 615. Are m and -2664/29 equal?
False
Suppose 258410 + 187912 = -219*d. Is -2039 <= d?
True
Let s = 0.7481 + -1.0481. Does -1262 = s?
False
Let v(s) = 8*s - 171. Let t be v(21). Let b be (-1)/(-3) + (-206)/t. Are 70 and b equal?
False
Let q be ((4/(-18))/(14/((-5796)/299)))/(-2). Let h = 1 - 1.1. Is q < h?
True
Let j be (-2)/((-23)/(138/(-12))). Which is greater: j or 4/21?
4/21
Suppose 12*g - 5*g = 274 - 211. Let q = 25 + -26.1. Which is bigger: g or q?
g
Let o = 10.832 + 349.168. Which is smaller: o or -15?
-15
Let i be (-190)/114 + (7/21)/((-3)/9). Is i <= -1546?
False
Let z = -1629/14 - -760/7. Let j = 41/21 + z. Suppose -63 + 37 = 30*c + 124. Are c and j nonequal?
True
Let a(n) = -n**3 + 7*n**2 + 8*n + 7. Let g be a(4). Suppose -24*j - 141 = -2229. Is g < j?
False
Let r(z) = 10*z**2 + 111*z + 4. Let p be r(-11). Let h = -1.002 + 0.002