 Which is smaller: p or l?
p
Let j = 4236 - 364307/86. Is j < 1?
True
Let q = -25432/1421 - -708/49. Which is smaller: q or -2?
q
Let r be 25/15 - 1454458/186. Is -7819 greater than r?
False
Let v be 6 - 2*(-758)/4. Let k = v - 379. Which is bigger: k or 11?
11
Let p be ((-30 + 2)/4)/((-2)/(-8)). Let a be (p/98)/((-2)/(-14)). Is a at most -26/17?
True
Let q = -2.543 - -392.743. Let d = q + -390. Which is smaller: d or -46?
-46
Let m = -8163 - -8178. Which is smaller: m or 2/163?
2/163
Let b = -0.88 + -1.84. Let l = 0.08 - b. Let a = 3.8 - l. Is -5/2 equal to a?
False
Let u be (189/14)/((-9)/(-36)). Is 30 bigger than u?
False
Suppose 278 = -5*t + 173. Let p be 11/(-2)*(3 + 1). Let c = p - t. Which is bigger: 4/31 or c?
4/31
Let r(o) = 3*o - 6. Let q be r(-2). Let j = q - -24. Let d be ((-366)/15)/(j/(-15)). Which is bigger: d or 30?
d
Let h = 1348 - 1362. Suppose 0 = -j - j + 6. Suppose -j*t = -5*t - 4*x - 22, -t + 3*x - 16 = 0. Which is smaller: h or t?
h
Let k(i) = -14*i - 109*i + 13*i + 24. Let r be k(2). Is r equal to -196?
True
Let j be 7/2*(64/28 - 0). Suppose 0 = 11*u - 10*u - 4*n - 21, 0 = 3*u - n - j. Which is smaller: u or -4?
-4
Let w(x) be the first derivative of -x**2 - 17*x + 13. Let f be w(-10). Let n be f - ((37 - 2) + -4). Is n less than or equal to -2?
True
Let k = 2.37 + -2.71. Let h = -0.34 - k. Is h bigger than -7/10?
True
Suppose 11*q - 14 = 9*q. Suppose q*c - 1 = 6*c. Let n be c/9 + (-1055)/180. Is -5 >= n?
True
Suppose 89*m - 298530 = -101*m - 24*m. Which is greater: 1393 or m?
m
Let f = -10140/7 - -56180/21. Which is greater: f or 1228?
1228
Let h be 20980/(-8265) - 32/304 - -3. Which is smaller: h or 0?
0
Let h be 0 + -1 + 4*(-2)/(-2). Let r be h - (-1 - 332/(-92)). Let y be (2/(-8) - 1/(-4))/1. Which is bigger: r or y?
r
Let s be (5192/33)/(1/6). Suppose -4*g = -15*p + 13*p - 962, 4*g + 4*p = s. Which is smaller: g or 240?
g
Let r = -0.2 - -0.29. Let l = r - -0.91. Let o be (840/(-240))/(7/6). Is l >= o?
True
Let p = 0.211 + -0.111. Let l = 118 + -187. Let q = 47 + l. Is p at most as big as q?
False
Let r = -1585 - -1247396/787. Is -1 at least r?
False
Let s = 40484 + -283387/7. Let g = -2 + 7. Is g < s?
False
Let i be 11/44*-12 - (-20)/68. Which is bigger: -4 or i?
i
Let u = 1642.1 - 1642. Is -57 at most as big as u?
True
Suppose -10*s - 194 = -2444. Let b = -276 + s. Which is bigger: b or -101/2?
-101/2
Let n(w) be the first derivative of 11*w + 24 - 1/2*w**2 - 1/3*w**3. Let h be n(3). Do h and -1 have the same value?
True
Let n be (5 + (-135)/25)*-265. Let z be (80/(-20))/((-1)/20). Let k = n - z. Is 24 at most as big as k?
True
Let l = -25926 + 25874.5. Is l >= 0.05?
False
Let r be 14*((-3)/(-6) - 13/(-14)). Suppose -r*j + 5 = -15*j. Which is smaller: j or 6/29?
6/29
Let t = 200.9918 - 201. Let x = t + -0.9918. Let l = -115/2376 + 1/88. Which is smaller: l or x?
x
Let l = -26/81 + 23/324. Which is greater: l or -0.0053?
-0.0053
Let u(m) = -m**2 - 26*m - 48. Let c be -1 + (-5)/(-6) + (-143)/6. Let x be u(c). Which is smaller: 12/53 or x?
x
Let l(p) = 63*p**2 - 1296*p + 402. Let c(n) = -4*n**2 + 81*n - 25. Let h(g) = 33*c(g) + 2*l(g). Let z be h(11). Is 428/3 >= z?
False
Suppose 2*t + 4 - 12 = 0. Suppose 0 = 4*q + u - 64, -5*u - t = 16. Let i be (-20)/(2/(-2)) + -2. Does q = i?
False
Let q be (1674/56637)/((-3)/(((-189)/12)/3)). Let i(f) = f**2 - 2*f - 2. Let c be i(3). Which is smaller: c or q?
q
Suppose 0 = 9*i - 106792 + 107125. Let j = -74 + 36. Are i and j nonequal?
True
Let s = -0.14403 + 285.14403. Is -6 greater than s?
False
Let i be (8/20)/((-1)/(-90)). Suppose -3*k + i = -30. Which is bigger: k or 23?
23
Let k = 61 - 5. Let f(t) = -t**2 + 38*t + 55. Suppose 4*h = 5*u + 127, -15*u + 28 = h - 17*u. Let n be f(h). Which is greater: k or n?
k
Let j = -1 + 31. Let t be 8/20 + (-21)/j. Let v = t - -59/30. Is 4/3 greater than or equal to v?
False
Let t = 87 - 83. Let l = 5 + 1. Suppose -b + g - 3 - 2 = 0, -l = -2*g. Which is greater: b or t?
t
Let b be 7 + 255 + 7 - -4. Suppose 8*p = -b + 33. Is -35 at least p?
False
Let q(a) = -403*a**2 + 1. Let y be q(-1). Let s = y + 10855/27. Which is greater: s or 1?
1
Let u = -12 + 10. Let b = 6 - u. Let z be 8/(-2) + b - -3. Is z at most as big as 5?
False
Let r(x) = 23*x - 24. Let c be r(12). Let n(q) = -43*q + 38. Let m be n(-5). Which is greater: m or c?
m
Let y = 1 + -1. Let v be (0 + 270/(-560))*(-3068)/(-30). Let i = v + 197/4. Is i less than y?
True
Let s be 6/(-4)*((-112)/6)/1. Suppose -4 + s = -4*a. Let p = 4 + a. Which is bigger: p or -19?
p
Suppose 5*t = -15, 2*h - 7 = 4*h + 5*t. Suppose 5*n - 105 = h*b, -3*b + 77 + 63 = 5*n. Which is greater: n or 20?
n
Let j be (-6)/(2*1*21/(-28)). Suppose 4*k + k - 20 = 0. Suppose -4*s = 4*y + 4, y - k*s = 3*y + j. Which is bigger: -2/105 or y?
y
Let o = 4078 - 4045. Which is smaller: o or 0.06?
0.06
Let r(h) = -9*h**3 - 13*h**2 - 30*h + 12. Let l(g) = -13*g**3 - 21*g**2 - 45*g + 18. Let t(n) = 5*l(n) - 7*r(n). Let q be t(-5). Which is bigger: -17 or q?
-17
Let d = 11539.5986 + -11538. Let w = d + 0.0014. Does w = 0.8?
False
Let z = 1.78056 + 0.07944. Which is smaller: 1/2 or z?
1/2
Let c(j) = 44184*j**3 + 12*j**2 - 7*j. Let l be c(1). Are l and 44188 equal?
False
Let z = -2/27419 + -22383/69041042. Let a = z - 2061/1150726. Do a and 1 have the same value?
False
Let j(q) = -3*q**3 - 4*q**2 + 15*q - 2. Let s be j(2). Let k = 7 - -17. Let c be ((-12)/k)/(2/52). Is c <= s?
True
Let q = -739.7 + 739.79. Which is greater: q or -0.044?
q
Let v(l) = -14*l**2 + 16*l - 52. Let a be v(4). Let f = a + 213. Is f at least 8?
False
Suppose 12*i - i - 1824 = 30*i. Suppose -2*p = 36 + 140. Let c = p - i. Is c equal to 48/7?
False
Let b(q) = -q**3 + 14*q**2 - 3*q + 42. Let r be b(14). Suppose 0 = 4*j - 4*t - r*t - 64, 0 = -4*t + 20. Which is smaller: j or 109/5?
j
Suppose 65 = -5*f + j + 4*j, 0 = -5*f - j - 71. Let l be (5 - 0)*(-2547)/1415. Is l greater than f?
True
Suppose 4*l + 0*l - 16 = -2*q, -q - 4*l = -18. Let s be q/1 + 0 - (-3)/1. Let x = -756 - -24195/32. Which is greater: x or s?
s
Let z = 67487/17460 + -139/36. Let f = z + -727/58685. Is -1 greater than or equal to f?
False
Let c be (-1)/(-2) + 3/(-6). Let h be (-2)/3*(-4 + (-9195)/(-540) + -13). Are h and c nonequal?
True
Suppose 62*h - 119*h = -54*h + 3. Is h < -2/869?
True
Let t be ((-7)/49 + 1598/11774)/((-3)/16). Is t at least 1?
False
Suppose 233*k = 10*k - 49*k + 4896. Is k at least as big as 9?
True
Let i(h) = 91*h - 9. Let y be i(-1). Let a be (7/21)/(1 + y/102). Suppose 3*o - a = -2*r, 6*r - 2*r - 4 = 4*o. Is 5/2 greater than r?
False
Suppose -7375*o + 7415*o = 0. Let k be (2/520)/(1 + -3). Is o != k?
True
Let j(q) = q**2 + 2187*q + 8732. Let a be j(-4). Let x = -131559/47 - -2799. Is x bigger than a?
False
Let b = -60898 - -1157422/19. Which is smaller: b or 19?
b
Let n(k) = -75*k - 533. Let t be n(-7). Let s = 3165 - 28546/9. Which is smaller: s or t?
t
Let f = -564472/65 + 8684. Is f less than or equal to 1?
True
Let o(z) = -z**3 - 7*z**2 + 6*z - 15. Let q(x) = 56*x**2 - 2*x + 2. Let i be q(1). Suppose -i = -9*g + 16*g. Let j be o(g). Is 14 bigger than j?
True
Suppose -6*q + 0*q = 18. Let k be (-5)/q - 7/(-21). Let y be 26/(-143) - (-76)/55. Which is smaller: y or k?
y
Suppose -513*g + 515 + 4701 = -517*g. Which is greater: g or -1303?
-1303
Suppose -32*p + 61*p = -29. Which is smaller: p or -36/299?
p
Let w = 4861 - 4614. Do 242 and w have the same value?
False
Let m = -9385 - -8995. Is m at least -384?
False
Let a = -243.48 - -5.48. Let n = a + 282.8. Let i = n + -45. Which is greater: i or -38?
i
Let y = 0.3 - 0.5. Let d = -108001.2 - -108011. Is y bigger than d?
False
Let d = 139 + -101. Let g = 33 - d. Let t = 2 + -1.95. Are g and t equal?
False
Suppose -4*c + 6*c - 8 = 0. Suppose c*i = g - 16, 0 = -2*g + 7*i - 3*i + 20. Which is smaller: 25/8 or g?
25/8
Let x(p) = 3*p**2 - 90*p + 52. Let s be x(22). Is -473 greater than s?
True
Let n(d) be the third derivative of d**4/4 + 4*d**3 + 12*d**2. Let t be n(-4). Let j be ((-12)/2370 - t)/(1/5). Is 1 < j?
False
Let u = -2122/25755 + 2/505. Which is smaller: -2 or u?
-2
Let p = -2.47 - -4.38. Let x = -1.61 + p. Is x less than -19?
False
Suppose -3*j - 3*j + 540 = 0. Suppose 2*s - 88 = -j. Let l be 12/9 + s + (-1096)