 5*r + 2 = l. Which is greater: 6/11 or r?
r
Let w = -29762 - -29831. Is 16 greater than w?
False
Let m = 135217127/153962 - 1/307924. Is m less than 878?
False
Let u = 23337180585294155/301207 + -77478878596. Let p = u + 3/3629. Which is bigger: 1 or p?
1
Let d = 244.9 - 270. Let n = -29.6 - d. Is -2 at most as big as n?
False
Suppose -251 = -5*s - 4*b, -23 + 3 = -5*b. Which is smaller: 51 or s?
s
Suppose 2*t = b - 2*t - 44, 0 = 3*b + 2*t - 76. Let l be 14 + (12 - 2604/48). Let x = l + b. Is x bigger than 11?
False
Let p = 39 + -17. Let y = p - 11. Suppose -y*n + 16*n = 90. Is n >= 18?
True
Let m be -5 + 4 - (4711/784 - (-2 + 9)). Which is bigger: m or -1?
m
Let n be (-642)/(-18)*(10 + 1/(-1)). Let m be 5 + 415/(-85) + n/(-561). Is m != 0?
True
Let x be 2/4 + (-8 - 1908/(-24)). Suppose 79*o - 637 = x*o. Is o bigger than 92?
False
Let z = 37 + -37.024. Let s = z - 0.436. Let a = 0.26 + s. Is 8 less than or equal to a?
False
Suppose 93 = a + 114. Let j be (2/4)/(3 + a/6). Is j greater than or equal to -1/316?
False
Let m = 211809886/4589 + -46156. Which is smaller: -0.1 or m?
-0.1
Let a(v) = -v**2 - 9*v - 3. Let w be a(-9). Let z = 21 - 11. Suppose 7*q = 2*q - z. Is w less than or equal to q?
True
Let v be (992/(-20) - 4) + (-4)/10. Let o be (158/v - -3)/((-133)/(-57)). Does 2 = o?
False
Suppose 2*t - 11 = 225. Let d = t + -130. Which is smaller: -9 or d?
d
Suppose -2*y + 3 = 3*a, a = 2*a + 2*y + 3. Suppose 3*t + 12 = a*v, 39*v + 5*t = 36*v + 12. Which is bigger: 11 or v?
11
Suppose -5*p = -10*p + 245. Let b(t) = -41*t + 623. Let v be b(14). Is v at least as big as p?
True
Let r be 30/((-9)/3) + 1. Let d(o) = -o**2 + 22*o - 19. Let j be d(21). Let k be (17/(-2))/(2/j). Do k and r have different values?
True
Let p(j) = -j**3 - 4*j**2 - 2*j + 1. Let z be p(-4). Let d = 1991 - 1979. Let f be (3/10)/(z/d). Is f bigger than 0.4?
False
Suppose 2*x + 128 - 30 = 0. Let a(n) = 34*n + 1006. Let k be a(-31). Do x and k have the same value?
False
Let u(v) = v**3 + 6*v**2 + 3*v + 3. Let m be u(-5). Let c(a) = a + 27. Let r = 32 - 45. Let o be c(r). Is o less than m?
False
Suppose -h + 20 = 2*c + 27, 5 = -c. Suppose 2*j - 212 = -4*a + 824, -h*a + j + 767 = 0. Do 0 and a have different values?
True
Let p = 1813 - 1814. Which is smaller: -39/41 or p?
p
Let y = 8891.42 + -8891. Is y >= 0?
True
Let l(q) = q**3 + 14*q**2 + 11*q - 32. Let y be l(-13). Let z be y/30 - 1*3/(-15). Which is smaller: z or 4/95?
z
Let l be (-60)/40 + 243886/19572. Let j = l - 230/21. Let r be (2 - (3 - 1))/1. Which is greater: r or j?
j
Let v = -41 + 18.5. Let h = 20.4 + v. Which is bigger: 0.2 or h?
0.2
Let x = 34 - 28. Suppose -11*w + 13*w - 6 = 0. Suppose -w*i = x*i - 171. Is 20 greater than or equal to i?
True
Suppose 5 = -131*z + 3 + 2. Let i be 1714/(-854) + 2/1. Which is greater: z or i?
z
Suppose 0 = 2*v + 2*v - 384. Suppose j = -j + v. Let g(i) = -i**3 - 56*i**2 - 392*i - 17. Let y be g(-8). Is j < y?
False
Let q(t) = -t**2 + 57*t - 137. Let v be q(54). Suppose 0 = -6*n + 7*n - 25. Is n not equal to v?
False
Let w be 2*(6 - -1) - 2. Let x(j) = -162 - 14*j + 151 + j**2 + 0*j**2. Let g be x(w). Are g and -36 unequal?
True
Suppose 8*k - 366 + 486 = 0. Let m be (-17)/51*k*10/2. Which is smaller: 12 or m?
12
Suppose m + 7*t - 5*t + 2197 = 0, 0 = 2*t + 12. Which is smaller: m or -2183?
m
Let d(x) be the third derivative of -x**5/30 + 3*x**4/4 + 19*x**3/6 + 12*x**2. Let j be d(10). Let m be 0*(3 + (j - 3)). Are m and -0.1 equal?
False
Suppose 3*k + 5*r - 3 = 0, -41*k - 3*r - 51 = -44*k. Let b be 4 + -13 - (1 - 3). Let w = b - -22. Is w greater than or equal to k?
True
Let t be ((-2)/(-4))/((-10)/(-120)). Let q be 1/t + 6/(-36)*721. Let p be ((-10)/q)/(2/6). Is -6 greater than p?
False
Let r be 4 - 13/3 - (-22)/3. Let v be 2 - (-1137)/(-531) - r/(-42). Which is smaller: 0 or v?
0
Let t = -73 - -72. Let z be (t - 0) + 116580/345. Let m = z - 337. Is m bigger than -1?
True
Suppose -f = -3*p + 41, -3*p = -9*f - 197 + 20. Which is bigger: f or 76?
76
Let p(w) = -51*w + 2368. Let i be p(17). Which is smaller: 1505 or i?
i
Let l = 358 - 107. Let t = -250.914 + l. Let k = -5.9 - -6. Is k <= t?
False
Let r be (12 - 2) + -2*(19 - 12). Suppose k - 6*k - 25 = 0. Let p = 2 + k. Is p greater than or equal to r?
True
Let v be 9 + ((-714)/35 - -3) + 8. Is v smaller than -25.13?
False
Let p = 3293/2 - 1485. Let v = p + -276. Let r = v - -1241/10. Which is greater: r or 10?
10
Suppose 1804 = -4*b - 4*v, -b + v = 512 - 73. Which is bigger: -1 or b?
-1
Let o be 1*-2 + 1 + 7. Suppose -2*i + 4 = -o*i. Let p = 307093/7 + -43870. Do p and i have the same value?
False
Let r = -4215 + 4215. Are r and 192 nonequal?
True
Let r be (-17)/(-8)*(-4)/3. Suppose -21*h = 11*m - 25*h + 2, -5*h = -m + 23. Which is smaller: r or m?
r
Suppose 2*t + 4*t = 60. Let g(m) = 2*m**3 + 17*m**2 + 6*m + 1. Let y be g(-8). Suppose y*z = t*z + 7. Is z bigger than 3?
False
Let d = 429 - 424. Suppose d*w = -p - 13, -7*w + 4*w - 21 = 5*p. Let o(c) = 2*c + 1. Let n be o(-2). Is p bigger than n?
False
Suppose 7807 = -7*a + 5*l, 31*a - 4*l - 5584 = 36*a. Is a at least -1117?
True
Let j = -22 - 19. Let d = 44 + j. Suppose -d*g = -6*g + 69. Which is smaller: g or 21?
21
Suppose -k = -2*u - 14, 3*k = 2*k - u + 11. Let x be ((-243)/(-6))/(k/(-64)). Do x and 0 have the same value?
False
Let j = -4150 - -53946/13. Is j greater than or equal to 0?
False
Suppose 17*k + 1458 = 26*k. Let v = -66 + k. Which is bigger: 95 or v?
v
Suppose -2*n + 3 = 5*m + 6, n - 4*m - 5 = 0. Which is smaller: n or -2/2733?
-2/2733
Let p = -6709.6 - -8.6. Which is smaller: -1 or p?
p
Let t = -479.0927 + 0.0927. Let k = t + 468. Which is bigger: 6 or k?
6
Suppose 3*l - 1 - 14 = 0. Suppose 5*j - w + 2012 = 0, -j - 118 = -l*w + 270. Which is bigger: -402 or j?
-402
Let f be -6*24568/(-60)*(-165)/(-22) + 0. Do f and 18426 have the same value?
True
Let p(a) = -40*a**2 + a - 2. Let m be (75/30)/(((-30)/(-4))/3). Let y be p(m). Which is smaller: -39 or y?
y
Let t = 63.37 - 66.37. Which is smaller: 7/2 or t?
t
Let n be (70/(-21))/((-2)/3). Suppose 0 = 2*l + n*k + 90, -2*l - 2*k - 108 = -6*k. Let s = -53 - l. Which is bigger: s or -2?
-2
Let i = 7.3528 + 3.1372. Is -2 greater than i?
False
Let l be (-1)/3 - (-4)/20 - (-53056)/120. Which is greater: 440 or l?
l
Let i = -6/23 + 7587/28819. Does i = -1?
False
Suppose -2*b - 16 = 5*x, 6 = -5*b + 10*b + x. Suppose -3 = b*y + 1, 0 = 4*g - 4*y + 4. Let u be ((-14)/1)/2 - -1. Are u and g equal?
False
Suppose 5*s = -i - 301, -123 = 4*s + 2*i + 119. Let v(o) = -o**2 - 45*o + 7090. Let a be v(65). Is s smaller than a?
False
Let d be 42/(-14) + -1 + 3. Let p = 8 + -8. Let c be ((-2)/(p + (-4)/6))/1. Which is greater: d or c?
c
Let k(v) = 4*v**2 + 76*v - 29. Let z be k(-20). Suppose -z*h = -19*h - 9344. Are 293 and h equal?
False
Suppose -8*v - 5024 = 1312. Let k be 138/(-21) + 6 + v/(-14). Let q = k - 57. Is q <= -1?
True
Let s(p) = 3*p - 70. Let h be s(24). Suppose 5*r = -3*x + 142, r + h*x - 15 = 12. Is r smaller than 27?
False
Let x = 17 + -12. Suppose -3*v - x*l = -2*l - 9, 4*l = 16. Let p be -4 + (6364/6401 - 1/((-3)/9)). Which is smaller: p or v?
v
Let l = -0.167 - -158.167. Let b = l + -154.3. Is b at most as big as -0.2?
False
Let a be ((-14)/(-3) - 3) + -1. Let q be -4 - ((-102)/21 + ((-40)/28 - -1)). Is q not equal to a?
True
Let o(b) = -112*b + 111. Let n be o(1). Which is bigger: -3/109 or n?
-3/109
Let z be -2*9/(-2) - (6 - 19 - -19). Which is smaller: z or 109/30?
z
Let i = -0.001 + 11.401. Let n = i - 19.4. Is n smaller than -8?
False
Let k(b) = -b**2 + 13*b + 2809. Let t be k(60). Let g be (-10)/(-35)*14/4. Is t != g?
True
Suppose 78*s = 179*s. Are s and -3/865 nonequal?
True
Let h be 4/8 - (0 - 424/(-876)). Let u = h - 1151/99426. Which is smaller: u or 0?
0
Let p be 129/(-77) - (-9)/(-63). Which is smaller: p or 276?
p
Let w be 4/26 + (378/78 - 7). Let i be (-1)/w*(-14)/7 + -3. Let k = -138 - -128. Which is bigger: k or i?
i
Let m(o) = 4*o**2 + 40*o + 17. Let y be m(-13). Suppose -2*f - 94 = 2*h, 4*f + h + y = -0*h. Let g = f - -44. Which is smaller: g or -27?
-27
Suppose 191*v = -89*v + 9824 + 4176. Does v = 50?
True
Let w be ((-4)/3510)/(115/(-60) - -2). Let t = w + 257/2340. Is t > 0?
True
Let h be ((-20)/(-140))/(4